Source item
Open original source ↗Interesting.
Quoted context
These are the quoted author’s words.
It isn’t just that AI assistance was used in doing this proof, it is that AI was used to create a gigantic machine checkable formalization of the proof. The ability to create huge machine checkable proofs is going to have consequences far outside of mathematics.
perrymetzger ↗