The Last Math Competition已经获得全球300多次提交了，全球数学家们都在试图解决他们能解决的数学猜想，用lean提供完整证明，试图去从每个月10000个高质量数学猜想中进行筛选，筛选出下一个堪比黎曼猜想的伟大数学命，谢谢大家。
其次目前全球排名第一的 提交错误率高达50%， 好多数学猜想没有完成完整完备的证明或者证伪，提交的lean4 project证明是不完备的，或者漏掉了这个数学猜想的重要条件，违反了数学工作者的基本学术道德标准要求，再这样我找几个上海几个民办三本文科宝妈线下弄你。

优质「内容」 | 优质「资源」 | 你不知道的内幕消息🌳