llm 5 AI 正在改变数学：从 IMO 竞赛到研究级证明，拐点已至 2026/04/14 AMD 开源了 Lemonade：本地 AI 推理终于不用折腾了？ 2026/04/03 用 Swift 从零构建 Coding Agent：当苹果生态遇上 AI 编程 2026/03/26 一下午提升 15 个 LLM 的编程能力：不换模型，只换 Harness 2026/02/13 GPT-5.3-Codex-Spark：当 AI 编程进入实时协作时代 2026/02/13