近藤钲太郎老师在当时的旧制第八高等学校的老师中绝对算得上是一位卓越的老师，他也是在艰苦岁月中非常难得的一位老师，跟随近藤老师学习的学生都对他印象深刻，我想很多人的一生受到了老师的影响，这本纪念文集中，...

新智元报道编辑，桃子好困，新智元导读，AI已完全融入数学家的工作流中，陶哲轩刚刚宣布，最新方程理论项目已完成99.9963%，众包之力外加AI辅助取得了重大成绩，他认为，剩余大约700个让人类头疼的难...

机器之心报道编辑，佳琪在学习数学时，我们常因所学知识的难度和抽象而受挫；但有些时候，只需换个角度，我们就能为问题的解答找到一个简单又直观的解法，举个例子，小时候在学习和的平方，a，b，²公式时，我们可...

新智元报道编辑，乔杨耳朵，新智元导读，LLM数学水平不及小学生怎么办，CMU清华团队提出了Lean，STaR训练框架，在语言模型进行推理的每一步中都植入CoT，提升了模型的定理证明能力，成为miniF...

新智元报道编辑，编辑部，新智元导读，就在刚刚，谷歌DeepMind最新的数学模型捧得了IMO奥数银牌！它不仅以满分成绩做出了6道题中的4道，距离金牌只有1分之差，而且在第4题上只用了19秒，解题质量和...