OpenAI Integer Multiplication: A Tiny Crack in the n log n Barrier

Читайте полную статью: https://binaryverseai.com/openai-integer-multiplication/ OpenAI опубликовала препринт, в котором утверждается, что существует точный детерминированный алгоритм умножения двух n-битных целых чисел менее чем за n log n времени. Если это утверждение верно, оно бросает вызов гипотезе Шёнхаге-Штрассена, которая существует с 1971 года. Экономия микроскопическая, с логарифмическим показателем степени 2^-182, но математический вопрос, который она поднимает, очень обширен. В этом видео (20:26) команда Binary Verse AI шаг за шагом разбирает статью: что именно утверждается, как умножение становится сверткой, где алгоритм находит свою экономию, как приблизительная арифметика дает точный ответ, и что было и что не было проверено. Все исследования, анализ и объяснения в этом видео были подготовлены командой Binary Verse AI на сайте binaryverseai.com. В этом видео: Что утверждается в препринте OpenAI по умножению целых чисел и в какой вычислительной модели История от Карацубы до Шёнхаге-Штрассена и Харви-ван дер Ховена Почему крошечный показатель степени по-прежнему имеет математическое значение и почему он не ускорит ваше программное обеспечение Два узких места: перемещение данных и арифметика, а также процедура XOR-адресации Слои бабочек, гауссовы диады и оценка погрешности, которая восстанавливает точное целое число Статус доказательства, бережливая проверка, уточнения условного последующего анализа и сопутствующая статья о БПФ Главы: 00:00 Преодоление барьера n log n 00:12 OpenAI объявляет о результатах AI 00:54 Модель машины Тьюринга 01:32 История алгоритмов умножения 02:54 Гипотеза Шёнхаге-Штрассена 03:15 Новая асимптотическая оценка 03:55 Почему такое небольшое улучшение Вопросы 05:44 Как работает алгоритм ИИ 06:08 Умножение как свертка 07:46 Два узких места: данные и арифметика 08:13 Проблема физического перемещения данных 08:44 Процедура XOR-адреса 09:32 Расчет стоимости перестановки 10:03 Учет каждого бита накладных расходов 10:46 Одновременные слои «бабочки» 11:18 Сокращение работы рекурсивной арифметики 11:41 Вопрос о круговой логике 12:12 Парадокс точности чисел с плавающей запятой 12:41 Гауссовы диадики и комплексная арифметика 13:00 Оценка ошибки ниже половины 13:32 Восстановление точного целого числа 14:22 Статус доказательства и бережливая верификация 15:13 Условные уточнения 15:50 Разработчики должны Переписать их код? 16:17 Теория против реального оборудования 16:51 Деление и последствия извлечения квадратного корня 17:30 Транспонирование бинарной матрицы 17:46 Почему статья о БПФ отличается от других 18:30 Что не доказывают доказательства 19:50 Будущее математики, генерируемой ИИ Подписывайтесь на Binary Verse AI, чтобы получать понятные объяснения исследований в области ИИ, идей, лежащих в основе новых доказательств, и того, что меняется, когда доказательства становятся более убедительными. #OpenAI #УмножениеЦелых #МатематикаИИ #ВычислительнаяСложность #BinaryVerseAI