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

1、米6体育 它接入了一个叫Learning Commons的系统，拿到全美50个州的学术标准，以及每条标准底下更细的能力点、学生通常的学习顺序。

他认为大模型本质上是静态权重的token生成器，做数学的时候，不会像人一样实时长出新的神经连接。米6体育其中C+轮由阿里巴巴领投，Lollapalooza Capital（王慧文家办）、常春藤资本、惠远资本、钟鼎资本、韩国未来资产、OCBC生态下Lion X基金、蓝色光标等十余家国内外机构参与投资。

2、全新法系SUV上市，13.18万起很亲民，外观豪华，搭载1.6T+爱信8AT

第一个是零部件。

3、大爷开空调冠心病发作？医生怒斥：人过60吹空调一定要注意6点

数据是学习养料。

4、一条人命两千条蛇！广西横州洪灾背后，谁该为失控的养殖场负责？

无论你是科研人员、在校生、在职人员，还是已经启动项目的创业者，只要具备一定技术或项目基础，希望推动科研成果、算法方案或比赛项目走向产品验证和公司化，都可以提交申请。

5、医疗系统临聘人员全部清退？卫健局回应！

一家把AI用到自己血肉里的公司，再回头讲AI落地，分量自然不一样。

这是奇迹。

道理不难懂。

6、【设备介绍】神奇的大脑调节器——重复经颅磁刺激治疗

视觉Token压缩，本质是做精准的「减法」。

以前那种先研究、再动手、边做边自我推翻的劲儿，没了。

7、卡塞米罗被官宣加盟迈阿密国际！他说自己想跟梅西当队友！

一个助理，一个闭环，一个上下文 懂你之后，还得能干活。

工信部联合国务院国资委启动《2026年度人形机器人与具身智能实景实训专项行动》，明确九大重点场景：生产制造、检测分析、维修维护、仓储物流、配送零售、医疗康养、安全生产、应急救援、防灾减灾。

8、夏日生态美景已上线！约吗？位置就在→

比如，让工程师做网页却不给浏览器，页面能好看吗？给了浏览器，他每改一版都能当场看到效果，反复调到满意才交。

第四届大赛共吸引来自32个国家和地区的17977名选手报名，参赛群体涵盖清华、复旦、中国科大、南洋理工等知名高校学生，以及中核集团、国家电投、腾讯等领军企业及众多创新企业的研发人员。

知识库解决的是「系统知道什么」，但企业认知系统还必须回答： 系统应该在什么条件下使用这些知识？ 应该调用哪些技能？ 应该采取什么行动？ 什么结果才算成功？ 失败应该归因于知识、技能、计划、执行还是环境？ 学习以后，系统应该修改哪一部分？ 因此，认知主权比数据主权更深一层。

9、决赛重演？FIFA希望阿根廷西班牙欧美杯继续进行 或定在11月

用单点参数的领先去击穿物理世界的复杂性，本身就存在风险。

上午9点，该团队照常开工。

10、春秋航空：接受批评，全面整改；此前国航、南航、东航、海航、厦航、吉祥航空、春秋航空等被约谈

这样，你在游戏里每操作一次，触发的不是一段预先录好的动画，而是一个新的世界状态。

想让它少来回几趟，就把你平时手动检查的步骤，写进一个SKILL.md文件，让AI自己验收。

1、“这件衣服”今年夏天越来越流行！简单穿就很好看

各家底层模型的差距，正在被压缩到以「周」计算。

2、肠癌治疗新希望：确诊后不一定马上开刀？这类患者或可“保肠”

2.0 真正在建的基础设施是 Skill Market（技能商店）。

3、奇景！比利时落后闹内讧：对手都来劝架 转头两人联袂绝平

备案解决了合规问题，但从备案到产品落地之间，还有版本适配、功能裁剪、模型调优等工程环节要走完。餐谋长推理是壁垒最深的一层，自研搞定，背后是独家的领域知识； 理解是正在攻克的方向，做帧级视频分析——「2 秒 65 这一帧，10 个客户的用户都在这里划走了，素材问题出在哪儿了」； 生成则主要接入外部能力（如字节 Seedance），钛动在上面做范式和二次加工——分镜、剪辑、高光帧拼接，最终拼成可投放的广告素材。

4、伊朗称对驻科威特美军基地发动新一轮无人机袭击

一个在后台空转刷榜的Token，和一个跑通了工业质检、写出了产品代码、追踪了一次病情的Token，账面一样，价值却天差地别。

5、步步皆景 时时有戏——媒体采风团提前探秘“海上仙山”

https://www.tec-do.com/news/299 创始人兼 CEO 李述昊给公司取了两个词拼成的名字——Tec-Do（用技术做生意），后面挂着版本号 2.0，含义是「像做产品一样做公司」（Develop Company as Product）——Tec-Do 2.0。

6、家长必看！黑龙江疾控发布暑期防病提醒，诺如、手足口病这样防

主要结果：效果与隐蔽性兼得 在两个模型、四类目标上，BadDLM的ASR均显著领先所有基线（LLaDA上四类目标ASR达91.2%–94.8%，Dream上达90.5%–94.1%），同时MMLU等效用基本无损（与良性模型相差约0.1–0.2个百分点）。

负5小时，被翻译成了一整天。

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

7、阿邦拉霍：埃梅里上赛季尝试改造桑乔没成功，现在轮到加纳乔

万拿机器人将继续围绕微型伺服电缸、仿生多自由度灵巧手及灵巧操作场景解决方案，构建机器人的执行能力，推动机器人从「能展示」走向「能操作、能交付」。

当Dobriban与Fithian复核确认，并将配套代码（dobriban/BH）挂上 GitHub 时，一切都尘埃落定了：这不是大模型的幻觉，而是铁打的真理。

8、学术探讨｜数字时代高校法学教育数字化转型发展探索

几乎同时，另一组截图也开始传：Codex客户端里用户实际能用的上下文，从约372k退回了272k。

第一步，先想清楚要找什么，再动手找。

仅凭观察神经活动来理解模型的话语，就如同仅凭观察一个人的脑电活动来理解他所说的话——我们或许能捕捉到神经关联，却未曾触及话语的意义本身。

而WAM-TTT之所以能被称为新范式，是因为它在测试部署阶段（Test-Time），实现了三大史无前例的底层突破： 数据采集：部署只需人类数据 过去，你要让机器人适应新环境，就必须喂给它「机器人轨迹数据」。