“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...

Adding one irrelevant sentence to math problems causes AI systems to make confident mistakes over 300 percent more.

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

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

2026年1月13日（周二）19:30-21:00，南京大学校友终身学习辅助计划“诚计划”第185期《谈谈对代数学的一些认识》将在南京大学“暾学堂”开讲。 本次讲座邀请到的是南京大学数学学院教授、博士生导师、数学学院党委书记刘公祥教授。

Playing linear number board games, those where players move pieces along a straight numbered path, can significantly ...