2026-05-26
AI科研与数学突破
AI在基础科学研究中展现强大潜力，谷歌DeepMind AlphaProof Nexus攻克悬置56年的埃尔德什数学难题；国产AI实现全球首例"AI造AI"自动化训练；强化学习应用于空间组学实验设计，推动AI for Science进入新阶段。
2024-07-28
数学与推理大模型突破
谷歌AlphaProof在IMO数学竞赛达到银牌水平，获陶哲轩点赞；FBI-LLM首次实现完全二值化从头训练，推理成本骤降，显示大模型在极限压缩与高级推理双轨并进，为端侧与科研应用打开新空间。