#формальная математика

Публикаций: 1

AlphaProof Nexus закрыл задачи Эрдёша, открытые 56 лет назад

Google DeepMind автономно решил девять открытых задач Эрдёша — математика, чьи проблемы десятилетиями не давались профессионалам. Два из этих решений висели нераскрытыми 56 лет. Стоимость инференса — несколько сотен долларов за задачу.

← Все статьи