🧮AlphaProof Nexus от Google DeepMind решил 9 из 353 открытых задач Эрдёша, в том числе две, остававшиеся без решения 56 лет. Агент также доказал 44 из 492 гипотез OEIS. Доказательства проверялись в Lean, где каждый логический шаг должен пройти проверку. Большинство задач Эрдёша системе пока не поддалось: лучше всего она работает там, где уже есть развитая база формализованных знаний. https://www.i…




