HNHacker News
TopNewBestAskShowJobs

12212755

4 karma · joined November 2, 2026

submissionscomments
12212755··on Egoless Mathematics in the AI Era
This is entirely ahistorical and a typical remote psychoanalysis.

Tao has been pushing for AI and Lean for a long time and didn't like the way OpenAI handled the Oct. 6th release. He has now been pushing for AI owned by universities.

That is the public way he navigates the situation, who knows what his real game is.

He is one of the people that brought about this situation.

In any case: "reactionary"? Are we using Soviet language to single out perceived dissidents?