★ 3
中国数学家联合支持在研究中应用 AI
南华早报报道，中国多位顶尖数学家公开表态支持在数学研究中引入 AI 工具。此举反映 AI 辅助科研在基础数学领域获得主流学界认可，可能推动 AI 与数学证明、猜想验证的结合。
Hacker News – AI20 天前
#AI 辅助证明
共 3 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 3
数学家感到 AI 威胁却难以割舍
Wired 报道称，数学家一方面对 AI 在数学研究中的崛起感到威胁，另一方面又难以放弃其强大能力。文章探讨了 AI 辅助证明与发现对数学界职业认同和研究范式的冲击。属于学术与行业交叉的深度报道。
Hacker News – AI42 天前
★ 3
借助 AI 证明卡塔兰常数无理
一篇 arXiv 论文宣称在 AI 辅助下证明了卡塔兰常数是无理数，这一长期未解的数论问题若被证实将是重要数学进展。该结果尚待同行评审，HN 讨论热度较低。
Hacker News – AI42 天前