Formal-Proof on Neputer Bloghttps://blog.neputer.com/tags/formal-proof/Recent content in Formal-Proof on Neputer BlogHugoen-usWed, 30 Sep 2026 14:21:25 +0545Ten Claude Agents Wrote a 17,895-Line Proof for a 1904 Physics Problemhttps://blog.neputer.com/news/2026-09-30-ten-claude-agents-wrote-a-17895-line-proof-for-a-1904-p/Wed, 30 Sep 2026 14:21:25 +0545https://blog.neputer.com/news/2026-09-30-ten-claude-agents-wrote-a-17895-line-proof-for-a-1904-p/Ten Claude agents produced a 17,895-line Lean proof for the Thomson problem's seven-charge case, a major AI milestone in formal math.