标签: OpenAI

AI 用 prover-verifier LLM 循环攻克 9 个未解数学难题

AI 用 prover-verifier LLM 循环攻克 9 个未解数学难题

AI 研究社区传出突破性进展:一种基于“证明者-验证者”LLM(大语言模型)循环的技术架构,成功解决了理论计算机科学领域 9 个长期悬而未决的数学问题。这并非简单的“解出一道题”,而是系统性展示了 LLM 在抽象数学推理中的潜力,重要性远超此前 OpenAI 的“埃尔德什差异问题”突破。

大空头迈克尔・伯里做空 AI 与芯片板块

大空头迈克尔・伯里做空 AI 与芯片板块

电影《大空头》原型迈克尔·伯里公开披露,已建立针对AI与半导体板块的大规模做空仓位,涉及特斯拉、英伟达等核心标的。此举直接挑战当前市场对AI估值“过热”的主流叙事,引发投资者对板块泡沫风险的重新审视。

克劳德十四行诗 5 的新内容

克劳德十四行诗 5 的新内容

Anthropic 于 2026 年 6 月 30 日发布了 Claude Sonnet 5,性能接近旗舰 Opus 4.8,但价格更低;与此同时,新模型因网络攻击能力远弱于更强大的“Mythos 5”,成功规避了美国政府监管审查,得以顺利上线。