mako yass comments on Is progress in ML-assisted theorem-proving beneficial?

[mako yass]

Regarding the Hoskinson Center, a presentation from Avigad: