AlphaProof Nexus від Google DeepMind розв'язав 9 відкритих задач Ердеша: дві чекали на рішення 56 років
Дослідницький агент AlphaProof Nexus від Google DeepMind розв'язав 9 відкритих задач Ердеша, дві з яких чекали на рішення 56 років, і довів 44 гіпотези OEIS із машинною перевіркою в Lean.
Читати далі →