New result: GPT for formal theorem proving.
— Greg Brockman (@gdb) September 9, 2020
We produced shorter proofs of existing theorems (https://t.co/cXMofcZvwc), and proofs of assertions people hadn't yet written formal proofs for (https://t.co/ise8c3KGIK), which have been merged into the Metamath proof database. https://t.co/LKhvy21qhW
from Twitter https://twitter.com/gdb
September 09, 2020 at 12:08PM
via IFTTT
No comments:
Post a Comment