Axiom Math's AxiomProver becomes the first AI system to have formal proofs accepted by peer-reviewed mathematics journals
One accepted paper credits AxiomProver for automating its proofs
Incredible progress in Math+AI. Honestly what a great time to be a mathematician when much of the technical burden is lifted by machines of loving grace.
Axiom@axiommathai1/ Since February, 8 papers across algebraic geometry, representation theory, number theory, combinatorics have been quietly appearing on arXiv. Proofs by AxiomProver. 5 papers are now accepted at solid peer-reviewed math journals. To our knowledge, a first for the literature.
#271👩💻 Paige Bailey@DYNAMICWEBPAIGEWe talk a lot about developer productivity and experience (DX) for software engineering, but researcher productivity (RX) is also having a major moment.
Combining automated drivers with collaborative open-source libraries like Mathlib is unlocking so much latent potential in mathematics research, love to see it:
Axiom@axiommathai1/ Since February, 8 papers across algebraic geometry, representation theory, number theory, combinatorics have been quietly appearing on arXiv. Proofs by AxiomProver. 5 papers are now accepted at solid peer-reviewed math journals. To our knowledge, a first for the literature.
#705Carina Hong@CARINALHONGAxiomProver quietly publishes a handful of papers in peer-reviewed math journals
Axiom@axiommathai1/ Since February, 8 papers across algebraic geometry, representation theory, number theory, combinatorics have been quietly appearing on arXiv. Proofs by AxiomProver. 5 papers are now accepted at solid peer-reviewed math journals. To our knowledge, a first for the literature.
#705Carina Hong@CARINALHONGWe keep building. We keep our heads down. Rarely we pause and reflect. This is a moment we do:
In 100 days, we have 8 papers live, 6 in the pipeline - on average one paper in 1-2 weeks.
These papers solve open problems posed by renowned mathematicians, output verified in Lean.
#843Andrew M. Dai@ANDREWDAIGreat to see these maths papers getting published and accepted by the community. Automated proofs are becoming mainstream!
Axiom@axiommathai1/ Since February, 8 papers across algebraic geometry, representation theory, number theory, combinatorics have been quietly appearing on arXiv. Proofs by AxiomProver. 5 papers are now accepted at solid peer-reviewed math journals. To our knowledge, a first for the literature.
#1271Damek@DAMEKDAVISExciting stuff is happening at Axiom. Congrats to the team!
Axiom@axiommathai1/ Since February, 8 papers across algebraic geometry, representation theory, number theory, combinatorics have been quietly appearing on arXiv. Proofs by AxiomProver. 5 papers are now accepted at solid peer-reviewed math journals. To our knowledge, a first for the literature.
#1426Patrick Shafto@PATRICKSHAFTOIt is happening....
Axiom@axiommathai1/ Since February, 8 papers across algebraic geometry, representation theory, number theory, combinatorics have been quietly appearing on arXiv. Proofs by AxiomProver. 5 papers are now accepted at solid peer-reviewed math journals. To our knowledge, a first for the literature.
#1426Patrick Shafto@PATRICKSHAFTOThis is so exciting!
Carina Hong@CarinaLHongAxiomProver quietly publishes a handful of papers in peer-reviewed math journals