Yann LeCun(@ylecun)· Yann LeCun (@ylecun)·· 2 天前AI 评估 · 13/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Yann LeCun：数学将进入形式化证明大规模自动化的新时代
Au contraire. C'est une nouvelle ère qui s'ouvre pour les mathématiques. Une ère où la démonstratio...
AI 导读
Yann LeCun 认为数学正开启一个新时代：形式化证明将大规模自动化，研究重心会转向新概念、新抽象、新定义与新猜想的提出。他以船只发明削弱游泳重要性、却让人发现新大陆作类比。
来源：Yann LeCun(@ylecun) · x.com