Пришла невероятно глупая идея, создать новеллу, но полностью с помощью нейронных сетей. Изображения создавать с помощью ruDALLE, а сценарий генерировать с помощью GPT-3.

В первый раз буду принимать экзамен у студентиков. В честь этого решил разыграть пару томиков манги среди группы.

Solving (Some) Formal Math Olympiad Problems

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


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

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

📑 Paper | 📝 Blog