Reddit 发起挑战:谁能用 LLM 完整写出 Risch 算法实现

big_hole_energy · reddit · 2026-10-08

Reddit 用户发起公开挑战:让 Claude、OpenAI 或任何开源前沿模型从零写出一个完整可用的 Risch 算法实现——即符号积分中的超复杂判定程序,连计算机代数系统泰斗 Manuel Bronstein 都未在其生前完成代数情形第二卷的著述,主流系统也没有完整覆盖代数与超越双管线的实现。

作者称每次尝试都灾难性失败:模型会在微分域塔的追踪上迷失、幻觉出 Hermite 归约步骤,或在处理代数扩张的耦合微分方程时彻底崩溃,最终退化成模式匹配启发式或规则引擎,而非所需的确定性代数几何流程。作者邀请有自信的 prompting 高手或自定义 agent 循环尝试,并欢迎贴出提示词与代码架构。