Lean

谷歌深脑破解九个数学难题

继 GPT-5.5 之后，谷歌深脑再破九个数学难题，逻辑推理能力进一步外推到纯数学研究领域。