Formal Mathematics

concepts · 1 notes linked

Related: Chatgpt · Openai · AI Assisted Proof · Human In The Loop · Large Language Models

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