Axiom Math mathematicians and engineers working together to lower the bounded gaps world record, achieving 212 < 240 < 246
Public source
Publisher name
Public post
AxiomProver, mathematicians and engineers working together to lower the bounded gaps world record. 212 < 240 < 246.
Company
Axiom Math
The starting point for reasoning.
- Industry
- Technology, Information and Internet
- Company size
- 51–200 employees
About Axiom Math
Building quantitative super-intelligence. We are hiring: careers@axiommath.ai
See moreLatest activity
Latest activity from Axiom Math
11 signals
Technology & Infrastructure
Axiom Math is switching focus from capability to costs, and making a human-palatable Lean library is still very hard.
Presence & Recognition
Axiom Math employee Ken Ono will be a panelist for the NAS webinar on Sept. 17th at Noon ET about Data Science and AI for Math in education.
Research & Knowledge
Axiom Math achieved the bound of 212 for infinitely many pairs of prime numbers.
Discover more
Similar signals
Similar public activity from other companies.
Research & Knowledge
Meta
Meta achieved a great result from the Axiom Math team.
Research & Knowledge
Boosty Labs
Boosty Labs built a machine-checkable version of the Fermat Last Theorem in 11 days using 13 million lines of Lean code and 29,500+ theorems proved.
Research & Knowledge
Mocha
Mocha announced that Claude formalized Fermat’s Last Theorem in Lean, with 13 million lines and eleven days.
Research & Knowledge
Defense Advanced Research Projects Agency (DARPA)
Defense Advanced Research Projects Agency (DARPA) announced a new bound for gaps between primes.
Research & Knowledge
Ameya AI