AI Assisted Proof

concepts · 2 notes linked

Related: Lean · Michael Douglas · Formal Verification · Interactive Theorem Proving · Quantum Field Theory · Chatgpt · Openai · Human In The Loop

Notes

• Early Evidence of Vibe-Proving with Consumer LLMs: A Case Study on Spectral Region Characterization with ChatGPT-5.2 (Thinking) — LLM-assisted iterative mathematical proof via generate-referee-repair pipeline
• Formalization of QFT — Lean 4 machine-checked proof of free bosonic quantum field theory axioms