News for hackers. Stuff that matters.
Re:Egoless Mathematics in the AI Era by 12212755 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?

Re:Egoless Mathematics in the AI Era by bhouston on Monday November 02, 2026 @03:21PM (#50343119)
> This is entirely ahistorical and a typical remote psychoanalysis.

I've been reading the posts on his blog (and I should be clear, many posts are guest posts, so it is a collective cognitive behavior therapy session):

Also did you notice he never posted more than 10 posts per month until September? These are definitely posts trying to come to terms with the new reality and searching for value in a field where humans are not pre-eminent:

https://terrytao.wordpress.com/2026/09/26/a-value-based-appr...

https://terrytao.wordpress.com/2026/09/19/why-do-we-need-hum...

https://terrytao.wordpress.com/2026/09/12/after-math/

I also see this post that that mathematics will be needed as interpreters of complex AI generated proofs as a form of denial in that this is just a current limitation of AI, and will likely be fixed soon:

https://terrytao.wordpress.com/2026/09/18/if-math-is-more-th...

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

When new technology is introduced that is disruptive a lot of people fall into "reactionary" stances.

The first definition of reactionary that I found was this:

"A reactionary is a person or policy that opposes political, social, or economic change and seeks to reverse progress to restore an earlier, idealized state of society."

I think that fits with my usage.

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?
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".

Re:Egoless Mathematics in the AI Era by azan_ on Monday November 02, 2026 @05:00PM (#50344471)
> He is one of the people that brought about this situation.

Yeah, sure... What the hell are you talking about? Do you think that if not Tao we would not have the Oct. 6th release? That's totally insane.

Re:Egoless Mathematics in the AI Era by jonahx on Monday November 02, 2026 @07:57PM (#50346561)
> That is the public way he navigates the situation, who knows what his real game is.

What his "game" is? I've been following Tao for years... I can't think of someone I'd be less likely to accuse of having some nefarious "game".

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

A baseless accusation. Tao has no power over the progress happening at the frontier labs.

Re:Egoless Mathematics in the AI Era by breezybottom on Tuesday November 03, 2026 @08:01AM (#50351492)
Reactionary is an english word.