Axiom Math

Technology & Infrastructure

Axiom Math is switching focus from capability to costs, and making a human-palatable Lean library is still very hard.

Reported by Vasily Ilin

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.

Reported by Ken Ono

Research & Knowledge

Axiom Math achieved the bound of 212 for infinitely many pairs of prime numbers.

Reported by Axiom Math

Research & Knowledge

Axiom Math achieved the bound of 212 for infinitely many pairs of prime numbers, building on Julia Stadlmann's work and extensive experiments on a massive distributed cluster.

Reported by Axiom Math

Technology & Infrastructure

Axiom Math developed AxiomProver autoformalizing a new proof by Youness Lamzouri in Lean, providing machine-checked verification from day one.

Reported by Axiom Math

Research & Knowledge

Axiom Math formally proved and verified that there are infinitely many primes separated by 212 or less, which is a step toward the conjectured lower bound of infinitely many primes of gap 2 (twin primes).

Reported by Erik Gregory

Research & Knowledge

Axiom Math announced a bound of 212, which relies on a previous result published two days ago.

Reported by François Charton

Research & Knowledge

Axiom Math pushed the bounded gaps in primes record down to 212.

Reported by Ken Ono

Research & Knowledge

Axiom Math mathematicians and engineers working together to lower the bounded gaps world record, achieving 212 < 240 < 246

Reported by Alberto Alfarano

Products & Services

Axiom Math formalized Youness Lamzouri's machine-checked certificate in Lean

Reported by Ken Ono

Presence & Recognition

Axiom Math employee Ken Ono visited Tufts Mathematics to discuss the future of education and research in the era of AI with Chris Connell, chair of the AMS Committee on AI.

Reported by Ken Ono