Система AlphaProof Nexus от Google DeepMind совершила прорыв в математике, решив девять сложных задач, две из которых оставались без ответа 56 лет. Используя комбинацию языковой модели и строгой проверки доказательств, система смогла предложить решения, которые прошли машинную проверку. AlphaProof Nexus решила задачи из области комбинаторики и теории графов, предложенные венгерским...