新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

1、星空官方 背后是三场争论：经验从哪来、怎么算好、能不能省钱。

问题会即时发现、自动修复。星空官方这些更高级别的员工把智能体当助手，从自己的工作里拆出任务，生成任务流，让智能体逐条执行。

2、国际足联，解答了埃及VS阿根廷的争议吹罚！

要追求敏捷，就不得不忍受裸奔的风险；要追求绝对的安全，开发流程就会变得臃肿、滞后而痛苦。

3、山姆·尼尔去世，侏罗纪的世界再无格兰特博士

论文点名了四项目前普遍缺席的关键防御——技能签名、内存完整性、凭证保险箱、动作授权，把它们补齐，大概是这个方向下一步最值得投入的事。

4、压实内控管理 筑牢合规防线

这带来一个很直观的变化：Agent太能吃了。

5、清理“僵尸车” 盘活停车位

好消息是，Qoder在国内第一个交卷了！ 刚刚，阿里旗下的Qoder正式推出了Qoder Security，直击AI Coding的安全风险问题。

至于托着这一切的地基，反倒成了最没人在意的一层。

AGX的那个「X」，寓意X Possibilities、X Accelerator与X Future Matrix。

6、胜辽宁赢广东！昔日鱼腩大爆发，三点助力球队蜕变，搅乱联赛格局

大模型不仅看新写了什么，更会对比新旧代码在语义上的差异，防止新引入的代码破坏原有的安全边界。

这次，磐石2.0想要更进一步——实现科学多模态统一推理（Unified Scientific Multimodal Reasoning）。

7、阿奇会师小猪佩奇，WNBA迎来浪漫叙事天花板

报告发出后，上传行为悄悄停了——不用更新软件，服务器那头直接掐断。

然后是提权到节点级、收割云和集群凭证、横向移动进多个内部集群。

8、篮网明确无意沃特森？波特带人直入训练馆引猜疑

新智元报道 ChatGPT推出快满4年了。

一种是烧进模型权重里的知识，它读过的大半个互联网，凝固成了先天常识，像一部无比渊博却再也不会更新的百科全书。

等一阵过后，你的专属 Skill 就出炉了，点击【Save Skill】即可直接部署到 Claude 中。

9、CBA新赛季或超7名外教担任主帅 却无俱乐部再邀请马布里

但2026年风向变了。

连续两届开设的中学组赛事将AI引入古书画保护场景，引导青少年探索物质科学、人文认知与智能技术的跨领域融合，共吸引来自109所中学的284支队伍踊跃参赛，覆盖上海全部16区。

10、詹姆斯之所以纠结，是因为没有完美的选择

奥特曼还在旁边乐呵呵地补刀：Sol的增长已经疯狂到推理团队满头大汗地扩容，他还半开玩笑地提醒，接下来服务器可能有点小颠簸。

这道题是那个年代公认最难啃的硬骨头。

1、决赛0射门！罗德里给现代足球上了一课，阿根廷的黄昏已至？90分钟，0次射门

公元44年，古罗马。

2、萨利巴伤缺催生补强，阿森纳被推荐4000万欧葡体中卫德巴斯特

代码狂飙，安全是最可靠的底线 最后，要说明两点。

3、梅西惨淡谢幕，亚马尔的足球时代开始了

而这背后，是张益唐被偷走的七年。8万人面前泪如雨下！39岁梅西戴上银牌：过于悲伤 坐地上偷抹眼泪图乐园支持根据文字描述生成图片，三到五秒出图，但手机明显发热。

4、CBA最新消息！山东兜售选秀状元，广厦续约吴晓，北控续约外援里勒

她身后的基金会横幅，也是假的。

5、柯洁七擒福冈、杨楷文踢飞点球，春兰杯8强6名中国棋手围殴大小申

防御窗口收窄 防御工具也在加速 AISI 在报告中明确了政策信号：防御方的准备时间比去年更短。

6、好事多磨!阿根廷队未能按计划前往决赛城市纽约,因雷暴天气滞留亚特兰大

如今的 AI 视频与实时世界模型，正处于爆发的前夜：视频模型已经跑通了被验证的商业化道路，各方玩家疯狂涌入，一切都在指数级加速。

往深一层看，这是智能体时代的一场军备竞赛：谁能在这波狂热里把用户留住，谁就能攥住更多真实的长任务数据。

（图源：Claude Code官方文档） 所谓自主智能体，本质上就是这么一个圈。

7、布朗尼：我不知道我爹会去哪里，如果去勇士那太疯狂了

Demo 中，Oli 调用了「边走边弯腰边伸手」的技能，同时把意图变成底盘、躯干、头部、双臂、双手协同的「全身动作块」，再透过 S0 落到真实身体上。

接下来，向木屋前方一空地走去，长按左键「啵」一声，草方块碎了。

8、2026年全国U21青年篮球锦标赛女子组预赛在国信篮球训练基地圆满落幕

她或许不叫这个名字，不裹头巾，不谈信仰。

第一个月结束：2 个市场完成测试，产出 80 余条素材，触达 500 余位海外达人，促成 20 余次内容合作，实现万元美金 GMV。

用他自己的话说，「在LLM出现之前，一个人在奥克兰狭小的公寓里，一年写出Bun」。

好在，国内「内卷」的供应链，既是挑战，也是助推器。