Comment by pama
17 hours ago
Not only that, but it used 10k agents coherently over 88 hours to come up with the proof. This is a significant advance.
17 hours ago
Not only that, but it used 10k agents coherently over 88 hours to come up with the proof. This is a significant advance.
If you can create a graph of independent work, which you can with many such problems, agents can work together nicely. Again, thank Lean and the tooling around it.
What makes you think they were coherent?
They managed to solve a problem that was beyond current human ability.