Rick Lamers
@ricklamers
👨💻 Senior AI Research Engineer @NVIDIA. Ex-Groq. Occasional angel investor. Opinions are my own.
585 Following 6.2K Followers
“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.”
👏
Show more
