Prompt-only theorem proving with adversarial LLM agents Posted by justanotherprof on Friday January 02, 2026 @11:08AM from the tjoresearchnotes.wordpress.com dept. https://tjoresearchnotes.wordpress.com/2026/01/02/the-adversarial-prover-a-skeptics-approach-to-llm-assisted-mathematics/ ( no comments | on HN )
There are no comments yet.