← 返回话题列表

# 群论证明

相关话题

2026-05-10

AI for Math与科学发现范式突破

谷歌AI联合牛津数学家破解群论悬案、AlphaEvolve一周年助攻陶哲轩、浙大校友AI刷新32年拉姆齐数下界，显示大模型在形式化证明与组合数学中已超越人类专家，开启“AI猜想-人机共证”的新科研范式。
AI数学家 群论证明 拉姆齐数 AlphaEvolve 科学发现
📰 3 条相关内容 查看详情 →