刚刚，xAI 前联合创始人、Morph Labs 首席科学家 Christian Szegedy 宣布了自己创业的消息。其创立的新公司 Math Inc. 已然上线，是一家致力于通过自动形式化技术打造可验证超级智能的新公司。Szegedy 表示，基于其在 Morph Labs 开发的强大 RL 基础设施，Math Inc. 已经通过其新的自动形式化智能体 Gauss ...

By leveraging cutting-edge AI and rigorous learning science, Learnvia can help train a "math-ready" workforce for the 21st-century economy.

OpenAI has achieved a new milestone in the race to build AI models that can reason their way through complex math problems. On Saturday, the company announced that one of its models achieved gold ...

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

These student-constructed problems foster collaboration, communication, and a sense of ownership over learning.

Declining math skills are a real problem nationally, but UC San Diego is an unusual case—and other California colleges offer a range of promising models for rethinking calculus requirements.

Today’s post continues a series highlighting ways teachers can help students see how math and science are relevant to their lives. Emily Burrell has taught high school mathematics for 23 years. For ...

Because I’m an investor, I receive an inordinate number of pitches from companies seeking funding. Like CORPUS, the Netherlands-based 9-story, 135-foot human-shaped structure that offers an ...