GPT-5.6 用一个提示词填补了凸优化领域30年的空白

一位学者使用类似此前 OpenAI 攻克 Cycle Double Cover 猜想的方式,让 GPT-5.6 Sol Pro 在单个 148 分钟会话内,用一个提示词完成了一个自 1996 年以来悬而未决的凸优化问题证明,且该证明已在 Lean 验证工具中通过形式化验证。

一位学者使用类似此前 OpenAI 攻克 Cycle Double Cover 猜想的方式,让 GPT-5.6 Sol Pro 在单个 148 分钟会话内,用一个提示词完成了一个自 1996 年以来悬而未决的凸优化问题证明,且该证明已在 Lean 验证工具中通过形式化验证。

一篇在Hacker News上热传的文章指出,从OpenAI到Anthropic,绝大多数AI公司的Logo都采用了“中心开口+放射状线条”的圆形设计,这种高度一致的视觉风格意外地与人体的某个解剖部位高度相似。这并非偶然,而是行业从众心理、设计心理学和“委员会决策”共同作用的结果。

Box CEO Aaron Levie 与投资人 Gavin Baker 先后发帖,提出一个核心判断——AI 推理成本降低不是威胁,而是整个生态的扩张引擎;Kimi K3 模型的出现可能成为关键节点,对闭源模型厂商构成压力,但对全球其他公司都是净利好。

Anthropic 旗下的 Claude 团队近日在 X 上发布了一个名为“Built with Claude: Life Sciences”的项目展示页面,汇集了黑客松中生命科学领域的优秀作品。此举表明,Claude 正在从通用对话模型向专业垂直领域加速渗透,尤其是高门槛的医疗和生命科学赛道。

Vispr 推出 PromptVault,一套基于同行评审研究和企业级数据构建的 AI 提示词系统,覆盖内容、营销、运营、电商和 AI 智能体五大领域,共 41 个实践模块。它试图改变当前提示词市场“快产快销”的生态,转向研究驱动的产品化路线。

一款名为 Genie AI 的免费 AI 助手在 Product Hunt 上线,主打无严格消息限制的免费使用,目标用户覆盖开发者、学生与普通用户,试图在拥挤的 AI 助手赛道中通过“高免费额度”来建立差异化。

知名技术博主 Swyx 在 X 上提出,开发者应利用 Codex、Claude、Gemini 等大模型 API 自动执行每周 SEO/AEO 研究,以低成本获取大量“免费阿尔法”——即尚未被广泛利用的流量优化机会。这一观点迅速获得数千次互动,反映出自动化内容策略正从手动阶段进入系统化、低门槛阶段。

AI 研究者 Swyx 提出,围绕“自动化 AI 体验优化(auto AEO)”的讨论需要从模糊的宏观指标转向具体的策略:当你的优化手段(如提示词调整、任务分解)只对特定模型(如 Claude)有效时,它究竟是“on-policy”(依赖当前模型)还是“generalizable”(可迁移到其他模型)?这直接…

Anthropic 旗下模型 Claude 在 X 平台宣布,针对高频使用 Fable(即图像生成功能)的用户套餐,将标准访问门槛调整为“使用量达到 50%”即可触发。这是对近期用户普遍反映使用体验不稳定、计划条款不够明确的直接回应。

OpenAI 工程师 Peter Yang 在 X 平台发布消息称,Codex 的浏览器使用功能已被突破。这暗示着有人或某个团队成功绕过了该功能的限制,可能对 Codex 的商用安全性和可靠性构成实质性挑战。