Tao: Open math problems being non-renewably mined by AI(mathstodon.xyz)

418 points by _alternator_ 1 month ago | 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_ 1 month ago | 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.

All grown-ups were once children, but only few of them remember it(mathstodon.xyz)

225 points by yurivish 1 month ago | 170 comments

Terence Tao: The role of small organizations in society has shrunk significantly(mathstodon.xyz)

968 points by bertman 1 year ago | 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.

“Erdos problem #728 was solved more or less autonomously by AI”(mathstodon.xyz)

590 points by cod1r 9 months ago | 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.

Quantitative AI progress needs accurate and transparent evaluation(mathstodon.xyz)

196 points by bertman 1 year ago | 96 comments

Terence Tao: Math 2.0 [pdf](teorth.github.io)

533 points by Anon84 15 days ago | 530 comments

PDF slide deck titled "Math 2.0" by mathematician Terence Tao, dated October 2026, apparently from a Caltech talk.

Terence Tao: The role of small organizations in society has shrunk significantly(mathstodon.xyz)

968 points by bertman 1 year ago | 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_ 1 month ago | 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.

What mathematicians should know about the Lean Theorem Prover: reliability & AI(terrytao.wordpress.com)

178 points by matt_d 17 days ago | 50 comments

Terence Tao blog post on what mathematicians should know about the Lean theorem prover, covering reliability and AI; the capture shows only a browser-check interstitial.

Oai-math-revised: a community hub for revising OpenAI's math write-ups(terrytao.wordpress.com)

38 points by tokepi 2 days ago | 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.

"I'm on a war footing": Terry Tao and the crisis in math(nytimes.com)

189 points by vinipolicena 10 days ago | 382 comments

New York Times article about mathematician Terence Tao and a crisis in mathematics, apparently related to AI; the page loaded as a captcha check.