On Thursday, November 21, 2019 at 7:52:51 AM UTC-5, ookami wrote: >>So generally, I simply prove each and >> any theorem on my own, without noticing the current proof. When I >>compare >> my result to that of 'prior art', and there is a difference, I either >> improve my technique, or submit a shortening pull request.
On November 21, 2019 12:13:50 PM EST, Norman Megill <[email protected]> wrote: >... I am greatly appreciative of >the work you are doing. Me too. Simpler proofs are always nice, but there's also another reason I'm interested. I expect that in the future there will be many efforts to develop automated provers based on machine learning. Improved training material should help any machine learning system. So please carry on!! --- David A.Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/7E80C5E7-C189-4A48-9DA0-67CD2524D757%40dwheeler.com.
