那些提交到erdosproblems.com的新证明，凡是我细看过的，全部正确，而且都包含一些有趣的想法。

1、开yun体育app官网 创意环节，AI 创意智能体接入 Seedance 2.0，输入商品链接和目标市场，自动生成多语种短视频脚本、口播文案和图文素材，传统团队一周拍一条片子，Navos 一天能出几十条变体。

值得一提的是，Axiom Math的创始人洪乐彤年仅25岁。开yun体育app官网这15万小时里，有5万小时的真机高精度操作数据（覆盖100多种原子动作）、10万小时第一视角场景视频（支持毫米级3D关键点标注），以及百万平方米级的场景重建数据—— 最后这一块，直接冲着「仿真里练得好、一到现实就掉链子」的Sim2Real老毛病去的。

2、交易杨瀚森？美媒点名！16号秀危机！真要放弃吗？

人们也把模型当神谕，指望它在某个深夜吐出一个人类没想到的答案，即使为此慢一点、贵一点、偶尔发疯，都能忍。

3、浙江氢能跻身未来产业首位，年用电超7000亿度下加速绿色变革

后厂：把推理成本，一年打下来10倍 第二个变量，是Token转化效率。

4、新疆2026年普通高考成绩拟于6月24日上午12时公布

更具价值的是，平台沉淀的科研资产并非静态存档数据，而是可复用、可迭代、可持续反哺模型的动态核心资源。

5、她出身乒乓世家，15岁加入新加坡还打败王楠，如今全家回北京生活

AGI无法与一般的技术突破相提并论，哪怕是互联网、移动互联网这种影响深远的技术也不行——它更像人类发现电、学会用火的那种时刻。

这一结构使导航从「直接响应指令」，转向「持续状态判断驱动」。

收益递减：为了获得微小的性能提升，需要付出指数级增长的算力成本。

6、2026树屋新玩法！不占地、不闲置，二胎家庭闭眼冲！

「AI吸血鬼」 AI越强，人越睡不着 Andreessen真正引爆硅谷热议的，是他对软件工程师的观察。

留下的操作日志，超17000条。

7、《经营方略》之“资本运营与联合重组”金句100条

AI没有骗任何人。

然后他们拿旧的事故场景重放了一遍。

8、“狮子的命也是命！”3头狮子被锁笼致溺亡，动物园回应惹怒全网

「不再写提示词了」——最近，这句话正在AI圈疯传。

遇到传输要耗上数十秒的请求，先由极少量机器上的RelayDecode抢先向用户输出Token，用户端因此感受不到这段传输延迟；等数据传输完成，再把输出任务无缝切换给MainDecode。

爱诗在今年初发布 PixVerse R1，全球首个支持最高1080P分辨率、可实现即时响应的通用实时世界模型；近期又在联合国 AI for Good 峰会展示了PixVerse Game—— 首个实时视频游戏引擎。

9、ST宁科：实际控制人及一致行动人拟增持3000万元至6000万元股份

实验与分析 模型与设定：主实验在LLaDA-8B-Instruct与Dream-Instruct-7B两个主流开源DLM上进行。

立川裕二的评价是：它似乎真的理解弦论（String Theory），而且有直觉。

10、入选国家队还破防？李悦洲发文疑似不开心又删除 赴美特训又泡汤了

更让我惊喜的是改稿环节。

超长上下文：200万token。

1、深夜，大涨！美股芯片股，集体反攻

3.5 Flash-Lite，击败了老大哥 第二款Gemini 3.5 Flash-Lite，走的是另一条路：主打一个快，还要够便宜。

2、CBA3消息！状元加盟玄鸟，石奎退出CBA选秀，区俊炫加盟香港金牛

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

3、继于正"看下体"风波后 顶流洗澡被偷拍售卖 被拖下水的何止王俊凯

能力赢得首次使用，可靠性让AI成为工作方式本身。林诗栋蒯曼横扫晋级全锦赛混双决赛 技术全面彰显拼搏精神逐际动力正式发布人形大脑系统 LimX COSA 0.5 版本。

4、多少年轻人生活的乐子，是国产现偶给的

以高性能同轴式系列为例，产品最轻约 31 g，堵转推拉力可达 250 N，重复定位精度为 ±0.02 mm，额定负载速度不低于 20 mm/s；带力传感版本支持 ±200 N 力控范围和 1 N 力控精度。

5、“踢季军战真恶心” 曝法国队将全替补踢英格兰！姆巴佩金靴奖没了

如果直接将未经校验的键名拼接到SQL语句中，立刻就会引发SQL标识符注入。

6、百年蔚蓝海岸传奇酒店，携手名厨Yannick Alléno焕新启幕

同一个页面，面对不同的查看者，各自拉各自的数据，干各自权限内的活。

不过，也有人从这波狂飙里嗅出了别的味道。

关键的一步，Bloom后来在讨论区里点破了：把一个非负函数做卷积，再在时间上平移1，表达式一下子就光滑了，原本硬啃的地方顺了下来。

7、7月24日南向资金追踪：华虹宏力、中芯国际、智谱净买入额居前，分别为3.79亿港元、3.20亿港元、2.39亿港元

这种不遗余力的重构，直接铸就了那份最具说服力的成绩单。

本质上，工具只能输出精确坐标，却无法替代模型做 「原子该放哪」、「哪些属于目标区域」 这类核心决策；模型本身若缺乏三维空间感知，工具只会把错误意图执行得更精准，最终得到 「建模逻辑错误」 的结果。

8、144家机构齐聚，全球艺术目光聚焦北京—北京当代艺博会盛大开幕

把OpenAI这一两年的动作连起来看： 文件上传、Projects、Memory，再到能跑几小时长任务的ChatGPT Work、直接生成网站和轻应用的Sites、把Chat／Work／Codex三合一的新桌面端，还有接连登场的GPT-5.6三档模型。

智元机器人手握GO-2（LIBERO基准98.7%刷新SOTA）、世界模型GE-Sim 2.0（WorldArena全球第一）、龙旗南昌产线稳定运行3个月、成功率99.99%。

这并非是科研人员的个人难题，某种程度上折射出当前 AI for Science（AI4S）赛道中一个值得关注的结构性矛盾。

主题是，驱动物理AI从理解到执行。