lean prover

LLM Conjecture Generation vs Proof-Checking: Who Wins

Somewhere between the second and third coffee, a lot of complexity theorists recently read a sentence they never expected to read: a deterministic algorithm...