Post #2525126
2026-05-11 08:18 UTC
@highergeometer@mathstodon.xyz Borcherds https://epochai.substack.com/p/ai-math-chat-1-thinking-smarter-not
Hairer participates in the First Proof challenge, and his problem wasn't solved in February.
A lot of people write about negative results: Litt's takes on this topic are always very sober; benchmarks like FrontierMath are not yet saturated.
"Work outside the topics that Tao, a well-known polymath, works on" is an interesting requirement.
Replies (1)
-
@highergeometer@mathstodon.xyz 2026-05-11 08:33
@PSL2Z@mathstodon.xyz Terry Tao might be a polymath, but for instance he doesn't work on: Riemannian geometry, algebraic number theory, arithmetic geometry, homotopy theory, ..... I think that looking at the list of achievements of the Fields medallists for the past 40 years would show a great number of topics that he hasn't actually done research on.