First screen, captured .
Looks similar
Lean4 helped Terence Tao discover a small bug in his recent paper(mathstodon.xyz)
463 points by gridentio | 207 comments
Terence Tao's Mastodon post explaining how formalizing his paper in Lean 4 revealed a small bug in an argument for small values of n.
Terence Tao on O1(mathstodon.xyz)
626 points by dselsam | 404 comments
Mastodon post by mathematician Terence Tao describing his experiments with OpenAI's o1 model on research-level mathematical tasks.
A breakthrough towards the Riemann hypothesis(mathstodon.xyz)
516 points by pera | 144 comments
A Mastodon post by Terence Tao describing Guth and Maynard's improvement to Ingham's 1940 zero density bound for the Riemann zeta function.
Related stories
A breakthrough towards the Riemann hypothesis(mathstodon.xyz)
516 points by pera | 144 comments
A Mastodon post by Terence Tao describing Guth and Maynard's improvement to Ingham's 1940 zero density bound for the Riemann zeta function.
Lean4 helped Terence Tao discover a small bug in his recent paper(mathstodon.xyz)
463 points by gridentio | 207 comments
Terence Tao's Mastodon post explaining how formalizing his paper in Lean 4 revealed a small bug in an argument for small values of n.
Terence Tao: The role of small organizations in society has shrunk significantly(mathstodon.xyz)
968 points by bertman | 490 comments
A Mastodon post by mathematician Terence Tao reflecting on how society operates at four scales and how the role of small organized groups has shrunk.
Tao: Open math problems being non-renewably mined by AI(mathstodon.xyz)
418 points by _alternator_ | 359 comments
A Mastodon thread by Terence Tao arguing that good, fruitful open math problems are a scarce resource being mined non-renewably, using a drinking-water analogy.
More questions about whether researchers can trust OpenAI with unpublished math(mathstodon.xyz)
845 points by pred_ | 787 comments
Mastodon thread by mathematician Andreas Thom questioning whether researchers can trust OpenAI with unpublished mathematics shared via ChatGPT, citing the non-sofic group result.
The Mathocalypse(scottaaronson.blog)
361 points by 6bitquant | 380 comments
Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.