GPT-5.4 Pro
PulseAugur coverage of GPT-5.4 Pro — every cluster mentioning GPT-5.4 Pro across labs, papers, and developer communities, ranked by signal.
-
GPT-5.4 Pro解决60年历史数学难题，引发争议
一位业余数学家利用GPT-5.4 Pro解决了一个由Paul Erdős提出的长期存在的数学问题，该问题困扰了人类数学家60年之久。该AI的方法与人类方法截然不同，它通过重新构建问题而非使用传统技术找到了新的证明。这一成就引发了关于数学未来以及AI在科学发现中作用的辩论。
-
新的VLM框架通过自探索提升3D视图规划能力
研究人员开发了一个新框架，以提高视觉语言模型（VLM）在3D环境中的视图规划能力。所提出的方法通过视图图蒸馏来交替进行自探索，其中探索轨迹共同形成一个映射视点连接的图。这种方法显著提高了交互式视图规划任务的性能，Qwen2.5-VL-7B 的性能从 2.5% 提高到 47.8%，优于 GPT-5.4 Pro 和 Gemini 3.1 Pro 等模型。
-
LLM在泰国律师考试研究中压倒性地复制了多数人类评分
一项关于泰国律师考试的新研究表明，虽然人类考官有时会因模糊的评分标准解释而在自由格式论文评分上产生分歧，但大型语言模型（LLM）在绝大多数情况下会与多数人类的解读保持一致。在测试的26个LLM中，没有一个在面对正确答案但缺少法定引文时会复制少数人类的评分观点。一个由三个LLM组成的锚定小组取得了高一致性得分（alpha=0.77），而人类小组的得分为（alpha=0.36），这凸显了LLM倾向于与主流人类解读保持一致，而不是探索其他有效的解读。
-
小型模型在代理编码基准测试中超越前沿AI
一项最近的代理编码基准测试显示，更小、更高效的模型在性能上超越了更大、更前沿的模型。SmolLM3 3B 模型能够在笔记本电脑上运行，得分达到 93.3，显著超过了 Grok 4.20 和 DeepSeek V4 Pro 等模型。这表明模型大小可能不是代理编码能力的决定性因素，挑战了之前关于高级任务必须拥有海量参数的假设。
-
谷歌DeepMind AI协助数学家，在FrontierMath基准测试中名列前茅
谷歌DeepMind发布了一个名为“AI Co-Mathematician”的AI系统，旨在与人类数学家合作解决复杂问题。该系统基于Gemini 3.1 Pro构建，在极具挑战性的FrontierMath Tier 4基准测试中取得了48%的新SOTA分数，显著优于GPT-5.5 Pro等现有模型。该AI作为一个异步工作空间，配备一个协调代理，负责分解任务、管理并行研究流，并持久存储失败的假设，这与软件开发中的工作流程相似。
-
GPT-5.4 Pro 协助一名 23 岁青年解决有 60 年历史的 Erdős 问题
一名 23 岁的个人利用 GPT-5.4 Pro 解决了被称为 Erdős 问题的一个有 60 年历史的数学问题。该解决方案，即基于离散马尔可夫链的证明，已通过 Lean 证明助手得到验证。这一成就被专家认为是数论领域的一项重大进展，得益于人工智能的协助。
-
GPT-5.5 Pro 在基准测试中表现出色；Microsoft Playwright 助力网络代理
据报道，OpenAI 的 GPT-5.5 Pro 在 Epoch 基准测试中取得了显著的进步，其基础版本超越了之前的 Pro 模型。这表明 OpenAI 的最新迭代在效率方面有了实质性的改进。此外，一款名为 CCmeter 的新开源工具已发布，用于分析 Claude Code 的会话日志，帮助用户识别节省成本的模式并模拟模型切换。另外，Microsoft 开发了一个用于 Playwright 的 MCP 服务器，使 AI 代理能够通过…
-
OpenAI 的 GPT-5.4 Pro 助力解决一个已有 60 年的数学难题
OpenAI 宣布，一个被称为 Erdős 问题的、已有 60 年未解的数学难题，在其 GPT-5.4 Pro 模型的协助下得到了解决。OpenAI 的研究人员详细介绍了该 AI 的高级推理能力是如何在攻克这个复杂问题中发挥关键作用的。这一发展凸显了 AI 在应对具有挑战性的数学和逻辑谜题方面的能力日益增强。
-
OpenAI 的 GPT-5.4 Pro 助力解决一项 60 年的数学难题
OpenAI 的 GPT-5.4 Pro 协助解决了 Paul Erdős 提出的一个已有 60 年的数学问题。这一进展引发了关于人工智能在数学研究和解决问题方面未来的疑问。OpenAI 的研究人员在最新的 OpenAI 播客中讨论了这一突破的意义。
-
业余爱好者使用 ChatGPT 解决 60 年数学难题，专家惊讶
一位名叫 Liam Price 的 23 岁业余数学家使用 ChatGPT 解决了一个有 60 年历史的数学问题，即埃尔德什问题。据报道，Price 没有接受过高等数学训练，他使用 GPT-5.4 Pro 的一个提示词得出了解决方案。这一进展值得注意，因为它似乎采用了解决此类问题的新颖方法，可能在数学之外有更广泛的应用，并令 Terence Tao 等专家感到惊讶。