4 ms·

#326 solved https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems#sect-1 https://github.com/teorth/erdosproblems/wiki/AI-contrib

• YeGoblynQueenne 5mo ago
  Is that 326 solved? As per my comment above? >> If that's true, if we're really at that level of autonomous mathematical reasoning ability, then we should see hundreds, even thousands, of open problems suddenly solved in a matter of years if not months. Stressing "hundreds, even thousands".
  • cma 5mo ago
    No, problem #326, you didn't give a few days timeline. Google released a paper about solving 9 more Erdos problems for an average of $100 each: https://arxiv.org/html/2605.22763v1 https://arxiv.org/html/2605.22763v1 In a year I think we'll probably have seen hundreds of open problems solved, even if there is some a low hanging fruit exhausiton bottleneck.
    • YeGoblynQueenne 5mo ago
      Then we should wait a year and see what happens.
• turzmo 5mo ago
  Yes, as some of these are being solved by the same person, I think my point is even more relevant: you try 1000 problems and solve a few, and only report the few, and it just seems like a matter of time until the rest are solved. But if you report that it didn’t work on the others, your conclusion is different. I think it is important to temper expectations in light of the fact that these announcements are coming from a startup company with shady values looking to imminently IPO, and thus represent the most biased and misleading take of the situation possible.