Tag: mathematics
-
AI disproves an Erdos problem
A claim from OpenAI about this being the first time “that a prominent open problem, central to a subfield of mathematics, has been solved autonomously by AI.” And here’s a Marginal Revolution post with some outside commentary. My understanding is that this is: 1. a big deal and 2. a great setup for the AI…