Show HN: Math Gambling
20 days ago
- 文章描述了一个公开的志愿者搜索，寻找方程 x³ + y³ + z³ = 114 的整数解，该方程通过了必要的模9测试，但不保证解的存在性。
- 该搜索采用三次域范数构造，使用精确算术、模拒绝、有界客户端任务和持久的结果收据，专注于选定域而非穷举高度搜索。
- 志愿者执行涉及使用 BigInt 算术的自选浏览器客户端和使用 Python 整数的可移植本地运行程序，任务收据作为 GitHub 问题存储，用于归属和验证。
- 在每个包含64个验证任务的周期后，版本策略保留至少40%用于探索，观察到的重放成本指导进一步分配，但不估计解的概率。
- 验证包括恢复所有662个已知正例、算术边界检查和独立跨语言测试，但并未声称对整个软件栈进行了正式证明。
- 结果部分故意留空，需要实际的经过验证的解，并附有发现证据和独立重现证明。
- 可重现性和归属通过GitHub仓库维护，作者身份需要超越单纯参与的证据和协议。