近日，全球著名科普杂志《Scientific American》（科学美国人）公布了其评选的2025年十大数学突破（The 10 Biggest Math Breakthroughs of ...

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

这项由NVIDIA公司Wei Du、Shubham Toshniwal等研究团队开展的突破性研究于2025年12月发表在arXiv预印本平台，论文编号为arXiv:2512.15489v1。该研究构建了迄今为止最大规模的数学推理数据集Nemotron ...

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

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

Organizational strategies that help students break complex word problems into manageable chunks may be the key to solving them, according to a 2025 study.

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

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?

Overview: Singapore consistently ranks among the top performers in global math assessments such as PISA and TIMSS. Several ...

ChatGPT has already wreaked havoc on classrooms and changed how teachers approach writing homework, since OpenAI publicly launched the generative AI chatbot in late 2022. School administrators rushed ...

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