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.
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.
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.
Human mathematicians are being outcounterexampled(xenaproject.wordpress.com)
456 points by artninja1988 | 225 comments
A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.
Related stories
AI Makes Me Sad(mondobe.com)
121 points by mondobe | 120 comments
A personal blog essay in which the author describes feeling sadness and hopelessness about new developments in AI, despite being positioned to benefit from it.
We mourn our craft(nolanlawson.com)
634 points by ColinWright | 737 comments
Nolan Lawson's blog post lamenting how AI coding tools are reducing programmers to code reviewers and mourning the loss of the programming craft.
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.
Create value for others and don’t worry about the returns(geohot.github.io)
601 points by ppew | 402 comments
A blog post by geohot arguing that social media fear about falling behind on AI agents is nonsense and urging people to focus on creating value for others.
Deep learning gets the glory, deep fact checking gets ignored(rachel.fast.ai)
549 points by chmaynard | 134 comments
Rachel Thomas blog post on how a high-profile Nature paper using a Transformer to predict enzyme functions contained many errors that received far less attention than the original result.
One Month Without AI(blog.bustikiller.com)
148 points by saibotk | 153 comments
Personal blog post about a developer spending a month without AI tools at work, reflecting on how AI use made them lazier and a worse developer.