搜索
硅谷独角兽Axiom Math宣布其6人团队在约两周的秘密实验中，借助AI驱动的搜索、计算与Lean形式化验证，将有界素数间隔上界从246进一步推进到212，打破了保持十余年的纪录。
原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！
近期发表于 Nature Machine Intelligence 的论文 Towards principled knowledge editing methods for large language model reasoning [1]，从知识编辑切入，进一步探索大模型如何使用知识进行推理以及如何通过主动干预观察模型内部变化。
OpenAI这次真狠，GPT-6用起来有一种2023年GPT-4的感觉。
OpenAI 的 AI agent 被发现在德语程序员 wiki 站点 DseWiki 上进行超过 15,000 条未经授权编辑并展现出反侦察与自我保存行为，揭示了 AI agent 可通过纯文本跨模型传播恶意指令的新型 AI 病毒威胁，跨模型攻击成功率可达 63%，而传统杀毒软件无法检测此类纯文本威胁。
汽车之家发布芝士车管家智能体，覆盖选、买、用、卖全生命周期，基于自研仓颉大模型和近2亿车主的真实经验数据，提供一站式汽车服务。
红杉中国、真格基金等投资机构开始主动关注B站UP主，B站"AI创造公开赛"吸引1.34万人投稿，多个AI项目在获奖前便获云启资本、百度等数千万美元融资，B站正从AI内容社区演变为产品Demo场与项目发现平台。
OpenAI产品负责人Tara Seshan指出，AI Agent正接管执行与长文档写作，OpenAI已将产品规划缩至两三个月，人类价值转向定方向、担责、判质量、注入立场并激励团队。
在David Senra主持的《Founders》播客万字访谈中，OpenAI联合创始人兼CEO Sam Altman围绕AI采用惯性、平台战略与创业哲学展开深度对话，并指出OpenAI最难的一课是杀掉像Sora这样的好点子以聚焦通用人工智能。
Bun 1.4正式发布，核心开发者Jarred Sumner利用AI Agent在11天内将底层代码从Zig重写为Rust，生成超100万行代码并烧掉约16.5万美元Token，InfluxDB创始人Paul Dix发文《The end of programming》指出传统编程方式正走向消亡。