2026-10-10

AI科研与学术生态变革

OpenAI公开数学手稿冲击挂谷猜想,Claude绘制首张紫外全天图,AI在数学、天文、生物医药领域展现颠覆性潜力。然而这也引发陶哲轩等数学家抵制,担忧算力霸权冲击青年研究者。斯坦福世界模型、抗体设计等进展显示,AI正重塑基础科研范式。
2026-09-13

AI安全治理与学术伦理

黄仁勋、Dario及陶哲轩等25位菲尔兹奖得主就AI安全、发展速度与学术伦理激烈交锋。争论涉及AI威胁论、数学研究被“暴力解题”冲击、行业是否应限速等,反映AI快速发展与学术传统、安全可控之间的深层张力。
2024-02-04

AI自动化定理证明

谷歌、UMass、UIUC联合利用LLM自动生成完整数学证明,获软件工程顶会杰出论文;上下文越全,证明成功率越高,为大模型在形式化验证与数学研究打开新场景。