@justalexoki: 我: <解释OpenAI最近的突破> 老婆: ? 我: 人类80年没搞定的数学问题老婆: ? 我: …

X AI KOLs Following 2026/05/23 18:48 新闻

openai breakthrough agi math-problem ai-news

摘要

一条轻松的推文，关于向配偶解释OpenAI最近的突破（可能解决了一个80年的数学问题），幽默地讨论AGI和ASI导致开始种菜。

我: <解释OpenAI最近的突破> 老婆: ? 我: 人类80年没搞定的数学问题老婆: ? 我: AGI要来了，然后是ASI 老婆: ? 我: 我打算开始种菜，把地窖装备好老婆: 哦有意思！甜椒吗？我喜欢甜椒

查看原文

查看缓存全文

缓存时间: 2026/05/24 14:21

我：<解释OpenAI最近的突破> 妻子：？我：一个80年没人解决的数学问题妻子：？我：AGI要来了。然后ASI 妻子：？我：我打算开始种菜，把地窖备好妻子：哦，有意思！甜椒吗？我爱吃甜椒

相似文章

X AI KOLs Following

Emad Mostaque 声称 AI 在爱因斯坦方程中发现了缺失的代数，而据报道 OpenAI 的 Astra 仅用极少的算力解决了十个开放数学问题，这表明机器在数学发现方面正在超越人类。

X AI KOLs

一个OpenAI模型发现了一个有80年历史的Erdős猜想的反例，研究人员在OpenAI Podcast上分享了这一故事，讲述了人工智能和数学家如何合作进行数学发现。

X AI KOLs Following

这条推文赞扬了一个数学思想恰好契合AI推理的算术特性，并表示希望看到在长时间生成运行中推理模型的表现结果。

TechCrunch AI

OpenAI 声称其新推理模型自主生成了一个原创数学证明，推翻了保罗·埃尔德什（Paul Erdős）一个80年未解的几何猜想。这标志着人工智能首次解决了一个数学领域核心的著名开放问题。

X AI KOLs Timeline

一条推文报道，AI（很可能是GPT-5.6 Pro）推翻了图论中一个长期未解的Dinitz-Garg-Goemans猜想，使用的提示词很简单，比如“做一次突破”。