Comment by SiempreViernes

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)