菲尔兹奖得主加盟OpenAI

原文内容概括缩写：据报道，国际数学界最高荣誉菲尔兹奖最新得主在颁奖典礼当天即公开宣布，他将全职加入人工智能研究公司OpenAI，引发全球学术界与产业界震动。更令人瞩目的是，其指导的学生团队在同期使用内部代号为“Fable 5”的算法框架，成功推翻了一个困扰数学界长达87年的未解难题——该难题曾被多位数学大师尝试但均未攻克。Fable 5算法基于大模型与符号推理的混合架构，能够自动生成严密的数学证明并验证其正确性，其核心能力在于将人类直觉与机器搜索效率相结合。学生团队利用该算法在数小时内完成了传统数学家需要数十年才能完成的工作，彻底颠覆了人们对AI数学能力的认知。OpenAI方面表示，这一成果与菲尔兹奖得主的加入将共同推动AI在科学发现、理论验证等基础研究领域的应用，并计划将Fable 5的开源版本与ChatGPT集成，使更多研究者能够利用AI进行数学探索。同时，该事件也引发了关于AI是否会取代人类数学家、学术人才向产业界流动的广泛讨论。