【国际数学日】Lean创始人、AWS高级首席科学家、SAIR Foundation研究合作伙伴Leonardo de Moura谈AI幻觉
Leo de Moura国际数学日访谈要点👇
🔹Lean是"数学界的Python"，用写代码的方式写证明，中学生可玩"自然数游戏"入门
🔹AI虽强大但会"hallucinates"（幻觉），Lean负责验证证明100%正确
🔹AI在研究中的实际角色：灵感回音板、文献导航、代码维护、写提案
🔹职业判断：重复性机械工作会被取代，但会诞生如"专业内容创作"等新职业
🔹给年轻人建议：直接问AI怎么学Lean，它会一步步教你

#Lean #定理证明 #AI幻觉 #数学研究 #人工智能 #国际数学日 #LeodeMoura http://t.cn/AXfxkpaC