人工智能 Claude 形式化费马大定理:1300万行 Lean 代码背后的 AI 协作实验 Anthropic 称 Claude 完成费马大定理端到端形式化证明,Lean 可完整检查,项目展现多 Agent 在数学形式化中的潜力。
人工智能 GPT-6 Astra发布:OpenAI把Agent竞争推向长任务执行 OpenAI发布GPT-6 Astra,重点强化电脑操作、长任务执行和判断力,但开放节奏、价格与企业市场竞争仍是关键变量。
人工智能 谷歌 Lyria 3.5 接入 Gemini:可生成数分钟完整歌曲,面向开发者开放 谷歌将音乐生成模型 Lyria 3.5 接入 Gemini 应用与 API,可生成数分钟完整歌曲,并支持开发者调用。
人工智能 OpenAI发布GPT-6 Astra:能力跃升背后,“不可读推理”引发安全争议 OpenAI推出GPT-6 Astra,并将其置于更严格的网络安全放行机制下。模型能力大幅提升,但潜空间推理让外界担忧思维链监控失效。