Oct 8, 2026, 7:57 PMretooted Scott Francis
*sigh* rather than seriously considering the MathAndAI dot org declaration from 28 Fields Medal winners (including Terry Tao), OpenAI just plowed ahead full-steam and released another 372 major results in mathematics around unsolved problems (although the proofs are reportedly nearly impossible to independently understand—but verification via Lean appears to be included for many—and read like the author was stoned).
I will tap the sign, once again, even though none of the AI companies are paying any attention. #maths #mathematics