卡了半年的弦论难题，Claude一夜解开！网友惊呼：人类迈入全新的科学时代。

专访爱马仕钟表创意总监Philippe Delhotal，让时间成为一场精彩的演出

71944 ★

摘要：7 家过审，苹果迟到两年苹果不是一个人通过备案的。

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

1、博鱼下载这次三连弹只是前菜，但压轴的那句官宣，才是真正的重头戏。

当然，这不是「国内第一次谈代码安全」，也不是「国内首个AI安全大模型」。博鱼下载这家公司用自己的节奏，走出一条独特的端侧AGI之路。

2、关于中国女足今天下午亚运会分组抽签结果的几个问答

订阅一个模型，更像是买了一只灯泡：型号是固定的，但亮度旋钮，一直握在平台手里。

3、五小时史诗鏖战让阿利亚西姆读懂德约的伟大，看清自己的成长

题目来自humanize，一个真实的Python开源库。

4、这块操场，如何改变68万乡村儿童的童年？

谷歌传递的信号再清晰不过，AI这场终极牌局，好戏才刚刚开始。

5、CBA最新消息！广东宏远新主帅确定，超级外援加盟浙江男篮

表征二：「手脚并用」一个合格的具身智能体不仅要能「走出去」，还要能「能干活」，移动操作是通用机器人迈向真实物理世界的关键能力。

诺兰本人则压根不接招。

为什么？答案藏在素因子里。

6、全明星史上最大遗珠！过去六周的联盟第一人被詹姆斯挤掉？

五角大楼的「霸王条款」 Turner的愤怒，源于真实的事件。

随着AI顶会投稿规模持续增长，同行评审面临的压力仍在不断增加。

7、身高3米、全球首秀！宇树巨型机甲明日空降成都春熙路，机器人街头争霸赛同步开打

他相信，语言的「GPT时刻」2022年底就到了，视觉的那一刻还没来，而NEO-Unify，就是想给它先搭好地基。

那只拥有37个自由度的灵巧手KAI Hand，也在被厚木板猛砸。

8、世界杯F组大结局：日本战平瑞典携手出线将战巴西，荷兰锁定第1

AxiomProver也独立斩获了满分。

接下这个活儿的，没有一位人类。

主题是，驱动物理AI从理解到执行。

9、中国最难搞的市场，被这家酒店给整明白了

结果，一些Claude模型开始为了保护它们认同的行为，故意打错标签。

灵巧手KAI Hand同样遵循这套极致拟人的逻辑。

10、朱芳雨赌对了！克里斯被曝惨遭山东队放弃，加盟广东队成首选？

而这一次，变了。

此外，「模速空间」大模型创新生态社区、上海漕河泾新兴技术开发区及上海青浦国科创智经济发展（集团）有限公司，还将联合为大赛优秀项目提供产业孵化园区场地支持，助力团队就地落地发展。

1、晋级夏联半决赛！灰熊首节狂轰32-2吊打老鹰探花24+7华裔20分

PhyAI面向VLA（视觉-语言-动作）模型与世界模型（WAM），榨干硬件潜力—— 与模型官方仓库相比，PhyAI在NVIDIA GeForce RTX 5090上运行π0、π0.5和GR00T时，分别实现了约2.85倍、1.82倍和2.28倍加速；GR00T在NVIDIA Thor和RTX PRO 6000上也分别实现约1.40倍和4.31倍加速。

2、C罗前厨师大揭秘：长寿饮食秘诀竟如此简单！

这个过程叫巩固，而巩固在做的事，说白了就是压缩。

3、记者：悼念基冈，纽卡与盖茨黑德友谊赛前举行一分钟默哀

」大反转：对不起，我们编的就在质疑声浪达到顶峰时，Basalt Labs发了一条简短声明：「实验已结束。共探健身产业「深海远航」，2026中国体博会健身产业交流大会圆满落幕这已经比早期「购买大模型、部署Copilot、提高员工效率」的叙事向前走了一大步。

4、金地玖峯禧首批次盛大交付

场景建设上，场景方让技术团队进场实现自动上下料与周转。

5、老兵带新：NASA为何在Artemis II任务中再次信赖尼康？

这一类，后面单独说。

6、马克龙打电话祝贺中国数学家王虹获奖：真了不起！

WAIC的这15个小时，就是这句话的第一次公开预演：没有剧本、没有遥控，6台机器人在真实世界里协作、纠错、坚持到底。

相较于SFT，这种解耦方式不仅完美保留了预训练的通用泛化性，更实现了真正的零遗忘。

因此，ChatGPT能翻到的，还只是你亲手交给它的那部分。