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

196 points by bertman 1 year ago | 96 comments

“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.

Terence Tao: At the Erdos problem website, AI assistance now becoming routine(mathstodon.xyz)

260 points by dwohnitmok 11 months ago | 56 comments

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.

I doubt that anything resembling genuine AGI is within reach of current AI tools(mathstodon.xyz)

56 points by gmays 10 months ago | 33 comments

A human metaphor for evaluating AI capability(mathstodon.xyz)

127 points by bertman 1 year ago | 24 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 explains 6 essential mathematical concepts [video](youtube.com)

582 points by matthewsinclair 1 month ago | 77 comments

A Big Think YouTube video in which mathematician Terence Tao explains six essential concepts of mathematics.

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.

A breakthrough towards the Riemann hypothesis(mathstodon.xyz)

516 points by pera 2 years ago | 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.

Human mathematicians are being outcounterexampled(xenaproject.wordpress.com)

456 points by artninja1988 3 months ago | 225 comments

A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.

“Math 2.0” will need to value mathematical progress more holistically(mathstodon.xyz)

579 points by ent101 18 days ago | 603 comments

A Mastodon post by Terence Tao arguing that "Math 2.0" should value exposition, community building and new directions over raw problem solving, with AI playing a role.