Research Digest
14 articles
0 followers
2 results Clear
- Research BriefTesting the Assumption · Research Digest
Agent Reflection Does Not Beat a Retry. The Numbers From 16,946 Trials.
A 16,946-trial study finds Reflexion, Dynamic Cheatsheet, and ACE each beat plain retry in some settings and lose in others, while a scheduler called VEX2 came closest to a clean sweep. What practitioners should do about it.
Ibrahim Denis Fofanah·Sep 26, 2026·7 min
- Research BriefResearch Brief · Formal Verification
Claude Formalized Fermat’s Last Theorem. It Did Not Discover a New Proof.
Claude generated a 13-million-line Lean formalization of Fermat’s Last Theorem in 11 days. The real advance is not a new proof, it is verification throughput, agent scaffolding, and a public artifact that exposes exactly what the kernel checked.
Ibrahim Denis Fofanah·Sep 8, 2026·9 min