Can AI do maths yet? Thoughts from a mathematician(xenaproject.wordpress.com)
372 points by mathgenius | 317 comments
Blog post on the Xena Project blog by a mathematician discussing whether AI systems can do research-level mathematics yet.
First screen, captured .
Looks similar
Fermat's Last Theorem – how it’s going(xenaproject.wordpress.com)
422 points by verbify | 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.
How to Formalize All of Mathematics(xenaproject.wordpress.com)
62 points by practal | 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 | 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.
Related stories
Why Math Dumped OpenAI(raymyers.org)
11 points by xeonmc | 0 comments
A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.
We're gonna need a lot more mathematicians(terrytao.wordpress.com)
358 points by srcreigh | 461 comments
Guest post by Amit Sahai on Terence Tao's blog arguing that the world will need many more mathematicians, reflecting on students who left math due to pace.
How to Formalize All of Mathematics(xenaproject.wordpress.com)
62 points by practal | 53 comments
A Xena Project blog post by Kevin Buzzard's group on how to formalize all of mathematics using the Lean theorem prover.
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.
Can AI do maths yet? Thoughts from a mathematician(xenaproject.wordpress.com)
372 points by mathgenius | 317 comments
Blog post on the Xena Project blog by a mathematician discussing whether AI systems can do research-level mathematics yet.
You are not dumb, you just lack the prerequisites(lelouch.dev)
625 points by JustinSkycak | 351 comments
A personal blog post arguing that struggling with math usually stems from missing prerequisite knowledge rather than lack of intelligence.