Аналог GPT6 Astra обошла лучших математиков мира за одну ночь - Искусственный Интеллект/Нейросети/ИИ

Все нейросети в одном месте qiper.ru - Искусственный Интеллект/Нейросети/AI/ИИ 00:00:03 Число пи и нейронные сети Число пи можно приблизить дробью 22/7, но ошибка появляется в третьем знаке после запятой Нейронная сеть доказала, что число пи не является сложным числом, которое легко вычислить с помощью дробей Модель подтвердила, что пи ведёт себя как обычное число без хитростей 00:02:15 Гипотеза о простых числах Гипотеза о бесконечном количестве пар простых чисел с разницей в 2 остаётся недоказанной В 2013 году Итан Чжан доказал существование пар с разницей не более 70 миллионов Джулиус Стадельман снизила границу до 246, но OpenAI и Axiom побили её рекорд 00:04:11 Рекорды и критика Теренс Тао назвал ситуацию с рекордами «неприглядным зрелищем» Модель ASR нашла условия, при которых числа легче поддаются факторизации Математик Эндрю Грэнвилл заступился за Джулиус, отметив, что OpenAI не задумывался о её чувствах 00:05:36 Пустыня простых чисел Вопрос о том, как далеко друг от друга могут расходиться простые числа, остаётся открытым Роберт Рэнкин вывел формулу для пустыни простых чисел в 1930-х годах Модель ASR продвинула формулу на восемь страниц, что сравнимо с открытием нового шахматного дебюта 00:06:33 Число пи и внутренняя модель OpenAI OpenAI выложил более 700 математических статей, включая работу о числе пи Модель, которая сделала это, не имеет названия и остаётся внутренней для компании 00:07:52 Задача Гильберта Задача Гильберта: определить, есть ли решение у уравнения с целыми числами Юрий Матясевич доказал невозможность такого определения для целых чисел в 1970 году Модель доказала невозможность такого определения и для дробей, используя идеи чилийского математика Эктора Пастена 00:08:26 Умножение матриц Модель значительно ускорила умножение матриц, доказав возможность умножения быстрее, чем считалось возможным Вирджиния Уильямс из EMIT отметила, что это можно рассматривать как попытку нейронных сетей ускорить свою работу 00:10:20 Конденсат Бозе-Эйнштейна Эйнштейн предсказал конденсат Бозе-Эйнштейна при охлаждении газа почти до абсолютного нуля Модель доказала существование конденсата в газе, где атомы сталкиваются подобно твёрдым сферам 00:10:20 Задача Премии Тысячелетия Задача, удостоенная Премии Тысячелетия, имеет упрощённую версию, которую модель якобы решила Роланд Бауэршмидт из Нью-Йоркского университета поднял вопрос о первой статье, но назвал вторую ужасной 00:11:09 Призыв к подписке Автор просит зрителей подписаться на его канал на YouTube По статистике, только 19% зрителей подписаны на канал 00:11:43 Введение в тему числа π Обсуждение важности числа π для математиков Пример с бесконечной суммой Флинт-Хиллз, которая ведёт себя странно при кратности числу π 00:12:30 Результаты модели и их проверка Модель подтвердила, что сумма сходится Проверка результатов включает машинную проверку и проверку специалистами 00:12:53 Ограничения проверки Лин подтвердил основную часть, но шаг к сумме не поддаётся проверке Некоторые детали требуют дополнительной проверки специалистами-людьми 00:13:27 Восприятие результатов учёными Учёные могут подтвердить результаты, но не всегда понимают, как они получены Майкл Дуглас из Гарварда считает это началом новой эры в математике 00:14:23 Анализ статей и подозрения Математики заметили узкоспециализированные задачи в статьях Многие статьи основаны на похожих идеях, что вызывает подозрения в сговоре OpenAI не дала ответа на вопросы журналистов 00:14:30 Заключение Джулия Стеллман завершила работу без использования нейронных сетей Тодд отметил, что идеи из работы Джулии было бы сложнее извлечь с помощью нейронной сети