INI Seminar Room 1

@iniseminarroom1

110 tuit · page 2/3
Formal & Physical Sciences Mathematics
EN

Towards a database of motivated proofs

Sir William Timothy Gowers
68 min
4/5
Motivated ProofsAutomatic Theorem ProvingAI for Mathematics