AlphaProof Nexus от Google DeepMind решил 9 открытых задач Эрдёша: две ждали решения 56 лет
Исследовательский агент AlphaProof Nexus от Google DeepMind решил 9 открытых задач Эрдёша, две из которых ждали решения 56 лет, и доказал 44 гипотезы OEIS с машинной проверкой в Lean.
Читать далее →