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.
First screen, captured .
Looks similar
“Erdos problem #728 was solved more or less autonomously by AI”(mathstodon.xyz)
590 points by cod1r | 334 comments
Terence Tao's Mastodon post reporting that Erdős problem #728 was solved more or less autonomously by AI, and discussing emerging AI-powered capabilities in mathematics.
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.
Related stories
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.
Oai-math-revised: a community hub for revising OpenAI's math write-ups(terrytao.wordpress.com)
38 points by tokepi | 29 comments
Guest post on Terence Tao's blog announcing oai-math-revised, a GitHub community effort to improve and properly cite OpenAI's math write-ups, inviting contributors and reviewers.
Part two of Grant Sanderson's video with Terry Tao on the cosmic distance ladder(mathstodon.xyz)
359 points by ColinWright | 79 comments
Mastodon post by Terence Tao announcing part two of Grant Sanderson's video interview with him on the cosmic distance ladder, plus a blog post with commentary.
Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample(chatgpt.com)
1028 points by gmays | 587 comments
A shared ChatGPT conversation, attributed to Terence Tao, working through the factorization and Jacobian check of a claimed Jacobian Conjecture counterexample.
The Advisory Group on Mathematics and Artificial Intelligence(terrytao.wordpress.com)
150 points by digital55 | 76 comments
Guest post on Terence Tao's blog announcing the Advisory Group on Mathematics and Artificial Intelligence, with members including Tao, Gowers, Hairer, Witten and others.