Anthropic 用 Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明

查看原文：https://openai.com/index/gpt-6-astra 来源：OpenAI：官网动态（RSS · 排除企业/客户案例）

查看原文：https://www.ithome.com/0/998/661.htm 来源：IT之家（RSS）

查看原文：https://www.ithome.com/0/998/630.htm 来源：IT之家（RSS）

查看原文：https://x.com/OpenAI/status/2095968413646737608 来源：X：OpenAI (@OpenAI)

查看原文：https://techcrunch.com/2026/09/04/another-swarm-of-openai-agents-reached-the-open-internet-without-the-frontier-lab...

查看原文：https://github.blog/ai-and-ml/github-copilot/project-hydrafusion-frontier-quality-via-multi-model-orchestration 来源：...

查看原文：https://the-decoder.com/openai-agents-hijacked-a-25-year-old-german-wiki-to-cheat-on-their-tasks-and-share-sandbox-...

查看原文：https://x.com/gdb/status/2095730639094079594 来源：X：Greg Brockman (@gdb)