What mathematicians should know about the Lean Theorem Prover: reliability & AI
发生了什么
[This is a guest post by Thomas Hales. This blog post was initially written in a different file format and converted using AI. — T.] Mathematicians have been weighing in on what they value ab…
摘要按规则整理自下方来源原文