当 AI 主宰写代码，MoonBit 嵌入「形式化验证」让 Bug 清零
当 AI 主宰写代码，MoonBit 嵌入「形式化验证」让 Bug 清零AI 写代码越来越快，真正的问题却越来越尖锐：生成成本在下降，正确性却不会自动提升。
来自主题: AI技术研报
9383 点击 2026-04-10 08:36
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
AI 写代码越来越快，真正的问题却越来越尖锐：生成成本在下降，正确性却不会自动提升。
Anthropic 今天又推出了一项新功能 Claude Managed Agents， 有一项定价写着 $0.08/小时，折合人民币不到 0.6 元。这个数字本身不是重点，重点是它意味着 Anthropic 开始按小时计费。
就在 OpenAI 都停了 Sora，所有人以为 Seedance 2.0 要一统天下的时候，没想到不知哪里冒出来一匹马。
「用一句话交代任务，然后什么都不用管，AI 自动执行。」这或许是大家最初对「AI 超级助手」的想象。
卖出了两万台 AI 宠物，ropet 这样复盘 AI 陪伴赛道这一年。
Lindy.ai 的创始人 Flo Crivello 做了件挺大胆的事：把 AI 助理塞进了 iMessage。不是做一个新 App，不是搞一个聊天界面，就是直接出现在你的短信列表里，像一个真人助理一样跟你对话。
AI交互的「机械感」消失了！今天，豆包甩出原生全双工语音大模型Seeduplex，不仅能边听边说，甚至能听懂你在思考时的「卡壳」，就算环境再吵也不怕，抗干扰能力直接拉满。
不讲 Vibe Coding，而是 Vibe Working。
让大模型真正走进现实世界，是当下最迫切的需求之一。
RL之后，大模型为什么更容易「越训越单一」？面对五花八门的改进思路，也许答案并不复杂：先试着改一改KL项。