初创公司 Axiom Math 由 24 岁的 Carina Hong 创立，致力于开发能够自主验证逻辑正确性的“AI 数学家”。该公司在 2025 年获得 6400 万美元融资，核心团队汇聚了来自 Meta 和 Google 的顶尖人才以及知名数学家。与主流大模型不同，其系统通过 Lean 编程语言确保推理过程的每一步都可追溯、可检查，解决了 AI 产出结果难以验收的信任难题。通过在 ...

Meta's work made headlines and raised a possibility once considered pure fantasy: that AI could soon outperform the world's best mathematicians by cracking math's marquee "unsolvable" problems en ...

ChatGPT, Photomath, Symbolab, and other artificial intelligence-powered platforms can solve a complicated math equation in just seconds—and provide a step-by-step explanation of the answer. That power ...

This jingle has helped generations of algebra students recall the quadratic formula that solves every equation of the form $latex ax^2+bx+c=0$. The formula is as ...

All right, kids! Raise your hand if you like algebra! Hmmm. Now, raise your hands if you like Angry Birds! I see. What if I were to tell you that Angry Birds had been surpassed in the App Store — by a ...

You're currently following this author! Want to unfollow? Unsubscribe via the link in your email. Follow Talia Lakritz Every time Talia publishes a story, you’ll get an alert straight to your inbox!

The body of knowledge and practice known as mathematics is derived from the contributions of thinkers throughout the ages and across the globe. It gives us a way to understand patterns, to quantify ...