分享好友 健康资讯首页 健康资讯分类 切换频道

数学界无视「30年漏洞」,GPT-5一眼看穿,陶哲轩:AI科研革命开始了

2025-11-05 19:0119036kr

【导读】星星之火,可以燎原!证明的尊严在于可验证;这一次,GPT-5让数学证据落在了代码里。

一雪前耻,ChatGPT为OpenAI「正名」!

被Hassabis吐槽太尴尬之后,GPT-5真启发了新的数学结论。

OpenAI的科学家Sebastien Bubeck高调宣扬GPT-5破解了十道Erdős难题。

但被指出GPT并非解决了Erdős问题,而是找到了已经解决这些问题的文献。

之后,他删除了推文并表示自己并非有意误导。

Yann LeCun斥之为「自食其果」:OpenAI被他们自己的GPTards所害。

之后,他在LinkedIn上的发帖,明显低调多了:

现在,事情来了反转——

Sebastien Bubeck被「冤枉」了,AI的确在加速科学进步。

反转,ChatGPT为OpenAI「正名」

昨天,这个故事来了一个反转——

普林斯顿大学数学博士Boris Alexeev(下图左)和俄亥俄州立大学副教授Dustin G. Mixon(下图右)发现,悬赏1000美元的707号Erdős问题,在被提出前30年,就已经被解决了。

论文地址:https://borisalexeev.com/pdf/erdos707.pdf

事情有些离谱,堪称数学家的「虚空索敌」——

答案比问题早30年,但直到前不久,外界还普遍以为问题没有被解决!

目前,707号Erdős问题已被标注为「Disproved」(被证伪)。

传送门:https://www.erdosproblems.com/go_to/707

这次,Sebastien Bubeck扳回一局,发推表示:

看来文献检索,终究不是件简单的事

举报
收藏 0
打赏 0
评论 0
英伟达、苹果这类带着完美光环的企业,隐藏着多少“泡沫”?
编者按管理者通常日夜忙碌,面临着创效增收和带给股东更多收益等种种压力。他们自然而然地转向那些现成的答案、快速见效的招式,好让自己能领先于对手。商业书籍的作者--那些顾问、学者和策略大师自然也乐于献上他们的妙计。需求刺激供给,而供给又有了现成的需求,就这样周而复始。每年市场上都有上百本书,声称能揭开如通用电气、丰田、星巴克、谷歌等顶尖公司的管理秘诀。为迈克尔·戴尔、杰克·韦尔奇、史蒂夫·乔布斯、理查

0评论2025-11-0610

当AI无所不能,你如何不可替代?
近日,硅谷掀起新一轮裁员潮,多个科技巨头宣布要削减初级技术岗位,Meta 裁撤 600 人,Salesforce 用 AI 替代 4000 个客服岗位,独立裁员跟踪网站 Layoffs.fyi 的统计显示,今年全球科技公司已削减近 10 万个职位,而人工智能的普及和经济不确定性是主要推手。AI 浪潮席卷而来,各行各业无不笼罩在 “被 AI 替代” 的焦虑中 ,职场人如何在 AI 时代建立自己的核心

0评论2025-11-0616

贝好家武斌:平均带看成交比已升至16.8:1,“以人定房”才能降低中间成本
“不是因为今天销售的通路打不开,而是很多时候产品是否真满足用户的诉求。”11月5日,在由中国房地产报社主办的“2025第二届新质生产力赋能未来人居发展论坛”上,贝壳旗下贝好家公司C2M创新中心总经理武斌表示。武斌直指当前房地产开发的核心痛点。在房地产行业进入深度调整的“买方市场”后,他与贝好家团队带来的并非另一个开发商的竞争故事,而是一套以数据为基石、以客户为中心的C2M(Customer to

0评论2025-11-0616