Challenging anyone to actually get an LLM to write a complete Risch algorithm implementation
The Risch algorithm is easily one of the most absurdly complex decision procedures in mathematics and computer science. Most people who work with computer algebra systems know that even Manuel Bronstein passed away before finishing his second volume on the algebraic case, and no major modern system…
Read the full story at r/AI_Agents ↗
Timeline · 1 report
- 2026-10-08 02:10 · r/AI_Agents
Challenging anyone to actually get an LLM to write a complete Risch algorithm implementation