完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。

1、TK体育 这让人想起几个月前，Anthropic CEO达里奥的「凡尔赛」。

这是对AI怀疑论的重重一击：事实之下，谁还认为AI无法或者不会做出科学发现？ 谁能想象5年后AI会发展到何种地步？ 物理教授卡了半年 Claude一夜解开「弦论」难题 半年了，研究毫无进展。TK体育对于正在把智能体塞进企业流程、科研自动化、代码流水线的所有人来说，安全风险的方向正在悄悄改变： 从「这个模型输出安全吗」，变成「这个拿到了权限的智能体，会不会背着我动手」。

2、LessWrong新方法用ELO评分法评估AI红蓝队能力，已在LinuxArena实证

T是黑板上所有数的素因子个数之和（重复计），N是大于1的数的个数。

3、2026年全国青少年航天创新大赛黑龙江赛区选拔赛顺利收官

机器人由此从「生成一个逼真的虚拟未来」，转向「预判自己这一下会对世界造成什么影响」。

4、0-5！伊拉克惨败塞内加尔0分出局 但真正绝望的是韩国队

行善现场，破绽百出 但纸终究包不住火。

5、2026世界杯之“最”：评分王梅西，射门王姆巴佩，过人王亚马尔

7月10号上海用电紧张的时候，国网发出需求响应，商汤临港数据中心两小时内释放了75%的容量，少用了4.6万度电。

乒乓球桌只是展台的一角。

把花名册、诊断成绩、考勤、随手记的笔记一股脑丢给它，它替你拼出每个学生现在站在哪儿：谁掉队了、哪个知识点全班都没懂。

6、季后赛命中率榜，火箭新射手倒数第3！休赛期签1人，提升投射短板

分析发现，两张图都带着ChatGPT的SynthID隐形水印——彻头彻尾的AI生成。

这是一种研发顺序的变化：先验证需求，再扩大生产；先让创意接受市场检验，再决定重资产投入。

7、因网络验证无法加载原文内容，稿件未能生成_网易订阅

官方随手举了几个例子：PR走查、系统说明页、能筛选能排序的Dashboard、会自己勾选的发布检查清单。

你给它一个目标，比如「/tests/下所有单测通过、lint干净」，它每干完一步，就有一个独立的小模型来判一次：到了没？没到，接着干；到了，停。

8、小红书官宣获得世界杯版权 向“足球及体育爱好者发出邀请函”

这家神秘机构仿佛在对全世界宣告：旧时代的王座已经崩塌，新神已经降临。

CEO喻杰博士，师从计算机视觉权威田齐教授和罗杰波教授。

智能体会陷入一种「看似有进展、实则原地打转」的死循环：反复去改同一个文件，却始终跑不出一个新的通过测试。

9、壹点漫评

数据主权解决的是信息存放权。

另一套，是它自己攒的「离线题库」。

10、大山里走出来的23岁博士研究生，确诊胃癌晚期

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

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

1、正式官宣！前国安主帅下课，5轮不胜被炒，去年率队夺足协杯冠军

horizon reward只在组内出现成功轨迹时激活，避免模型在失败情况下盲目追求更长的chunk长度。

2、勇士队库里想在高尔夫球场挑战的名人，其中包括勒布朗·詹姆斯

对p=3，v₃(12) = 1，v₃(18) = 2，gcd = 1，贡献3¹。

3、4强球队诞生！阿根廷3-1淘汰10人瑞士！今年世界杯半决赛对阵出炉

它带来的改变是革命性的—— 同功率下，体积和重量减少1/3；扭矩密度达到20Nm/kg，较传统电机提升近4倍；功率密度达10kW/kg，提升近3倍；系统转换效率高达97.5%。本周五晚，一起为湘超株洲队应援助力！首先是布置。

4、埃及前锋：梅西在我心里排在C罗之后；80分钟感觉不到他存在

但那些普通人的脸，才是最让人印象深刻的。

5、弄巧成拙！瑞士前锋跳水骗黄未果反染红 球队努力被他无情葬送

于是衡量算力的标准，从峰值算力转向任务完成效率，而Token则成了智能体时代算力价值的新「货币」。

6、受天气影响！开封市多家文博场馆今日临时闭馆

结果比跑分刺激多了。

钛动做第一个，OpenAI 做第二个。

还有多少题目，卡住它们的其实只是人类的耐心？ 参考资料： https://annals.math.princeton.edu/1991/134-3/p03 https://www.erdosproblems.com/forum/thread/AI%20Contributions https://arcprize.org/results/openai-gpt-5-6-sol 编辑：元宇新智元报道 凌晨两点，城市睡着了，前置仓还醒着。

7、独一档！曝曼联成唯一能签世界第一巨星的球队，今夏重磅翻盘

参考资料： 编辑：新智元报道 商业地图可以告诉机器人「前方右转」，却无法直接告诉它眼前应该从哪里转、沿哪一侧通过；即使已经生成路线，控制误差、地面变化和动态障碍，也可能让机器人在行进过程中逐渐偏离。

领投方是恒旭资本，跟投方包括南京创投、新四军基金，A股上市公司东睦股份作为战略股东深度参与。

8、孝感市节约用电全民同行倡议书

头部企业已经通过出题尝到甜头了，这是为你画好的答卷框。

在接到需求之后，U1 Pro会先想版式、打草图，然后还会回头审一遍对不对味，再一块块填细节，最后统一调色、精修。

所有处理在本地完成，数据不上传云端，隐私有保障——代价是，精度。

研究院希望携手上智院等各方以大赛发现人才和成果，以孵化营推动验证与成长，以产业和资本承接长期价值，培育一批面向世界科技前沿、服务国家战略需求、具有未来产业引领能力的科创种子，让科学创新的「奇思」成为强国未来的「底气」。