【AIGC日报 · 2026-07-13】今日简讯：1、GPT-5.6 Sol Ultra模型一小时生成困扰数学界50年猜想证明2、谷歌发布Gemma 4开源模型，端侧实现原生多模态3、阶跃星辰发布全球首款AI智能体手机及端侧模型4、中国超算“灵晟”以2.19 EFLOPS重返世界第一5、DeepSeek被曝秘密启动自研推理专用AI芯片项目6、联合国发布首份独立AI科学评估报告，警告监管滞后

以下为详细内容：1、GPT-5.6 Sol Ultra模型一小时生成困扰数学界50年猜想证明来源：IT之家、搜狐科技日期：2026年7月12日正文：OpenAI于7月10日宣布，其GPT-5.6 Sol Ultra模型在不到一小时内，成功生成了图论领域悬而未决50多年的“循环双覆盖猜想”的完整证明。该模型采用了64个并行子智能体协同工作，并设置专门“对抗智能体”来寻找证明漏洞。OpenAI已将证明和提示词以PDF形式公开。英国曼彻斯特大学数学家Thomas Bloom评价该证明“非常漂亮”。但该证明尚未经过数学界正式的同行评审。原文链接：网页链接

2、谷歌发布Gemma 4开源模型，端侧实现原生多模态来源：钱江晚报、AIbase日期：2026年7月12日正文：谷歌DeepMind发布Gemma 4系列开源模型，采用Apache 2.0许可证。Gemma 4摒弃了传统的视觉与音频编码器设计，将原始像素和音频波形直接投影到大语言模型的统一嵌入空间，从而在端侧实现原生的多模态交互。其31B参数版本可在消费级显卡上运行，性能在主流开源排行榜上位列前三，接近参数规模为其20倍的竞争模型。原文链接：网页链接

3、阶跃星辰发布全球首款AI智能体手机及端侧模型来源：头条科技、第一电动网、微博日期：2026年7月13日正文：7月13日，阶跃星辰在北京发布全球首款AI智能体手机。该手机搭载自研的Agent OS操作系统，从底层重构人机交互，支持跨应用操作、上下文记忆和主动服务。同时发布的StepEdge端侧模型全家桶，可实现低至0.1秒的本地toolcall执行，并确保敏感数据不出设备。该手机由全球知名ODM厂商华勤技术代工。原文链接：网页链接

4、中国超算“灵晟”以2.19 EFLOPS重返世界第一来源：人民日报、金台资讯日期：2026年7月13日正文：国家超级计算深圳中心发布新一代全国产超算系统“灵晟”。其实测持续性能达到2.19 EFLOPS（每秒百亿亿次浮点运算），成为全球首台持续性能超2 EFLOPS的超算系统，标志着中国超算时隔9年重返全球性能榜首。该超算采用全栈国产软硬件，创新应用全CPU超智融合架构，实现了从芯片、互联、存储到软件的完全自主可控。原文链接：网页链接

5、DeepSeek被曝秘密启动自研推理专用AI芯片项目来源：路透社、搜狐科技、36氪日期：2026年7月12日正文：据路透社报道，AI公司DeepSeek正在秘密开发自研AI推理芯片，该项目于约一年前启动，已与芯片设计公司、晶圆代工厂及存储厂商进行了多轮洽谈。支撑该计划的是DeepSeek于今年6月完成的首轮约510亿元人民币的外部融资。此举旨在降低推理成本，并减少对海外GPU的依赖。此前，DeepSeek已全面适配华为昇腾芯片。原文链接：网页链接

6、联合国发布首份独立AI科学评估报告，警告监管滞后来源：科技日报日期：2026年7月12日正文：联合国发布了首份独立的AI科学评估报告。报告核心警告称，AI能力的演化速度已经超出了全球现有法律与监管框架的承载能力。报告呼吁建立由外部主导的监管机制，而非依赖AI公司进行自我评估。该报告预计将在全球范围内产生直接影响，推动各国AI监管议程从“是否要管”转向“具体如何管理”。原文链接：网页链接信源：IT之家 | 搜狐科技 | 钱江晚报 | AIbase | 头条科技 | 第一电动网 | 微博 | 人民日报 | 金台资讯 | 路透社 | 36氪 | 科技日报热搜ai创作激励大赛德里克文ai日报德里克文