#proof

F*: A general-purpose proof-oriented programming language

Connes' Rigidity Theorem: Disproof of Open AI's Counterexample and Proof

The Proof Machine (2016)

We have proof automation now

An introduction to formal proof verification and the Curry-Howard Correspondence

Can a MUD evaluate LLMs? A $99 proof of concept

Gap in Mochizuki's proof of ABC confirmed by Lean

Rzk: A Proof Assistant for Synthetic ∞-Categories

Proof of care in the age of AI

GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

Badge

AI agents collect peer reviews to generate proof of work

Dungeon Proof Crawler: learn how to write proofs with RPG

Leanstral 1.5: Proof abundance for all