1/ ✨ World record today on bounded gaps between primes, one of number theory’s oldest open conjectures.
We show that infinitely many pairs of prime numbers are separated by 212 or less.
1/ We’re delighted to announce a milestone for AI-assisted mathematics:
With AxiomProver, we've completed a machine-checkable formalization of the “BGP246 theorem,” the best-known bound on recurring small gaps between primes.
Closest math has come to the Twin Prime Conjecture.
Show more
The strategic sequencing is what stands out. @CarinaLHong picked the right moment to start, the right data strategy when the field went the other way, and the right commercial entry point before it was legible. The benchmark results are what happens when those calls compound.
Show more
@CarinaLHong believes math is training for any domain that involves structured reasoning, from working with constraints to coming up with abstractions.
Watch this conversation with @mattmcilwain about how a deep love of math becomes the strategic instinct behind Axiom’s wins 💫
Show more
I'll be speaking at #STOC2026# on AI for theory, alongside industry pioneers @WittedNote (Chief Technologist, Google), David Woodruff (CMU), @SebastienBubeck (OAI), and my friend @MarkSellke (OAI) at the very kind invitation of the organizers.
See you in Salt Lake City on 6/27!
Show more
This morning at SAIR Science x AI Summit, @CarinaLHong spoke alongside Nobel Laureate Barry Barish, Fields Medalists @wtgowers, Terrence Tao, and @leanprover Founder @leodemoura on Frontiers of AI for Math.
Tune in at 2h34m30s for AxiomProver's results in its first 100 days! 💯
Show more
June 27, Salt Lake City, @CarinaLHong will be there in person giving a talk at #STOC2026# AI for theory workshop.
Can AI do Theory?
Some of my friends are hosting a workshop on this topic at #STOC2026# in Salt Lake City
Speakers include Scott Aaronson, @CarinaLHong, @MarkSellke, David Woodruff, @SebastienBubeck, & Prabhakar Raghavan (@WittedNote)
Call for posters ddl: 5/29
Check it out!
Show more
"Ono is an American Mathematical Society (AMS) Fellow, a previous AMS vice president, and founding mathematician at Axiom Math.
"Kudos to the AMS and AIM for stepping up and performing this vital service. Your tireless efforts to bridge the gap between the mathematics community and our nation's leaders are deeply appreciated by us all.""
Show more
Read more about congressional briefings:
@KenOno691 on behalf of Axiom just briefed Congress on the progress of AI for mathematics.
A rising tide lifts all boats. In the AI era, we share our understanding of the frontier here at Axiom with Washington to advocate for investment in math and fundamental science research.
Show more
Axiom is at ICLR VerifAI workshop in Rio, Brazil!
Hit up @nautsimon_ and @manooshree to chat about how it's like working with us! We have swags too.
True story: I saw this paper hit the arXiv yesterday and thought it looked super interesting because it was the first paper in the Combinatorics section in quite some time to lead with quadratic forms. Pulled up the abstract and of course it's an @axiommathai collab 😄
Show more
