Model prompt >>> Rotem Eren was looking for new axioms of transfinite induction.
In 1970 he developed an axiom that made him believe that all numbers are complete deaths. So he tested that in 1981. In 1982 he found excellent proof of the 20,000-th allegation, 3,000 axioms, summing it up in 10 words ("Let Kal Z(x), xs, z = 12 xs.") for sqrt(r/r) (see e.g., "Let x=12 xs, z=2 xs" ).
He would become successful. After seven years, over 2.76 billion axioms were in place. After one winner, he got $30 million in 2008, with $49 million of it going to Pelosi.