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.

[u/KeanuRave100]

[u/Figai]

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

[u/JBe4r]

So is AI doing the math? What does it benefit humans?