数学研究中使用 AI 的「莱顿宣言」发布:强调人类作者责任与学术贡献归属
来自莱顿大学、剑桥大学、牛津大学、ETH 苏黎世等机构的 16 位研究者联合发布《人工智能与数学莱顿宣言》,系统梳理 AI 介入数学研究带来的机遇与风险,强调无论自动化程度多高,数学成果的正确性与引用责任仍应由人类作者承担。
麻省理工学院两名学生获选2026年Knight-Hennessy学者
这项享有盛誉的奖学金资助斯坦福大学的研究生学习。
数学家发起“First Proof”挑战,测试AI在研究级数学证明中的能力边界
由哈佛、斯坦福等多所高校数学家组成的团队发布10道未公开研究题,邀请AI公司作答,以更客观评估人工智能在研究数学证明环节的实际水平。
