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

1、博亚平台 它能把Claude Code一次会话的成果，直接变成一个实时、可分享的网页，链接常驻，随时打开。

参考资料： https://www.anthropic.com/news/claude-for-teachers https://www.reuters.com/technology/norway-imposes-near-ban-ai-elementary-school-2026-06-19/ https://www.reddit.com/r/ClaudeAI/comments/1uwbic2/new_launch_claude_for_teachers/?utm_source=chatgpt.com https://www.rand.org/pubs/research_reports/RRA1108-16.html 编辑：元宇新智元报道 全网等了快三个月！ DeepSeek V4正式版，可能最早明日发布，最迟不过这几天。博亚平台https://x.com/markgurman/status/2038701276699967554 那次短暂上线的实测结果可以用两个词概括：快，但糙。

2、摩根大通：将雷神科技(RTX.N)目标价从215美元上调至240美元。

这家公司用自己的节奏，走出一条独特的端侧AGI之路。

3、上新

Chloe在公共浴场被金属刮刀刮了皮肤（这是古罗马人的清洁方式），吃了一勺发酵鱼酱。

4、报告显示：上半年餐饮消费市场大盘稳固假期拉动作用显著

ABot-M0.5在LIBERO、Robo-Twin等4项权威基准中均取得SOTA 表征三：「过目不忘」 在具备了优秀的四肢能力后，机器人在真实且复杂环境中，还需要一个完整的机器人操作系统，来统一进行决策和能力调配。

5、中日之战明日打响，渡边:以我们的实力完全可以赢

Opus 4.6，是那个干活的。

做加法，比一上来堆满再删容易。

这套「生产系统」，其实已经有了名字：Token Factory。

6、齐不败！美国狂飙墨西哥稳守加拿大破零，东道主格局改世界杯秩序

资本为何押注？ AI视频是下一个万亿入口 就在同时，爱诗科技也宣布完成整体C轮融资，累计融资29.8亿元人民币。

今年的WAIC，含金量可谓空前。

7、进博溢出效应再结“硕果”：第九届进博会倒计时百天将近，全球首创罕见病药在沪正式应用

每次Claude想停，一个评估器模型就来对照你的标准，没达标就打回去接着干，直到目标达成，或者用光你设定的轮数。

以后，你说两句，AI当场就生成工具，还直接连着你自己的数据。

8、陈妍希姐姐到场追星张凌赫，称“得了一种见了张凌赫就会好的病”

而且桌面端设置非常简单，只需要3步： 1、打开Qoder，点击左上角用户设置，选择Qoder设置。

Anthropic显然要绕开这片雷区：我不碰学生，我只武装老师。

那两名负责人直接对特纳的消息「已读不回」。

9、真心建议：不要把快递带回家里拆

（图源：Claude官方博客） 人逐轮控制，你写一句，AI跑一轮，检查完再写下一句，全程你握着方向盘。

他说行，顺手发我Slack上。

10、世界杯神奇一幕：55万人口小国创造历史，西班牙27次射门0进球

这是极度反直觉的智力高空走钢丝。

因此，AtomWorld提醒我们重新理解Scaling Law在科学场景中的适用范围：基于网络文本语料的Language Scaling依然重要，但它只是起点。

1、欧洲人带狗上班有多泛滥

这样的进化能力更类似于人类成长的节奏，在一个人中学阶段学习的是一元二次方程，大学阶段掌握的则是微积分。

2、疯狂2-0！亚马尔造点，西班牙完胜法国，16年后再进世界杯决赛

中文 ——严谨+0.05σ，标志性行为第二条是「驳斥你的错误前提」。

3、无缘23分大逆转！山东男篮客场惜败天津，于德豪两个三分难救主

采用混合Transformer架构与共享混合注意力机制，把视觉观测、语言指令、力触状态、策略轨迹这些五花八门的具身数据，全压进一个统一隐空间，变成高密度表征向量。上海这幕刷屏！18岁男生为爷爷"手搓"APP，专门提醒这件事！网友：最好的孝心是让他们跟上时代方法会根据近期稳定latent的变化程度自适应调整：局部动态较大时缩短时间窗口，减少冗余历史；变化较平稳时保留更多上下文，增强连续性。

4、上新

接着，工作人员走上典型的无网环境电梯——这几乎相当于直接拔掉了机器狗身上的网卡，没有Wi-Fi。

5、67岁安帅玩脱了！巴西出局：世界杯夺冠铁律 百年无人能打破

指尖力量突破30牛顿。

6、Codex协助「改写」黑洞模拟，OpenAI讲述如何扩展科学边界

同一个荷马，同一部史诗。

在同一提示词下，究竟谁的成图更胜一筹？话不多说，直接看效果。

也就是说，两个人打开同一个看板，会因为各自账号能碰到的数据不同，看到不一样的东西。

7、转会（里尔）：费拉和拉古贝尔即将离队

四者彼此咬合，才能构成一个「越跑越强」的体系——而这，恰恰是单点突破玩家很难复制的。

所以未来的赢家，未必是拥有最多GPU的公司，而更可能是那家最懂得怎么把不同芯片、不同电价、不同模型和不同任务，组织成一条高效生产线的公司。

8、南方40℃+，哈尔滨盖被睡丨“候鸟老人”扎堆北上冰城避暑，一天100元包吃住

在特纳的反复追问下，他们敷衍地表示：「评估需要几个月的时间」。

这一视角的转换将可解释性从一项近乎不可能完成的技术挑战，转化为一项可通过工程手段持续逼近的治理目标——它要求我们不再执着于让模型变得完全透明，而是致力于让模型在现实世界中产生的影响变得可理解、可追溯、可问责。

Claude Code生成的Artifact，能直接连上真实的工具和数据环境，读到活的数据。

最后，机器狗和工作人员一起做电梯，达到另一个软网环境：地下车库。