Tag: 人工智能

All the articles with the tag "人工智能".

• 陶哲轩谈 Math 2.0：AI 证明增多后，数学还需要人的理解 | Hacker News 摘要 (2026-10-12)

  Published: 2026-10-12 |  at  07:49 PM

• REA 为编码智能体接入逆向工程工具 | Hacker News 摘要 (2026-10-11)

  Published: 2026-10-11 |  at  08:52 AM

• Claude Haiku 5.5 发布：面向高频任务，可调推理投入 | Hacker News 摘要 (2026-10-08)

  Published: 2026-10-08 |  at  08:21 PM

• Mistral Large 4 开放 API 预览，月底计划发布权重 | Hacker News 摘要 (2026-10-07)

  Published: 2026-10-07 |  at  12:49 PM