2025-02-10
数学与科学AI超人类
谷歌AlphaGeometry2在IMO几何题击败金牌得主均值；DeepMind AlphaProof攻克奥赛最难试题；复旦4D扩散模型补全蛋白质动态结构；百奥几何生成式AI把抗体中和活性提升1000倍，AI正向基础科学深水区渗透。
2025-02-09
数学AI夺金突破符号推理极限
谷歌AlphaGeometry2在IMO几何题上拿到84%金牌级表现，结合辅助作图与符号引擎的新范式显著超越纯LLM，证明专用推理系统已逼近人类顶尖水平，为科学发现与自动形式化验证打开新空间。
2025-02-08
数学推理模型突破
DeepMind AlphaGeometry2、谷歌AI在IMO几何题正确率84%，超越金牌选手；李飞飞团队26分钟150元蒸馏出s1推理模型，验证“小参数+蒸馏”可行，预示高性能推理正走向低成本平民化。
2024-07-27
数学推理AI突破
谷歌DeepMind的AlphaProof+AlphaGeometry 2在国际数学奥林匹克（IMO）6题中满分4题，19秒解几何，总分距金牌仅1分，首次证明AI可逼近人类顶级数学水平。该成果象征形式推理与强化学习结合的新高度，为科学发现与自动证明打开商业与学术空间。
2024-04-12
AI for Science新进展
AlphaGeometry奥数金牌级解题、上海AI实验室低成本分子动力学、蒙纳士大学激活LLM时序预测均刷新SOTA，显示大模型在数学、物理、气象、医药等科研领域的跨模态潜力。
2024-02-02
AI for Science加速落地
AlphaGeometry、AI生物凝聚物、因果建模提升生物标志物泛化、浙大Sci-LLM综述等成果集中出现，显示大模型与因果推理正成为生命科学、材料发现的新基础设施。
2024-01-20
AI制药与科学计算新范式
DeepMind AlphaGeometry以神经+符号混合引擎在IMO几何题上超越金牌得主，算力换智力引热议；同时AI+生物凝聚物公司Dewpoint融资2.87亿美元后裁员重组，PBCNet用图注意力网络预测药物亲和力，显示AI正深入科学发现核心环节，但商业模式仍待验证。
2024-01-19
大模型数学推理突破
谷歌DeepMind AlphaGeometry在IMO几何题上达到金牌水平，国产书生·浦语2.0开源并支持200K上下文，标志着大模型在数学推理与长文本理解上的双重突破，为科研与教育带来新范式。