News for hackers. Stuff that matters.

A comment on Graph Representations for Higher-Order Logic and Theorem Proving.

Re:Graph Representations for Higher-Order Logic and Theorem ... by SiempreViernes on Wednesday May 29, 2019 @12:50PM (#20042464)
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)

[ Parent | on HN ]
Re:Graph Representations for Higher-Order Logic and Theorem ... by anonetal on Wednesday May 29, 2019 @12:55PM (#20042544)
From 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."
[ Parent | on HN ]