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

这项由NVIDIA公司Wei Du、Shubham Toshniwal等研究团队开展的突破性研究于2025年12月发表在arXiv预印本平台，论文编号为arXiv:2512.15489v1。该研究构建了迄今为止最大规模的数学推理数据集Nemotron-Math，包含高达7500万条数学解题推理轨迹，让AI模型在数学竞赛中达到了前所未有的100%满分成绩。

美国弗吉尼亚大学数学系讲席教授小野健（Ken Ono）今年57岁，学术声誉卓著。但前不久他刚辞去教职，加入了一家成立仅4个月的AI创业公司Axiom Math。 12月3日，Axiom Math宣布：其“AI数学家”在无人干预的情况下，攻克了困扰数学界数十年的两道埃尔德什难题。同一天，洪乐潼收到了入选“福布斯30岁以下30人”榜单的消息。

If many students are struggling with operations like dividing decimals, this schoolwide approach to scheduling can help.

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 ...

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

Math education is rapidly changing. And while there are real headwinds with respect to math achievement, the new ideas and curricula that are emerging have the potential to power real progress for ...

There's another viral math question confusing the internet. Do you have what it takes to figure it out?

A.I.’s math problem reflects how much the new technology is a break with computing’s past. By Steve Lohr In the school year that ended recently, one class of learners stood out as a seeming puzzle.

Say you’re at a party with nine other people and everyone shakes everyone else’s hand exactly once. How many handshakes take place? This is the “handshake problem,” and it’s one of my favorites. As a ...

Beware coders, accountants, and all those whose jobs are number-centric, the PayPal co-founder says in a podcast, adding that ‘word people’ will be harder to replace in the near future. “My intuition ...

If good math policies are the ingredients, qualified math teachers are the chefs serving students an opportunity to compete ...