#数学开放问题
共 3 篇相关文章
·12 分钟
OpenAI内部模型Astra号称攻克10道数学难题，真实性几何？
OpenAI代号Astra的内部模型据传解决了10个重大数学与计算机科学开放性问题。本文梳理事件来龙去脉，分析AI数学推理的真实能力边界，并提供评估此类突破性主张的理性框架。
阅读全文 →
·12 分钟
通义千问Qwen-Image 3.0发布：图像生成迈向可交付设计
通义千问发布第三代图像生成模型Qwen-Image 3.0，支持4.5K Token长指令、10px文本渲染与12种语言排版，瞄准海报、信息图等可直接交付场景。同期速览：Anthropic版权和解、Grok接入Excel、腾讯HRAP 1.0等AI最新动态。
阅读全文 →
·12 分钟
GPT-5.6发布：ChatGPT Work、Sites与桌面客户端全面升级
OpenAI发布GPT-5.6模型家族，推出面向企业的ChatGPT Work、一键建站的ChatGPT Sites及大幅升级的桌面客户端，编程能力反超竞品。同期Meta、Google、Kimi密集跟进，AI生态整合竞争全面提速。
阅读全文 →