「人类灭绝风险」共找到 1616 篇相关文章
突发，Claude首破黎曼猜想新纪录！
Anthropic让内部研究版Claude证明「黎曼猜想」失败，但它将符合猜想的黎曼Zeta函数零点比例下限从41.6%提升到67.2%。此成果意义重大，标志AI进入开放数学研究。
当设计师和PM都开始写代码，产品构建方式又要变天了？
Notion 产品负责人 Max Schoening 与主持人探讨 AI 对软件构建和使用方式的影响。他认为成功产品有强大核心，鼓励设计师和 PM 用代码思考，还谈到岗位融合、可塑性软件、SaaS 趋势等话题。
让机器人学会“预判接触”：它石智航牵头四大顶尖机构发布TacForeSight，破解精细操作难题
它石智航联合四大顶尖机构发布论文“TacForeSight: Force-Guided Tactile World Model for Contact-Rich Manipulation”，提出力条件触觉世界模型，让机器人能提前预判接触变化，在精细操作领域取得关键进展。
太意外！教皇和Anthropic创始人，要联袂开发布会
5月26日，教宗利奥十四世将发布通谕《Magnifica Humanitas》聚焦「AI时代对人的保护」，Anthropic联合创始人Chris Olah受邀。梵蒂冈同步成立AI委员会。但有人质疑这是道德外包或公关道具，全球也缺乏有效约束AI发展的机制。
真是天才！有人把做软著做成了skill，自动生成全套软著申请材料
介绍了SoftwareCopyright - Skill，它能一键生成符合软著申报要求的源代码文档和用户操作手册，全链路自动化，功能特点多，如真实代码抽取、智能合规排版等，还给出项目链接。
Karpathy的软件3.0：Agent的原生世界
OpenAI联合创始人Andrej Karpathy在Sequoia Ascent大会上表示，AI Agent正改变软件与工作模式。编程基本单位从写代码变为给Agent下达指令，软件3.0以上下文窗口为程序，LLM为解释器。他还提出理解AI能力分布的框架，给出创业建议。
Codex 推出 /goal 功能，不达目标，不罢休
OpenAI 为 Codex CLI 新增 `/goal` 功能，目标跨轮次保持活跃，在同一个会话持续循环。它有防护机制，防止在无意义事上空转。虽然是实验性功能有局限，但改变了人和 AI 的协作界面。
B站爆了！Hermes首度直播回应「抄袭」，MiniMax提前杀入Harness赛点
Hermes Agent业务负责人回应抄袭质疑，技术对谈探讨AI竞争新维度。MiniMax动作密集，构建“Model + Harness”双向飞轮，其模型获海外开源圈认可，产品驱动模型优化，还与云厂商合作解决沙箱问题。
Skill 火了，但它可能只是个过渡品
大家认为给 Agent 装技能包是未来，但云玦科技的“零 Skill Agent”能自己造工具并碾压基于 Gemini 3 Pro 的 Agent。文章回顾 Agent 用工具三阶段，指出 Skill 是过渡品，不过现阶段仍实用，未来会进化。
Harness Engineering 时代的失败经验
作者分享在Harness Engineering时代使用Coding Agent的经验，指出虽Agent发展快且有成功案例，但实际应用有诸多问题，如部分模型体验差、自然语言模糊影响长程工作等，还给出解决思路，文章会持续更新。