Formal Methods 1

• Agents Can't Bluff a Kernel: Teaching AI to Prove Gauss in Five Proof Systems Sep 23, 2026 The factorial function type-checked on the first try. It passed the termination checker. It compiled to C, ran natively, and printed an … 14 minutes Llm agents