Prompt-only theorem proving with adversarial LLM agents(tjoresearchnotes.wordpress.com)

https://tjoresearchnotes.wordpress.com/2026/01/02/the-adversarial-prover-a-skeptics-approach-to-llm-assisted-mathematics/