OpenAI一次性发布700多份数学手稿,引发数学界反弹。人类数学协会声明呼吁抵制,指其炫耀权力、破坏同行评审,但该协会仅809名会员,声明还被检测为AI生成。OpenAI承认部分论文存疑,已撤下3篇并修订多篇。争论核心是AI大幅降低成果产出成本,但理解与验证成本未降,正改变科研运行方式。
OpenAI称约一万个AI智能体协作88小时,构造出三维纳维-斯托克斯方程有限时间奇点,并完成Lean形式化验证。该结果基于人类数学家前期成果,并非独立发现。随后引发争议,涉及是否使用未公开研究数据及成果署名归属。事件真正意义在于展示AI可大规模并行探索研究路径,使科研本身变得可扩展。
数学家Loh提出“人类繁荣公理”:AI发展会创造大量需人类掌控的高技能岗位,人手不足将迫使AI减速。他主张数学界公开以此为核心价值,保留人类研究者引导方向,并调整教学、招聘与研究方向。
计算机科学家Talia Ringer回顾2021年接触Codex时的“AI悲伤周期”,担忧AI生成程序带来漏洞、研究领域被吞没、AI文化侵蚀开放协作传统。她主张主动向AI界和公众说明研究实质,推动编程语言领域与AI互补共存。她认为数学界面临更大关注与敌意,需长期开展公关,向公众解释数学过程而非基准,并考虑工会化、与小公司及学者合作。
陶哲轩在博客中介绍合作博客“Proofs and Prompts”,旨在汇聚数学界对AI的多元讨论。该博客已发表约四十篇文章,作者包括博士生、本科生、菲尔兹奖得主和爱好者,但女性作者少,多来自欧美,且缺乏LLM开发经验者。博客呼吁更多人投稿,关注AI获取不平等、开源模型、期刊回应等具体问题,促进交流与组织。
数学家Nestor Guillen撰文主张,大语言模型应被视为类似市场、官僚体系和科学文献的“文化技术”,而非智能主体。其输出若含新数学思想,应视为数千年人类数学遗产的结晶,是学科骄傲而非威胁。他呼吁区分LLM技术与AI公司产品,推动开放模型,并借鉴滑板运动应对危机的经验,让数学界在动荡中变得更强大。
OpenAI宣称用AI解决纳维-斯托克斯等千禧年难题,引发数学界不安。数学家批评其重竞赛轻合作,未充分致谢前人成果,并担忧研究人员数据被用于训练。学界发起《莱顿宣言》,呼吁理性看待AI,抵制企业炒作与对学术生态的冲击。
GPT-6 Astra在FrontierMath-Erdos测试中仅解决68道埃尔德什开放问题中的2道,成功率3%,成本超22万美元。对比其FrontierMath Tier 4的98分,凸显AI在“解已知题”与“发现新问题”间的巨大差距。测试采用Lean形式化验证,确保结果可靠,但63道题仍无解,显示AI数学发现能力有限且成本高昂。
王虹、邓煜获2026年菲尔兹奖,成为首批获此荣誉的中国籍数学家,分别证明三维挂谷猜想和推进希尔伯特第六问题。丘成桐称这标志中国数学界走向成熟。其他新闻包括iOS 27限制逾期分期iPhone、手机涨价、荣耀Robot Phone、特斯拉投资周期、AI行业动态等。
数学家们推翻了双层床猜想,证明在某些图中,从下铺到上铺的路径概率并不总是更高。这一结果挑战了数学直觉,强调了质疑假设的重要性,并引发了对数学证明本质的讨论。
两位高中生Ne’Kiya Jackson和Calcea Johnson在《美国数学月刊》上发表了勾股定理的新证明方法,提出了十种基于三角学的新证明,挑战传统观点,受到数学界的赞赏。
完成下面两步后,将自动完成登录并继续当前操作。