The Last Math Competition（“最后数学竞赛”），可能将是全人类最后一场、也将是最旷日持久的一场数学竞赛。 以下是党哥制定的 The Last Math Competition 的规则： 1. 举办方每周会使用 AI Agent 新增 10000 个纯数学领域的猜想，添加到 ./conjectures 文件夹中； 2. 人类和 AI Agent 将共同对现存的所有猜想进行不同维度的打分，预估这些猜想证明或者证伪的难度，评价猜想的重要程度； 3. 人类和 AI Agent 可以共同提交对于每个猜想的完整证明，以 pull request 的形式提交在对应序号的文件夹中（比如 ./solutions/00000000001/my_submission_20260912041426），其中需要同时包含 LaTeX 源代码、PDF 文档和 Lean 4 项目，经过完整 review 后，完成证明或者证伪该猜想的提交将会被 merge 进来； 4. 举办方将会持续维护和更新一个含有所有猜想相关统计数据的表格。表格中的每一行对应一个猜想的所有信息，其中包括猜想的难度预估、重要程度打分、是否 well-defined、目前是否被证明或者证伪、第一次成功解决的时间、成功解决者的姓名和 affiliation 等信息； 5. 根据现存的猜想、对现存猜想的评估、对现存猜想的成功证明或者证伪，举办方将调整使用 AI Agent 生成猜想的策略，来逐步提高未来生成数学猜想的质量，以及可能逐步提高生成猜想的数量。 由于比赛尚在早期，我们必须声明：在早期生成的数学猜想的平均质量比较差，一部分猜想可能定义不充分或者存在错误的条件，或者存在显而易见的错误，甚至可能 "not even wrong"。所以我们将会根据对猜想的统计数据表格，来提升新生成猜想的质量和方法。 党哥的长远目标是： 1. 经过长期的比赛和反馈，我们将尝试逐步提升猜想质量。在长期大量猜想生成的过程中，我们希望能够创造若干重要猜想，通过对这些重要猜想的证明和证伪，来推动数学知识体系的推进； 2. 我们将探索以 AI Agent 为主导的数学研究和证明的技术路线。本比赛作为公开的比赛和 benchmark，将会实时评测所有模型的性能、harness 的性能、数学证明工具的性能，整个社区的所有参与者将一起探索 AI 时代科学研究的方法论； 3. 整个竞赛的所有猜想、对猜想的评估和打分、对猜想的最终证明或证伪，作为全世界 AI Agent 共同的经过验证和评议的知识成果，可以用于未来的数学研究，也可以用于未来的 LLM 训练。

Naadam archery competition: Grassland men show their skills and perform "piercing a willow leaf from a hundred paces" in China. 那达慕射箭比赛，草原汉子各显身手，上演“百步穿杨”。#那达慕大会# #射箭比赛# #草原汉子# #传统体育# #中国文化（人民日报记者赵景锋）#

而在地球的另一端，The Last Math Competition已经在一周内解决了825个数学猜想了，每个都有lean完整证明过程。 所以我经常说，OpenAI总在吃我的剩饭，他们还在解决已有的数学问题来展现模型，而我已经在每个月大规模生成1万个数学猜想，让Agent一个个用lean来爆破， 最终筛掉99%的简单猜想，来试图碰撞出下一个堪比黎曼猜想级别的伟大数学猜想。 OpenAI永远在解题，而想不到如何去创造，这就是他们和我的最大差距。

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

说汉语大比拼 哪个人的“你好，良渚”说得最好？ The competition of speaking Chinese Which person's "Hello, Liangzhu" is the best? #第四届良渚论坛# #良渚文化# #保护文化遗产#