Information about one of the authors cited in the OLDaily newsletter
THE DECODER
In their quest for AGI safety, researchers are turning to mathematical proof
Stephen Downes, Casselman, Canada stephen@downes.ca
.