mathbynoumenon AI solves Erdos problem #728 (Terence Tao mathstodon post)cross-posted from: https://lemmy.bestiver.se/post/852619 Comments https://mathstodon.xyz/@tao/115855840223258103Open linkView original on lemmy.world3Comments1
ffodor lemmy.zipUm, human-guided proof search is several decades old. The text of the article says that's what this was... So, more snake oil? Sigh.4
Um, human-guided proof search is several decades old. The text of the article says that's what this was... So, more snake oil? Sigh.