月度归档： 2025 年 6 月
图灵奖得主Bengio再创业：启动资金就筹集了3000万美元
Yoshua Bengio宣布成立LawZero非营利组织，致力于开发设计即安全的AI系统，并明确不发展Agent形态。该组织通过多家慈善机构筹集了3000万美元启动资金。
清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路
清华大学AIM团队推出AI Mathematician（AIM）框架，能够求解前沿理论研究并证明完成度高。通过探索、验证和修正模块，成功解决量子算法问题、吸收边界条件等问题。未来将通过改进机制提升能力。
斯坦福中国学霸开挂创业：AI解数学难题，0产品目标估值3亿美元
中国籍学者洪乐潼创立的Axiom公司专注于开发基于形式化数学证明的AI模型，目标估值3亿至5亿美元，旨在解决复杂数学问题并弥补主流AI在该领域的不足。
Meta新突破！跨模态生成告别噪声：流匹配实现任意模态无缝流转
本文介绍了一篇CVPR 2025 Highlight论文《CrossFlow》及其相关工作，该研究提出了一个新的跨模态生成框架，并在多个任务上取得了媲美甚至超越最优算法的性能。
陶哲轩转发！华人数学博士后反超DeepMind AI，停滞18年数学问题1个月内3次突破
数学家陶哲轩评价AlphaEvolve成果后，人类通过改进和分析方法进一步提升了集合和差问题的下界。Fan Zheng博士引入大偏差估计理论，将θ提升至1.173077；匈牙利数学家Robert Gerbicz则通过添加坐标约束参数，得到超大规模集合，并计算出最优θ值1.1584。陶哲轩认为AI和人类方法可以互补，共同促进数学进步。
