Source: International Business Times
A programming language built to check mathematical proofs has quietly become the common ground between Fields medalists and frontier AI labs, and its creators are now pointing it at software itself. For most of its history, mathematics has been checked the way it was written: by people. A mathematician submits a proof, referees read it, and the field accepts a result once enough experts vouch for it.
Go to Source
Related News
