6 ms·
This looks to be a serious work that has been given a title by a corrupt gonzo science journalist! The actual work looks to be about converting existing proofs
by SiempreViernes 7y ago
This looks to be a serious work that has been given a title by a corrupt gonzo science journalist!
The actual work looks to be about converting existing proofs to a formalised graph based encoding (using ml)
- anonetal 7y agoFrom the earlier cited paper, this seems to target relatively simple proofs too (i.e., hardly what "expert mathematicians can prove"): "... a broad coverage of basic mathematical theorems on calculus and the formal proof of the Kepler conjecture."