AI is coming for my job!
Tim Daly <[email protected]> Sun, 21 Jul 2019 08:29:03 -0400
| Newsgroups | gmane.comp.mathematics.axiom.devel |
|---|---|
| Message-ID | <CAJn5L=JhRRrzbz8uXN9Af1GRgHOjUadoOqwVEbHN=QWcgKHN6g@mail.gmail.com> |
Generating Correctness Proof with Neural Networks https://arxiv.org/pdf/1907.07794.pdf Apparently they managed to prove 15.77% of the proofs in the CompCert verified compiler effort. "Now, here, you see, it takes all the running you can do to keep in the same place. If you want to get somewhere else, you must run at least twice as fast as that." -- Alvin Toffler "Future Shock" :-) Tim _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer