Нейронная сеть которая умнее 90% школьников
Solving (Some) Formal Math Olympiad Problems
Все, официально создана нейронная сеть которая умнее 90% школьников и 50% студентов. Совсем недавно OpenAI выпустили статью о языковой модели с 774М параметров, которая может решать (некоторые) задачи с международных математических олимпиад (AIME, AMC, IMO). Это уже не первый метод от OpenAI, который умеет доказывать математические теоремы. Но новый метод обганяет прошлый метод на 12%. Из 448 сетка успешно решает 41.2%. На картинке показана простая задача и ее доказательство в виде псевдо-языка на котором и "думает" нейросеть.
В статье заявлено, что доказательство заниамет около 6 минут на А100.
Подписывайтесь на наш Telegram-канал, там мы чаще делимся своими экспериментами и новостями.
1212 показов
877877 открытий
Будь у любого школьника эйдетическая память, то никакая нейросеть бы не сравнилась.
Ты тут что-то забыл:
<a href="">первый метод</a>
Спасибо, поправили
который умеет доказывать математические теоремыЭта хреновина разве не была создана ещё в 80-х?
Большинство базовых принципов нейросетей было сделано в 80х, но для их применения не было подходящего оборудования. Все что есть сейчас тот эволюция тех работ.
Можно подумать что олимпиадники умнее школьников..
человек который утверждает что нейросеть умнее человека - долбаеб. Нейросеть это просто сложный хэш входных данных и ответов, она не думает и даже не решает, она просто находит по цепочке самые похожие данные из тех которыми она была обучена и выдает наиболее вероятный ответ