★ 5
AI 生成纳维-斯托克斯千禧难题解答
OpenAI 分享了一份由 AI 生成的纳维-斯托克斯千禧年大奖难题解答,包含文字说明与 Lean 形式化证明。该成果若成立将是数学界重大突破,但也引发对证明有效性的广泛质疑与讨论。
OpenAI55 天前
共 5 篇相关资讯,按重要度与时间排序,每 3 小时更新。
OpenAI 分享了一份由 AI 生成的纳维-斯托克斯千禧年大奖难题解答,包含文字说明与 Lean 形式化证明。该成果若成立将是数学界重大突破,但也引发对证明有效性的广泛质疑与讨论。
OpenAI宣布在数学、计算机科学和物理学取得重要突破,并称将借助外部专家“牧羊人”决定成果的公开方式。但研究者批评其仅让少数指定专家先行查看,认为公开宣布成果就应让整个社区参与审查。此前OpenAI大量投放预印本已令数学界疲惫。
继此前争议后,又一位数学家 Andreas Thom 公开指责 OpenAI 行为不诚实、缺乏训练数据透明度。他怀疑自己与 ChatGPT 的交互被用于训练,从而助力 OpenAI 的数学突破,并要求公司披露相关数据集以自证清白。
Hacker News 上引发讨论,认为 OpenAI 提出的 FFT 算法并非真正的数学突破,而更像是一种恶意利用或取巧手段。该观点质疑其学术价值与实际意义。