LODA

LODA 是一个与众不同的项目：它不是为某个固定问题提供算力，而是用分布式计算挖掘能够生成整数数列的计算程序。OEIS（整数数列在线百科全书）收录了数十万条整数数列——素数、斐波那契数、卡塔兰数、整数分拆数，以及无数更冷僻的数学现象。其中许多 OEIS 条目至今没有已知的封闭形式公式或高效算法。LODA 的志愿者正在集体破解它们。

项目围绕 LODA 语言构建——这是一种专为整数运算设计的简易汇编式指令集。志愿者的电脑对数百万个候选 LODA 程序进行变异和组合，逐一运行以判断其输出是否匹配某条已知的 OEIS 数列。一旦找到匹配，就意味着一个新公式诞生：一个用于计算该数列的简洁、可执行的算法。许多发现确实是前所未有的，捕捉到了从未有人察觉的数学规律。

截至 2026 年 2 月，这个协作式挖掘出的数据库已经包含超过 15 万个匹配 OEIS 数列的程序。近期工作集成了 LEAN 定理证明器，用于对挖掘出的公式进行形式化验证，确保这些程序捕捉到的是真正的数学恒等式，而不是巧合。

LODA 是对传统志愿计算的一次创造性翻转：它不是固定的科学模拟，而是一个自动化数学家，每个志愿者都在为一座不断生长的算法发现图书馆做贡献。整套技术栈——语言、挖掘器、数据库、发现的程序——全部开源，欢迎所有数学研究者在此基础上继续拓展。