热度排名 #2006

维尔德伯格谈在数学研究中怎样使用 AI

Engaging with AI for serious maths research | Sociology and Pure Maths | N J Wildberger

可拿一条模型提出的数学命题来对照，分别问它是否说清对象、是否给出可检验的例子、证明是否能由他人重走。

Insights into Mathematics · 1 串讨论 · 热度 1.418

讨论出处