New comment by groffl in "A digestion of the proof of Sendov's conjecture"

groffl — Tue, 18 Aug 2026 12:19:18 +0000

Tao is on the advisory board for the AI for math fund:

https://terrytao.wordpress.com/2024/12/05/ai-for-math-fund/

He is leading another AI foundation:

He is partnering with the commercial startup math.inc (funny name, isn't it?):

https://www.math.inc/a-conversation-with-terry-tao

He is knee deep in the AI money. This submission is him desperately trying to simplify a spaghetti AI proof (i.e., menial work) to show that AI works. He didn't discover anything new.

New comment by groffl in "A digestion of the proof of Sendov's conjecture"

groffl — Tue, 18 Aug 2026 12:05:53 +0000

Also, whispering rock owned by big tribe far away. Big tribe can take away whispering rock.

Hacker News: groffl

New comment by groffl in "A digestion of the proof of Sendov's conjecture"

New comment by groffl in "A digestion of the proof of Sendov's conjecture"