证明你们数学圈的人根本不看我，我在 The Last Math Competition（最后一场数学竞赛 对命题打分，对解题者要求，对报告要求，对lean project和辅助python的要求，以及一整套对reviewer的guideline。 我已经在反math slop的前沿上做到了极致，整个OpenAI 的人加起来不如我一个人。

The Last Math Competition（“最后数学竞赛”），可能将是全人类最后一场、也将是最旷日持久的一场数学竞赛。 以下是党哥制定的 The Last Math Competition 的规则： 1. 举办方每周会使用 AI Agent 新增 10000 个纯数学领域的猜想，添加到 ./conjectures 文件夹中； 2. 人类和 AI Agent…

在全球最后一场数学竞赛 the last math competition 激烈的竞争下，全球参赛选手提交了300多次pull request，贡献了4万多行的lean4进行了完备、完整、清晰的数学猜想的证明后， 党哥终于跌落到全球第6名的好成绩。

The Last Math Competition已经获得全球300多次提交了，全球数学家们都在试图解决他们能解决的数学猜想，用lean提供完整证明，试图去从每个月10000个高质量数学猜想中进行筛选，筛选出下一个堪比黎曼猜想的伟大数学命题，谢谢大家。 其次目前全球排名第一的 @OrionSheepVerse 提交错误率高达50%， 好多数学猜想没有完成完整完备的证明或者证伪，提交的lean4…

我不知道我这个做法将会狠狠推进数学一大步，还是彻底终结数学。 党哥这里隆重推出The Last Math Competition（“最后数学竞赛”），可能将是全人类最后一场、也将是最旷日持久的一场数学竞赛。 以下是党哥制定的 The Last Math Competition 的规则： 1. 举办方每周会使用 AI Agent 新增 10000 个纯数学领域的猜想，添加到…

立党在“立党杯The Last Math Competition”中获得第三名的好成绩

党哥不装了， 党哥知道黎曼猜想证明太难了，党哥不想浪费时间证明猜想， 党哥只是想当下一个黎曼、费马、Jacobian、庞加莱、哥德巴赫，试试能不能碰撞出下一个猜想。 党哥坚信，下一个伟大的数学猜想，有可能是AI碰撞出来的

我不知道我这个做法将会狠狠推进数学一大步，还是彻底终结数学。 党哥这里隆重推出The Last Math Competition（“最后数学竞赛”），可能将是全人类最后一场、也将是最旷日持久的一场数学竞赛。 以下是党哥制定的 The Last Math Competition 的规则： 1. 举办方每周会使用 AI Agent 新增 10000 个纯数学领域的猜想，添加到…