Elliot Glazer
@ElliotGlazer
My take is it's somewhere between the convex hull and the generated subgroup, but the hull is closer. If we literally allowed unbounded application of existent techniques in this metaphor, that would surely contain every ZFC-derivable theorem...
Timothy Gowers @wtgowers@wtgowers · Oct 8I realize @AcerFur is being ironic, but the popularity of the idea that AI "merely explores the convex hull" mystifies me. Why wouldn't it be more like the subgroup generated by existing mathematical knowledge? (That's also a metaphor -- I'm not saying there's a group structure.)
Open quoted post → 15 128