[Axiom-developer] AI is coming for my job!

[Tim Daly]

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