#Lean证明助手

共 1 篇相关文章

一个四人团队在丘成桐弟子Ben Chow带领下，使用证明助手Lean将庞加莱猜想的完整证明转化为470万行代码，其中270万行由ChatGPT、Claude等A...

2026年09月28日人工智能 #丘成桐弟子 #庞加莱猜想