最近，GPT-5.6仅用1小时攻破50年数学难题！64个AI摘下图论皇冠；卡了半年的弦论难题，Claude一夜解开！东大教授惊到删推。

1、b体育官网 于是，衡量算力的那把尺子，也换掉了计量单位。

暂停时行星表面自转也得停，倒放时要反向回退。b体育官网公司名字挂版本号，是李述昊希望像做产品一样做公司。

2、循千年普洱茶香，来茶马古道奔赴古今之约

过去AI办公工具最多做到「生成一段文字」，属于参谋型。

3、小鱼盈通(00139.HK)拟9534.7万港元出售民银资本2.9%股份

它完全依靠纯粹的自主决策。

4、《黑旗》重制版两周350万份 超过育碧全年销量预期

AI 系统恰恰能够从这些交互中提取这些隐性的认知资产。

5、上海顶豪新标杆：同时“靠江+靠公园”的住宅，究竟有多稀缺？

60个由医生设计、覆盖21个专科的临床场景，总共960次交互。

在基金会官网最不起眼的角落，藏着一句自白：它根本不是一家慈善机构。

从繁华长卷到商业广告，从科普卡片到电影海报，同一个模型，一口气全包了。

6、足疗店也要上市了！华夏良子，一年给5000万人按脚

COSA 由三层架构组成——System 2 是认知层、System 1 是技能层、System 0 是运控层，三层协同，把认知、记忆、调度、技能与全身运控组织成一个整体，是真正跑在物理世界里的智能系统。

宣传里的性能，和现场跑出来的体验，是两个世界。

7、152㎡大平层：穹顶之下，无界共生，这设计太绝了！

脑洞很上头，制作表却很劝退。

用徐立的话说：不需要你有更多的编辑、理解和生成能力，只要把意图充分表达，AI就可以给到你可交付的内容。

8、北师大47岁博导张锦水去世，学生披露原因：在楼梯上摔倒

唱衰派以用户qrdl为代表，「5.6的思维链输出少得可怜，677那道题毫无进展，物理侧的CritPT评测相比5.4几乎没动」。

剩下20%的深度问题，则会再转交对应的垂类智能体。

一个87年的猜想，就这样被AI「随手」破解了。

9、中国男篮14人大名单呼之欲出，6后卫5前锋3中锋配置，赵继伟、王俊杰、胡金秋、庞峥麟、崔永熙领衔_网易订阅

依托上海市科学智能创新生态及四年办赛积累，上智院、上海祖泉创新转化研究院（下称「祖泉研究院」）、上海未来产业基金、上海未来启点社区联合发起的世界科学智能大赛OPC创业孵化营在会上同步发布并启动申报，推动打通赛事竞技、技术迭代、产业试点、单人科创创业全流程，为科学智能领域青年创新项目搭建可持续落地的发展载体。

DeepSeek V4「满血版」 终于要来了 大家最关心的想必是，如何知道自己，有没有被灰度到？ 博主AiBattle给出了一个民间「验货口诀」：看思维链（CoT）的第一人称。

10、上海全队加练三分！明日启程前往北京，崔晓龙或进入12人大名单

本次论坛上，商汤给出了一个听起来有点反常识的答案：不造更强的卡，而是把比赛拆开，让不同的卡接力跑。

GPT-5.6 Sol Ultra的强大之处，在于它扩大了并行的TTC。

1、终于来了！广东队撤下杜锋主帅位置，新主教练正式曝光！

几天前，一个从没露过面的代号「Claude Honeycomb」，在Cursor的模型列表里一闪而过，几个小时后被悄悄撤下。

2、上海交大ChemReason-Bench揭示AI「做实验」的逻辑短板

信息安全机构Veracode发现：过去两年，模型的语法正确率从约50%提升到95%以上，但安全通过率始终徘徊在45%～55% 去年年末，GitLab调查了3266名DevSecOps从业者，73%遇到过Vibe Coding代码带来的问题；76%表示更多合规问题是在部署后，而不是开发过程中发现。

3、卡塞米罗再次钦点一人接班，曼联买吗？官网更新名单证实后腰急缺

参考资料： https://x.com/thsottiaux/status/2076495156757577895 https://x.com/FixlationAI/status/2076469274441380349 https://www.reddit.com/r/codex/comments/1uuy5eq/nerfed_codex_sol_max/ 编辑：元宇新智元报道 【新智元导读】刚刚，AI编程圈干了一件狠事。相伴36载离婚12年，徐克施南生半生纠葛终遗憾https://turntrout.com/red-line-framework 不仅如此，特纳还在谷歌内部发起请愿，成功收集了约250名GDM和谷歌研究部门员工的签名。

4、不管奥德赛评价如何，查理兹·塞隆都赢了！

Claude Code官方给想设计循环的人们留了个简单的起点： 去看你自己每天都在干的活，挑其中一个瓶颈环节，然后问自己3个问题： 验证：那道验证检查，我能不能替它写出来？ 目标：目标描述够不够清楚？ 节奏：活儿是不是按固定节奏出现的？ 只要有一个答案是肯定的，你就找到了第一个可以交出去的循环。

5、世界杯争冠格局深度解读！西班牙绑定亚马尔，葡萄牙陷C罗难题

换句话说，未来企业竞争的，不再只是模型能力，而是AI运营能力。

6、暑期出游丨被年轻人的“旅行智慧”惊艳了，不花啥钱，轻松出游！

这正是「不知道用什么就直接说需求」的机制在真实科研里的落地。

他还是相信雅可比猜想的正确性，甚至觉得AI会在不久之后帮助解决证明过程中的逻辑问题。

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

7、华勤技术(03296.HK)增持晶合集成至11.03% 涉资约9090万港元

他转发了这段短片，紧跟着甩出一句话： 「在今年结束之前，Grok Imagine将制作一部全长电影版《奥德赛》——历史准确、忠于荷马的艺术。

LongMemEval基准（多会话交互记忆测试）：HMS-self-evolve以92.8%的总体准确率登顶，此前最强的Hindsight是88.8%。

8、被嘲！降薪近5000万！？大可不必！！

WAIC看完风向，GDPS来出结果——面向全球启动赛队征集！ 现在扫码 · GDPS赛队征集 参赛即路演，获奖即融资。

最后一个镜头——漆黑的海面上，什么都没有了。

特纳以为，整个AI学术界终于要站在一起，给谷歌和五角大楼施加舆论压力了。

快穿最迷人的地方，恰恰也是它最难被立项的原因：世界越多，意味着要重做的角色、服装、场景、动作和叙事资产也越多。