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

1、b体育官网 AI 赋能科研的终极价值，不是替代研究员思考，而是聚焦前沿核心创新，推动AI从标准化的算力工具，进阶为可探索未知、可持续迭代的科研协作伙伴。

甚至还有一个是开源的。b体育官网马斯克骂得直接：诺兰「亵渎」了荷马史诗，为了冲奥斯卡硬塞选角，把古希腊史诗拍成了好莱坞的多元化样板戏。

2、吉利银河战舰700内饰官宣，这小按键，冲豹5来的

它是整个领域的基石，这篇论文至今已被引用超过13万次。

3、黑马搅局！泰州早茶逆袭五华华京，打破4支广东球队携手出线格局

设想你问它：「上个月我参加过几场跟艺术有关的活动？」一个靠相似度检索的系统，一看到「艺术」两个字就兴奋起来，把你聊过的「班克斯的街头艺术」「那场关于希腊艺术的讨论」一股脑捞回来。

4、火箭再签1人！15人阵容出炉，乌度卡可组3套阵容，10人轮换悬念不大

在适应新场景时，WAM预训练的庞大模型参数被冻结（绝对保全了通用的物理常识和视觉推理能力）。

5、别跟风给娃“来一刀”！暑假“割包皮”全攻略，看完这篇再决定

这是Python最主流的绘图库，月下载量1.3亿次，几乎撑起全球的科学计算。

再看传输量。

尤其是行业长期忽略的海量失败数据、无效试错参数，均可完整留存，补足了 AI 科研训练中稀缺的负样本数据。

6、直播

Dyna的DYNA-1把折餐巾做到99.4%、24小时85多张，直接开进真餐厅。

极反应。

7、普联软件筹划控制权变更事项 旗下股票及可转债将于7月27日起停牌_网易订阅

以HY-WorldPlay为例，单张A100 GPU上生成约10秒视频，模型主干推理耗时超过200秒。

磐石ScienceOne今天正式上线，感兴趣的朋友可以戳「阅读原文」试试~新智元报道 【新智元导读】你还在跟AI聊天？Claude Code之父早让几千个AI通宵替他干活了。

8、阿根廷逆转英格兰 劳塔罗：我梦到过那个绝杀球

灵犀专业版想做的，是一个「越用越懂你」的办公助理。

有人网友提出了一个深刻的问题：「并行TTC确实发挥了作用，但没有说出口的问题是：64个独立搜索的质量，能否等同于一个漫长而连续的单线深度推理逻辑链？广度和深度并不总是可以互换的。

今天谁屠了榜，下个月就被追平。

9、顶流爱豆，怎么集体瘦成皮包骨了？

通过Agentic Open Compute智能体开放计算理念，打破软硬件壁垒，让不同的AI生态、GPU和VPU都能在我们的平台上高效协同，释放最大潜能。

模型评估应包含对网络安全、生物威胁及其他高风险领域能力的严格科学测评。

10、110米栏历史前十名榜单大洗牌！大学生打破世界纪录 新纪录12秒75

更能得分，还更便宜——这正是「每块钱买到多少活」想证明的东西。

Hugging Face给这件事起了个名字：不对称问题。

1、一颗笔帽引发的“战争”

钛极能答，因为它的阴面每天都在用专业投放数据更新这些 Benchmark。

2、家门口的篮球赛！烟台黄渤海新区大季家街道第二届“村BA”正式开赛

作者叫József Beck，这个名字在组合数学圈无人不知。

3、詹姆斯终于要做决定了！骑士仍是最大热门 多位名记爆料高度趋同

这一点对企业的数字化部门尤其要命。​税务问题解决，特尔施特根租借阿贾克斯获放行2026年3月，超维动力对外发布超10万小时的第一人称数据集KAI Ego Dataset。

4、墨西哥主场哨暗助2-0胜厄瓜多尔引争议

这已经不是一场行业展会，而是真正的国家级AI盛会。

5、世预赛最后一战！意大利成热门+伊拉克冲击40年梦想，12队争6席

效果是单位电力成本Token产出提升约80%，电费比同地区IDC低约10%。

6、竞争加剧、增速放缓，OK镜行业进入“增速换挡”调整期

这，就是V2.5的「训练车间」。

李述昊解释了 OpenAI 为什么需要他们： ChatGPT 现在推荐商品靠的是爬虫爬网站，不是按商业逻辑训练的。

他们很清楚，即便是轴向磁通电机，要满足车规级的大规模量产，依然需要漫长的验证。

7、石缝生树，阁中供佛，洱海里有个袖珍小岛镇住了满湖的烟波与时光

人形机器人作为通用底座，技能可以化身为App和Skill。

智能体已经好用到大家抢着用。

8、热度持续，“四川造”动画电影《八仙！》票房破4亿

谁能在那儿稳住，谁才配得上「智商」这两个字。

经过大规模生产环境验证，这套运维智能体系统可实现运维人效提升5倍以上，关键故障处理效率提升6倍。

总之，这个反例精简、优雅到了可怕的地步。

这个负责打分的「监工模型」，不是那个干活的模型。