这也不是AI孤立的毛病。

1、bobapp 过去一年，这个领域最热闹的是视频生成，比谁的画面更逼真、更长、更一致。

」 更讽刺的是，2018年，当张益唐因孪生素数猜想成名后，莫宗坚专门补充了一版「回忆录」，进一步加强对张的指责，却依旧淡化自己的责任。bobapp沙盒本就是用来挡住GPT-6，不让它碰外网的。

2、中国数学等了90年，王虹、邓煜同时摘下菲尔兹奖

解决方案 纳德拉和Karp的判断都非常重要，但他们的论述主要是在解释问题： 纳德拉提出，企业应当拥有自己的 Token Capital 和学习闭环； 纳德拉进一步指出，企业面临反向信息悖论； Karp 警告企业，不要把自己的 Alpha 交给外部模型公司； Palantir 强调数据控制、模型控制、路由控制和主权 AI。

3、看巴西1-2认清5个事实，哈兰德预定金靴，巴西冠军相全无难再夺冠

现场没有任何遥控操作，也没有穿戴动捕设备。

4、损失惨重！伊朗宣布突袭叙利亚美军指挥中心，称造成大量美军伤亡

这类项目常常不是「想不到」，而是「做不起」。

5、OPPO迎双变化：realme挥别国内市场，OPPO明年阔直板新机曝光！

1991年，《数学年刊》（Annals of Mathematics）上登出过一篇44页的论文。

报道指出，当工程师们试图使用内部AI工具时，频繁遭遇算力容量限制。

回怼来得也很快。

6、地平线收入增长超预期 预计收入达19.3亿元至20.8亿元

任何一个学过大学微积分的大一新生，都可以通过求偏导，算出这个三元多项式的雅可比行列式恒等于-2。

这份证据，到现在还是缺席的。

7、王少杰离队！杜锋丢失3个中锋？广东内线无人，朱芳雨仅剩1个办法

敢押佛得角的底气，藏在基座里 看到这你可能要问了，既能押中黑马，又能完成巨幅战报图，靠得是什么能力？ 答案就藏在它背后的商汤日日新SenseNova大模型体系和集成其能力的的Skills。

在这条跑道上，27000套已经跑完的路程，就是最好的简历。

8、24K含金量，王星昊局局领先LG杯2-1申旻埈夺冠，中国围棋锐度提升

房子有了，还得有家具；硬件有了，还需要软件。

Mollick尖锐地指出，谷歌如今的挫折，完美复刻了此前Meta Llama 4和xAI Grok 4所经历的痛苦。

普通人的生活将被如何重构 能写4229行严格证明的模型，手里握着的不只是解数学题的能力。

9、亚运会女足抽签：中国队与菲律宾、乌兹别克斯坦、中国香港队同组

人可以结合路口结构、当前朝向和道路形态，自然判断下一步应该从哪里经过。

大型迁移特别适合喂给AI，原因很朴素—— 活儿天然是并行的，几千个文件能同时开工； 旧代码本身就是最好的规范； 测试套件是现成的裁判； 编译或测试一失败，下一个待办自己就冒出来。

10、港交所上市新规今起生效：门槛降低、WVR放宽、保密递表扩围

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

参考资料： https://www.youtube.com/watch?v=F_7M4Hc-usM https://x.com/hesamation/status/2073884828861071557 https://x.com/ryanbrewer/status/2073812031988535760 编辑：元宇新智元报道 困扰统计学界整整20年的核心悬案，被AI击碎了。

1、瞬息万变，看着要赢的输了要输的赢了，国羽2名男单 新锐一胜一负

把活跃用户数摞在一起看：2月，Codex还不到100万；7月12日600万，14日800万，到16日，Codex和ChatGPT Work合计突破900万。

2、2500万常住人口的超大城市，如何“把最好的资源留给人民”？

拥有115个自由度的全尺寸人形机器人KAIBot，正自主迈步走到观众面前。

3、上海男篮3比0！拿到冠军点，张镇麟23分9篮板，弗格爆发

一个名为「Basalt Labs」的神秘中国AI实验室，忽然空降。外援扩容绝非中超出路：严控外援规模，才是本土足球崛起的关键太令人唏嘘了。

4、3场贡献2球1助攻，红狮后卫姜凯华当选中乙6月最佳青年球员

在DeepSWE这类编码基准上，最高能省下65%。

5、千滚水、隔夜水到底能喝吗？真相来了！

这是Claude Code之父Boris Cherny，前段时间在一场面向开发者的公开对谈上亲口说的。

6、“体重管理年”收官之际，京东健康第三期减重大赛升级启动：不挑秤、送CGM、赢千元奖金

它要真正规模化落地，卡在三件事上：跑得稳、用得起、可持续。

ChatGPT什么都能生成，可是你写过的稿、讨论过的代码、生成过的图、囤过的资料，随着对话越堆越多，「翻记录」越来越像大海捞针，侧边栏拉到手酸，也未必找得到三周前那次关键讨论。

两个人手里攥着同一份商业计划书，跑去问Claude这事到底靠不靠谱。

7、特斯拉Cybercab在美提交EPA文件 成品牌最轻最节能车型

沙盒本就是用来挡住GPT-6，不让它碰外网的。

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

8、詹姆斯确定离队！湖人连走4人，补进2名射手

a、c为成功率；b、d为mean max_dist几何误差。

这2000万条，只占它已留存日志的0.5%，后者的量级是「数百亿条」。

」下一秒，画面里的疯批暴君就真的给你表演了一个眼神开车。

刚开源的SenseNova-Vision已经露了苗头。