27 ms·
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
by 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 agoNo, 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 agoThen we should wait a year and see what happens.