Creator shares a Codex plugin for auditing math proofs
Its creator says the plugin’s backward audit often catches gaps that a forward check can miss.
TLDR
The plugin’s creator says it uses Lamport proofs, a hierarchical format that breaks each step down and explains why it follows. Its three skills convert prose proofs into that format, audit reasoning from assumptions to conclusion, and work backward from a conclusion to what supports it. The creator hopes it will give professional mathematicians another check on their work and help amateurs prepare proofs before seeking expert feedback.
Combined views
121.4K
2 Sources, first seen 23d ago