据报道，OpenAI 已取得重大突破，使用公开可用的模型 GPT-5.6 Sol Ultra 解决了一个 50 年未解的数学难题。该模型据称利用 64 个子代理，在不到一小时内完成了证明。这一进展值得注意，因为最近大多数重大的数学突破都涉及实验性的大型语言模型，而非公开模型。另外，有报道称苹果公司起诉了一项与前 iPhone 设计师 Jonny Ive 和 Sam Altman（与 OpenAI 有关）有关的新人工智能硬件项目侵犯知识产权。 AI
影响 展示了公开可访问的模型解决复杂科学问题的潜力，加速了跨学科的研究。
排序理由 该集群报道了一个公开可用的 AI 模型取得的新颖数学证明，属于研究里程碑。
在 Mastodon — fosstodon.org 阅读 →
AI 生成摘要 · Google Gemini · 来自 3 个来源。 我们如何撰写摘要 →
mr. TIM (tm) @timkellogg.me publicly available models are solving unsolved math problems proof: https:// cdn.openai.com/pdf/04d1d1e4-bc 75-476a-97cf-49055cd98d31/cdc_proof.pdf prompt: https:// cdn.openai.com/pdf/04d1d1e4-bc 75-476a-97cf-49055cd98d31/cdc_prompt.pdf # OpenAI # M…
@ timkellogg.me Jonny Ive, the iPhone designer, quit Apple to do an AI hardware venture with Sam Altman and now Apple is suing over IP theft https://www. cnbc.com/amp/2026/07/10/apple- openai-lawsuit-trade-secrets.html $AAPL # OpenAI # AI
Ethan Mollick @emollick.bsky.social This time OpenAI announced a novel math proof for a 50 year old problem using a public model (most of the other big math breakthroughs have been with experimental LLMs). GPT-5.6 Sol Ultra, using 64 subagents in just under one hour. # OpenAI…