12th January 2018, 1 min read Science and Technology links (January 12th, 2018) One thought on “Science and Technology links (January 12th, 2018)” jld says: January 13, 2018 at 12:56 pm “to automatically prove theorems.” Yes, I think this the next frontier, autonomous proof derivation. We do have autonomous theorem provers but they are not AI in any sense or flavor, just HUUUGE overengineered hacks.
“to automatically prove theorems.”
Yes, I think this the next frontier, autonomous proof derivation.
We do have autonomous theorem provers but they are not AI in any sense or flavor, just HUUUGE overengineered hacks.