News for hackers. Stuff that matters.

A comment on Egoless Mathematics in the AI Era. Parent comment

Re:Egoless Mathematics in the AI Era by ComplexSystems on Monday November 02, 2026 @03:14PM (#50343019)
What situation? The development of an algorithm that can prove mathematical theorems?
[ Parent | on HN ]
Re:Egoless Mathematics in the AI Era by qw123a 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".

[ Parent | on HN ]