Chubby♨️@kimmonismus · XAI 摘要
又有九个Erdős问题被解决了。 但这次，是Google DeepMind完成的。 这不容小觑，因为一方面它加剧了竞争压力，另一方面也证明了其他前沿实验室可以轻松跟上。
Nine more Erdős problems have been solved.
This time， however， by Google DeepMind.
This shouldn't be underestimated， because on the one hand it increases competitive pressure， and on the other hand it proves that the other Frontier Labs can easily keep up.
Another 9 open Erdos problems solved, this time by DeepMind team. Interesting loop of LLM - Lean agents working autonomously, and only after it's verified forma...