qw123a
Re:Egoless Mathematics in the AI Era
on Monday November 02, 2026 @03:20PM (#50343097)
The systems need Lean, training material, benchmarks, data labeling, experts, publicity and more. OpenAI gave out free researcher accounts to collect more training material.
All of which was provided and encouraged by a small group like Tao, Gowers, Tsimerman, Avigad, Schmitt etc. It isn't just "an algorithm".