AI 数学公司 Axiom Math 开源了 Axplorer，一款帮助数学家发现新数学模式和构造的 AI 工具，定位为
AI 数学公司 Axiom Math 开源了 Axplorer，一款帮助数学家发现新数学模式和构造的 AI 工具，定位为谷歌 DeepMind AlphaEvolve 的开源替代。
Axiom Math 由 25 岁的洪乐潼创立，她三年修完 MIT 数学与物理双学位，获罗德学者奖学金赴牛津读硕，后从斯坦福法学博士与数学博士联合项目退学创业。公司今年
Axiom @axiommathai We open-sourced Axplorer.
Axplorer builds on PatternBoost; it discovers outlier math constructions to attack open problems.
On Turán 4-Cycles, No 5 Points on Sphere, and Isosceles-Free Sets, Axplorer matched SOTA w/ a fraction of compute cost and time.
It's now in your hands.