参考资料： 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编程圈干了一件狠事。

1、乐鱼体育 一个用图表证明自己更划算，一个直接把闸门开大让你自己试。

即便是拼错了，它也会自己纠正，让整个过程完成一个闭环。乐鱼体育第二，要两边最强的版本。

2、上半年全国营业性演出票房收入超304亿元

Kimi K3：381分钟，四轮，满分。

3、奈雪五年修成仙股：上市首日19.8港元如今0.62，持400万股股东当面问"发一块钱行不行"

未来尚未写就 AGI有潜力成为推动科学与医学进步的终极工具，并带来巨大的生产力跃升与经济增长。

4、七场球定格成七个瞬间！阿根廷超额兑现了诺言！

因为AI低质代码泛滥，matplotlib立了条规矩：新代码必须有真人讲得清改动。

5、资深演员王侃去世

这次「星火Token Factory」补上的，正是这块地基。

所以商汤这几年在底层做了海量的脏活累活——编译器、算子、网络、缓存、调度、容错，一层一层地打通。

数学史上那些标着「悬而未决」的条目，一部分记录的是问题本身的难度，另一部分记录的只是人类耐心的边界。

6、阿根廷0-1！输球不可怕，可怕的是赛后主帅这番话，彻底被打服！

这张《岚月》角色设定图，足以证明了U1 Pro具备了「主美级」的落地能力。

他还提到朋友看病时遇到的一幕：医生在诊室里当着面转过身，对着电脑把病情敲进了ChatGPT。

7、凯西·伍德逆势加仓SpaceX：股价跌破发行价，ARK单日买入2050万美元

我直接在灵犀专业版的对话框里说： 帮我做一个2026年Q2的营销数据复盘PPT，要有数据对比、增长趋势图、柱状图和下季度策略建议，商务风格。

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

8、她突然去世，震动香港娱乐圈

它设了一个方程组： 通过构建对偶向量空间，利用线性映射的像域与零空间的关系，AI进行了一段无懈可击的代数推导（推导过程见PDF的公式5到公式9）。

我国电动车的普及率在全球一骑绝尘，但在海外市场，新能源汽车渗透率远没有想象中那么高。

模型没有主观经验，J-Space中的激活模式只是数学运算的产物，而非任何意义上的心灵状态。

9、这款被捧上热搜的「助眠饮品」，到底是不是智商税？

现在，KAT-Coder-Pro V2.5已全量上线，即可立即体验。

埃尔德什一生提出上千道问题，并自掏腰包为它们悬赏，金额从25美元到1万美元不等。

10、正式接班！文班亚马登顶2K27封面，坐稳NBA联盟新门面！

deepseek-v4-pro：百万输出tokens平时0.87美元，高峰1.74美元；缓存未命中的输入平时0.435美元。

这意味着康德意义上的「本体论」不再追问世界「本身是什么」，而是追问「世界对我们呈现为什么」。

1、复旦大学研究：叶酸促进癌症发展，补充叶酸还安全吗？告诉你答案

大佬表示，按谷歌常规的6个月训练节奏，说不定年底，就能看到Gemini 4了。

2、5.16日职联推荐：横滨水手vs柏太阳神_网易订阅

AtomWorld 对照测试显示，外挂工具仅能提升原子插入等强坐标计算类任务效果，面对需要判别原子关系、空间区域的复杂场景，提升十分有限。

3、王虹、邓煜回应获奖

网友直言，这简直就是《终结者2》的剧情，太过科幻。美军炸死平民彻底激怒伊朗！哈梅内伊下令：全面进攻，协议作废！先别急着惊叹90分钟——你得知道，这道题在统计学里压了整整二十年。

4、京汉保级大战！三镇3将伤停+4外援3新援出战，国安如何破铁桶阵？

世界模型亦成为新的变量。

5、小商品赢下大市场，义乌又成世界杯隐形冠军

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

6、明天起，12306购票有新变化

原本，Fable 5是作为顶级旗舰模型，高昂的定价和苛刻的访问，彰显着其「不可替代」的地位。

每次开新会话，它对你的业务、文风、客户、偏好一无所知，一切从零开始。

Friar开篇就说，她在各处听到CFO们问的是同一个问题：怎么让AI这笔钱花得更值。

7、乙女游戏新人设，竟然是195年下体育生？！

他们推出的新能源车型，更多偏向于国内庞大的「内循环」市场。

人类的直觉当然不是缺陷。

8、《八仙》热映！成都这里原来有“吕仙祠”

标准的响应端掩码服从独立伯努利分布 但它并不关心掩码是否覆盖了目标相关位置，因而会稀释后门信号。

模型参数很难直接解释和治理，提示词又过于零散和脆弱，而传统知识库通常只能够描述事实和文档。

但传统导航数据通常以专家正确轨迹为主，模型学习的是「理想情况下应该怎么走」，却很少真正经历偏航与恢复过程。

底层的计算蓝图刻死，但权重还能更新。