Нейронная сеть которая умнее 90% школьников

Solving (Some) Formal Math Olympiad Problems

Все, официально создана нейронная сеть которая умнее 90% школьников и 50% студентов. Совсем недавно OpenAI выпустили статью о языковой модели с 774М параметров, которая может решать (некоторые) задачи с международных математических олимпиад (AIME, AMC, IMO). Это уже не первый метод от OpenAI, который умеет доказывать математические теоремы. Но новый метод обганяет прошлый метод на 12%. Из 448 сетка успешно решает 41.2%. На картинке показана простая задача и ее доказательство в виде псевдо-языка на котором и "думает" нейросеть.

В статье заявлено, что доказательство заниамет около 6 минут на А100.

Через год-два мб нейронная сеть выйдет на около человеческий уровень.

📑 Paper | 📝 Blog

Подписывайтесь на наш Telegram-канал, там мы чаще делимся своими экспериментами и новостями.