还有多少题目，卡住它们的其实只是人类的耐心？ 参考资料： https://annals.math.princeton.edu/1991/134-3/p03 https://www.erdosproblems.com/forum/thread/AI%20Contributions https://arcprize.org/results/openai-gpt-5-6-sol 编辑：元宇新智元报道 凌晨两点，城市睡着了，前置仓还醒着。

1、b体育 提交文件里赫然写着一句：Full proof: (Not yet complete.) 证据：把架构文档和依赖清单附上，别让它瞎猜。.18，全场最廉价的白卷。

逐际动力是最早提出并布局人形大脑系统的具身智能公司；后来者的趋同，从侧面印证了这条路线的前瞻性和引领性。b体育更具挑战性的任务暴露出明显瓶颈。

2、征服教练！把球都给杨瀚森！！

用王晓刚的话说，「智能不是凭空产生的，一定是在与物理环境的高频对撞中涌现出来的」。

3、输球怪裁判？西班牙主帅回怼德尚：不如意才找借口！我们还被吹掉1球

对本来就在自然语言里泄露的GPT-5.4来说，这是好事，它的整体攻击成功率从近70%降到22%；但对本已懂得打码的Gemini-3.1-Pro而言，它被迫往必填字段里填入真实凭证，反而在持久状态和提示注入两项上更糟了。

4、4亿慢病人群，等一张保单——众惠相互的专病普惠保障实践

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

5、广东人邓煜、广西人王虹获菲尔兹奖，中国数学实现历史性突破

然而，Opus 4.8早已被GPT-5.6踩在了脚上。

随着AI顶会投稿规模持续增长，同行评审面临的压力仍在不断增加。

大模型从「不能用」到「能用」，只花了两三年。

6、一觉醒来，名嘴辟谣杜锋下课！朱芳雨提前召回徐昕，李春江将回归

他们更在意的问题是：角色是否足够独特，情绪是否成立，以及这个概念最终能不能变成真正好玩的产品。

这双「手」亮相 WAIC 2026，同台的微型伺服电缸最轻仅约 31 g，推拉力却可达 250 N。

7、六一快乐！2025年IP潮玩经济研究报告

Claude Science虽然图表动效做得不错，但关键矩阵和本征值全都没给，甚至在假设上把全局和局域去极化混为一谈，逻辑底层直接打架。

如下是一款由V4 Pro生成的3D模拟射击游戏，核心玩法是操控攻城弩车进行打靶训练，基础的UI功能也均已完备。

8、当永续合约被指“不适合机构”，CME业绩为何反而创下次高？

看看复杂编码、长程智能体、数学推理和错误恢复，到底会掉多少。

过去两年，AI公司拼了命卷模型，却几乎没人认真管过，用户攒下的那堆数据该怎么盘活。

他们的一天是这样过的： 给一个编码智能体派活，它跑10分钟左右回来交作业，你评估、打回、再派。

9、知名音乐人马山虎凌晨突发心梗去世，年仅52岁！事发前5小时还在直播，原创歌曲《为你点赞》全网播放量达40亿_网易订阅

根本的变化只有一个：数据的拥有者易主了。

论文链接：https://arxiv.org/abs/2605.31158 项目主页：https://2843721358l-del.github.io/Light-Interaction-Project/ GitHub：https://github.com/2843721358l-del/Light-Interaction-Project 原始推理与接入Light Interaction后的长时交互生成示例。

10、龙虎榜

有了磐石之后，它会把高度依赖人工脚本的跨组学联合分析，转成AI驱动的标准化流水线——过去要耗上好几周的活儿，如今几分钟就能跑完。

而且大部分时间，Claude处于空闲状态，通过 暂停等待连接NCBI服务器。

1、赌王女儿何超琼套现46亿，千亿豪门家族要“另谋出路”？

商汤联合上海人工智能实验室、北京中关村学院、深圳河套学院、上海算法创新研究院、上海交通大学人工智能学院等五家科研机构，启动了科学发现平台战略合作。

2、中卫17人被查！务工不能“误”安全，超员驾驶“驶”不得！

等有人想起来做实验，已经是两年多以后了。

3、爆了！41岁库里2年1.367亿续约！？

火星和木星之间，是一圈细碎的尘在慢慢转——小行星带。被打服了？杨瀚森出色发挥征服开拓者媒体人 曾多次表示不看好小杨这也是这次发布被卡着审查的原因之一。

4、最新

研究院希望携手上智院等各方以大赛发现人才和成果，以孵化营推动验证与成长，以产业和资本承接长期价值，培育一批面向世界科技前沿、服务国家战略需求、具有未来产业引领能力的科创种子，让科学创新的「奇思」成为强国未来的「底气」。

5、细节见真章！东京马拉松的这些做法，值得品味

它让单一模型具备了处理多类科学任务的能力，并能输出符合专业规范、高度可验证的成果。

6、韩国人来中国旅游，已经吃不了兜着走了

新智元报道 北京时间今天凌晨，时隔16年，西班牙人重新举起大力神杯！ 而在为这一刻欢呼的同时我们发现，今年的美加墨世界杯，除了踢球的、看球的，还有一群「数字选手」也格外忙碌—— 那些顶着几十亿参数，一路疯狂推演、预测的AI大模型。

四大算法赛道则持续深入科学智能的产业应用创新。

无问芯穹在WAIC 2026上交出的这份答卷，不是又一款产品，也不是又一项具体的API服务，而是一整套会自己迭代的地基。

7、阿根廷足协出手！为抢人才不惜代价，要从西班牙嘴边夺下两块宝

AI Coding就是现成的样本。

VLA在做，世界模型也在做，这完全不冲突。

8、莫兰特，杨瀚森新队友

一年之后，这个判断又增添了四类更具体的注脚。

田然讲了个很生动的例子。

最关键的是，Sol只卖对手一半的钱，很多活儿达到同样效果、烧的token还砍掉一半，两头一乘，四分之一的价格就能交付。

每个会话底下又是一堆智能体，白天几百个在跑，一到晚上，几千个开始干更深的活。