holy fucking shit. google deepmind reportedly just solved 9 open erdős problems and proved 44 oeis conjectures. two of those problems had remained unsolved for 56 years. every proof was verified in lean, reportedly costing just a few hundred dollars per problem. this is