Rick Lamers(@ricklamers):“IMO 2026, the world's most prestigious pre-college mathematics competition, was held in Shanghai on July 15–16, 2026. AxiomProver solved all six problems, achieving a perfect score of 42/42. AxiomProver is an autonomous multi-agent ensemble theorem prover for Lean 4, developed by Axiom Math.” 👏

Rick Lamers

@ricklamers

👨‍💻 Senior AI Research Engineer @NVIDIA. Ex-Groq. Occasional angel investor. Opinions are my own.

加入 July 2009

585 正在關注 6.2K 粉絲

Rick Lamers@ricklamers

2026.07.17 07:34

“IMO 2026, the world's most prestigious pre-college mathematics competition, was held in Shanghai on July 15–16, 2026. AxiomProver solved all six problems, achieving a perfect score of 42/42. AxiomProver is an autonomous multi-agent ensemble theorem prover for Lean 4, developed by Axiom Math.” 👏