Information about one of the authors cited in the OLDaily newsletter
Nature
Solving olympiad geometry without human demonstrations
Stephen Downes, Casselman, Canada stephen@downes.ca
.