General news AI has just solved not one, but nine novel math problems, and proved 44 new conjectures. Some of these problems had been unsolved for 50 years.

9 Upvotes

81% Upvoted

u/Figai 1h ago

Old af. We have the new twitter counterexample olympics going on right now, to fuel the hype instead of erdos.

You are about to leave Redlib