#Kevin Buzzard

共 1 条 · 7 天 1 条 · 30 天 1 条

AI 1 Lean 1 形式化数学 1 数学 1

信息流里打上「Kevin Buzzard」标签的资讯、产品与论文，按刊登时间排，新的在上。

10月2日

论文 Agent 与开发者73°17:05

数学家Buzzard探讨AI与数学边界

数学家Buzzard分享对AI与数学关系的深刻见解，预测AI在数学探索中的极限与人类后续角色。

#Kevin Buzzard #数学 #AI #Lean

Thomas Wolf@Thom_Wolf原文