Post #4292321

@highergeometer@mathstodon.xyz @gregeganSF@mathstodon.xyz At present the AIs seem to be much better, relative to humans, at finding counterexamples to conjectures than at proving them. Cf. Kevin Buzzard's "Human mathematicians are being outcounterexampled". Of course there's no guarantee that that state of affairs will last.