12212755
Re:Egoless Mathematics in the AI Era
on Monday November 02, 2026 @03:07PM (#50342915)
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?