对于整个行业来说，这或许是一件好事。

明确首个行业静音标准 TATA木门助力“好房子”建设提质升级

17867 ★

摘要：（图源：Stanford Online」三年半前ChatGPT刚上线，当时的奥特曼认为，学生会先作弊一年，然后整个教育系统被逼着自我重构，教出比过去更会思考的人。

两条曲线撞在一起，一个被集体忽略的问题浮现——智能体，到底该跑在什么芯片上？答案有多炸裂？发布会现场，一台办公桌大小的机器被抬上台——AGX Station。

1、高比体育就这样，广义上的雅可比猜想，被彻底证伪。

把这一路串起来看，正是同一个理解、生成、行动原生统一的基座，靠着越拉越长的Loop，向上长出数字世界的设计交付，向外走进物理世界的工业现场，向下把产业级的生产力，递到每一个普通人的手里。高比体育声音很大，账算不平。

2、月收益60%、100%中签新股？假券商、假员工、假App——荐股骗局全流程曝光

跑起来之后，基本不用管。

3、虽败犹荣！日本U17女篮止步八强核心空砍32分难救主

在开发复古游戏上，据网友实测，Kimi K3以一半的成本击败了Opus 4.8。

4、日本菲律宾既然搞事，现在就受着吧！

从π0一路到π0.7，PI要让一个模型看懂同一堆数据里的不同意图和质量。

5、最疯狂四巨头真要到来？勇士将成最受瞩目球队新赛季能争冠？

毕竟，谁会拿这种事撒谎？但独立AI安全研究者@cereblab偏不信。

想推给客户的产品，一定是自己先足够深、足够广地用过。

实验证明，BadDLM在四类多样化目标上均能取得强攻击效果，同时基本保持良性效用，并对面向AR后门设计的防御具有鲁棒性。

6、跨越105年的回响！“精神回响——伟大建党精神的上海答卷”宣讲舞台剧举行首演

新智元报道又送了！就在刚刚，Codex与ChatGPT Work的活跃用户大军，合体突破800万大关。

听上去简单，切片、上传、拼回去。

7、88%的AI代理项目未能投产，这五个概念是工程师的必修课

但这一次，人类连最后那10%的戏份都没了。

于是，一个强大的数据飞轮跑通了。

8、高300米！重庆曾有“魔方大楼”方案，遗憾没建成

起初是怀疑，然后是试探，然后是某个临界点之后的全面爆发。

原因有些反直觉：脚本藏在一个外表正经的技能里，越是「听话」、越擅长跟随指令的模型，越愿意照用户的要求把它运行起来。

前沿AI框架与新时代的破晓这是人类历史上一个关键的时刻。

9、爆冷！瓜迪奥拉曼城生涯最后一战，6万多球迷见证，曼城惨遭逆转

一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文：大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

国外的开源推理引擎（如vLLM等）是原生为英伟达生态设计的。

10、皇马准备出售23岁中卫：身价2000万沦为边缘人穆帅不想要他

/goal奔着终点跑，到了自己停；/loop按点反复跑，直到你喊停。

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

1、美网入围名单公布：中国选手4人锁定参赛资格，郑钦文列递补第22位

回头看今年4月，GPT-5.4 Pro在80分钟里解掉了Erdős 1196，用的是von Mangoldt函数。

2、宏远早报！新老总正式上任，徐杰交易新消息，周鹏回归当助教

届时，前沿模型必须通过评估，方可在美国市场部署。

3、在瑞士雪山下，和爱彼女总裁看新表！2100万怀表有多炸？

此芯并非孤军奋战。泰山惨败大连！彭啸背锅太冤，韩鹏下课无门，球队烂到根上了！画面中足足塞进了五十多号人物，最绝的是完全没有AI常见的「复制粘贴」敷衍感。

4、世界杯黑马佛得角：河北人开超市，温州人当老板

他们将IMO 2026的全部6道考题，逐字逐句翻译成了机器能够理解的Lean 4形式化题面。