research-advances

标签

#research-advances

数学和理论计算机科学领域的十项进展

OpenAI Blog ↗ · 2026-08-01 缓存

OpenAI 宣布在数学和理论计算机科学的长期未解问题上取得十项成果，这些成果由其下一代模型 Astra 的内部版本实现，证明已用 Lean 形式化。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈