11月27日晚，中国AI公司DeepSeek悄然在Hugging Face平台开源了其最新成果—— DeepSeek-Math-V2。这一举动迅速在全球AI社区引发热议，不仅因为其卓越的数学能力，更因其成为全球首个达到国际数学奥林匹克竞赛（IMO）金牌水平且完全开源的大语言模型。

Years ago, an audacious Fields medalist outlined a sweeping program that, he claimed, could be used to resolve a major ...

传奇数学家Ken Ono辞去了弗吉尼亚大学终身教职，加入了自己学生Carina Hong创办的Axiom Math，打造「AI数学家」。促使他做出这一决定的，只因他在一次研讨会上看到了AI在数学研究上的无限可能。

Time to test your brain! Are you a puzzle person? Most of these hard math problems aren’t straightforward arithmetic. They challenge you to look at problems a different way, testing your logic and ...

For some people, math can be a necessary headache. Yes, algorithms guide countless aspects of daily life. There are tips to calculate and hours to count. But unless someone's a specialist, they'll ...