深度长文｜数学之谜：揭秘AI在奥数证明中的惊人失败
人工智能在数学领域高歌猛进，似乎正以不可阻挡之势逼近甚至超越人类智慧的边界。从国际数学奥林匹克（IMO）赛场上斩获银牌级成绩（DeepMind的AlphaProof与AlphaGeometry 2组合系统[1]解决了当届难题），到辅助顶尖数学家证明困扰学界数十
卢斯蒂格
2025年阿贝尔奖柏原正树: 连接代数、分析与拓扑的“桥梁工程师”
3月26日，三大数学奖项之一的阿贝尔奖揭晓，日本数学家柏原正树 (Masaki Kashiwara)获奖，挪威科学和文学学院给出的评价是：“对代数分析和表示论作出了开创性贡献，尤其是 D 模理论的发展和水晶基的发现”。”
华人再获基础科学终身成就奖；历届得主美国领先，国内理论物理弱
3月21日，2025国际基础科学大会（ICBS）基础科学终身成就奖（Basic Science Lifetime Awards，BSLA）的获奖人在京正式揭晓，继去年的姚期智院士获奖后，今年再有两位功成名就的华人顶尖学者获奖，他们分别是丁肇中和朱棣文。