人工智能进展 News

OpenAI 破解传奇 80 年数学谜题：人工智能问题解决的新纪元

数学领域的历史性突破

据 2026 年 6 月 1 日报道，OpenAI 模型成功解决了一道困扰人类数学家八十余年的著名数学难题。这一成就由 Kai Williams 在 Ars Technica 发 …

人工智能革新软件开发：Anthropic 及其他领域的主要更新

随着我们迈入 2025 年 12 月，科技界因软件开发领域的突破性进展而沸腾，特别是人工智能 (AI) 及相关技术。这些发展从协议更新到模型增强，再到文化批判，正在重塑开发人员构建、部署和创新软件解决 …