Fermat's Last Theorem – how it’s going(xenaproject.wordpress.com)

422 points by verbify 1 year ago | 206 comments

Kevin Buzzard's Xena Project blog post giving a progress update on formalizing the proof of Fermat's Last Theorem in the Lean theorem prover.

Think of a Number(xenaproject.wordpress.com)

23 points by IdealeZahlen 1 year ago | 3 comments

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.

How to Formalize All of Mathematics(xenaproject.wordpress.com)

62 points by practal 10 days ago | 53 comments

A Xena Project blog post by Kevin Buzzard's group on how to formalize all of mathematics using the Lean theorem prover.

To grieve, or not to grieve?(xenaproject.wordpress.com)

142 points by stabbles 25 days ago | 122 comments

A Xena Project blog post by a mathematician reflecting on whether to grieve as AI advances in formalizing mathematics in Lean, following a post about Anthropic and FLT.

Formalising modern research mathematics in real time(xenaproject.wordpress.com)

99 points by mauricioc 3 years ago | 12 comments

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.

Why Math Dumped OpenAI(raymyers.org)

11 points by xeonmc 9 days ago | 0 comments

A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.

A misalignment of AI in mathematics(mathandai.org)

1171 points by meredydd 1 month ago | 1120 comments

A declaration by mathematicians arguing that AI companies' use of math problems as benchmarks harms mathematics and the mathematical community, inviting endorsements.

Sharing AI progress in mathematics(openai.com)

1314 points by OfficialTurkey 19 days ago | 1488 comments

OpenAI research publication page announcing its AI progress in mathematics, linking to a GitHub repository of math results and preprints.

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.

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.