Workflow
AI辅助科研
icon
Search documents
数学界无视「30年漏洞」,GPT-5一眼看穿,陶哲轩:AI科研革命开始了
3 6 Ke· 2025-11-05 10:52
Core Insights - The article discusses the recent developments surrounding OpenAI's GPT-5, particularly its role in solving mathematical problems, including the Erdős problems, and the subsequent reactions from the academic community [1][6][8]. Group 1: GPT-5's Contributions - GPT-5 has been credited with accelerating scientific progress by identifying existing solutions to ten Erdős problems, although it was initially misrepresented as having solved them [1][12]. - The 707th Erdős problem, which had been thought unsolved for 30 years, was actually resolved before its proposal, highlighting the importance of literature review in mathematical research [8][10]. - Two mathematicians successfully used GPT-5 to generate formal proofs, demonstrating its potential as a collaborative tool in mathematical research [13][14]. Group 2: Academic Reactions - Yann LeCun criticized OpenAI, suggesting that the company was harmed by its own overzealous claims regarding GPT-5's capabilities [2]. - Sebastien Bubeck, an OpenAI scientist, faced backlash for his initial claims but later acknowledged the complexity of literature searches in mathematics [12][17]. - Mathematician Terence Tao praised the use of AI in generating verifiable proofs, emphasizing that AI should complement human efforts rather than replace them [14][17]. Group 3: Future Implications - The collaboration between AI and human researchers could lead to more efficient problem-solving processes, as demonstrated by the successful use of GPT-5 in generating a formal proof that required significant human input for refinement [16][29]. - The exploration of AI's role in mathematics is still in its early stages, with potential for further integration and optimization in research methodologies [16][18].
GPT-5破解世纪难题,竟是上网抄来的,哈萨比斯:太尴尬了
3 6 Ke· 2025-10-21 02:26
GPT-5一场闹剧,让OpenAI出大糗了!让所有人都以为GPT-5破解了十道Erdos难题,没想到竟是查文献给出了答案。Hassabis点评,这太尴尬 了。 然而,真相很快浮出水面: 这十道难题,早就被学界解决,并非由GPT-5独立解决,它只是通过检索网络文献给出了答案。 消息一出,舆论哗然。就连谷歌DeepMind CEO Demis Hassabis也忍不住评价,「这也太尬了」。 OpenAI团队狂吹了一波GPT-5,结果竟是闹剧一场...... 事情是这样的。 几天前,OpenAI科学家Sebastien Bubeck激动转发,两位研究员联手GPT-5 Pro,仅用了一个周末,破解了10个「百年悬案」—— 埃尔德什难题(Erdos problems) 紧接着,OpenAI科学副总裁Kevin Weil等人纷纷加入,大肆宣传。 还有,图灵奖得主LeCun闪现X上嘲讽,「简直就是,搬起石头(GPT)砸自己的脚」。 GPT-5,一场闹剧 这场闹剧,可以说OpenAI团队的自导自演。 研究人员Mark Sellke和Mehtaab Sawhney发文很明确,并没有说GPT-5破解了难题。 他们原帖是,通过GP ...
MIT爆火论文被曝数据造假!曾验证AI辅助科研增速44%,诺奖得主都被诓了
量子位· 2025-05-20 20:33
西风 发自 凹非寺 量子位 | 公众号 QbitAI 「 AI对科学 发现影响的最 佳论文 」被曝造假,MIT发声明与其划清界限! 要知道,这项研究当时一经发表就轰动学术圈,包括Nature在内都争相报道,诺奖得主也为其点赞。 它表明,研究人员使用AI辅助后, 新材 料发现量增加44 %、专利申请量增加39%、下游产品创新提升17% 。 校方严正声明: 该论文应从公共讨论中撤回。 MIT对论文中数据的来源、可靠性、有效性缺乏信心,对论文研究的真实性亦缺乏信心。 目前,该论文作者已离开MIT,相关论文暂未从arxiv上下架。 一系列让人感到意外的数据 这篇论文2024年11月发表在arXiv上,同时向学术期刊《经济学季刊》投稿,也就意味着原本可能即将正式发布。 论文题为" Artificial Intelligence, Scientific Discovery, and Product Innovation ",作者只有 Aidan Toner-Rodgers 一个人,论文 发布时是 MIT经济系博士生 。 但半年时间不到,它就 因涉嫌关键实验数据造假 ,而被MIT责令撤稿。 论文主要内容是通过对美国一家大型 ...