Добавлена поддержка Ежчана (ejchan.net, ejchan.site). Набегаем, тестируем архивацию, сообщаем о замеченных проблемах.
К сожалению, значительная часть сохранённых до 2024 г. изображений и видео была потеряна (подробности случившегося). Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Сохранен
166
2026-08-01 17:18:03
Сохранен
95
2026-08-03 21:37:01
Сохранен
83
2026-08-03 22:27:22
Активный
478
2026-08-06 15:57:14
Активный
9
2026-08-06 04:34:02
Активный
19
2026-07-15 09:59:28
Сохранен
73
2026-08-02 08:56:33
Сохранен
8
2026-08-01 11:11:23
Активный
33
2026-08-06 04:41:05
Сохранен
139
2026-08-04 05:51:39
Сохранен
58
2026-08-04 00:00:27
Сохранен
25
2026-08-03 09:03:38
Сохранен
128
2026-08-03 09:41:31
Сохранен
65
2026-08-02 11:15:00
Сохранен
434
2026-08-03 21:31:06
Сохранен
89
2026-08-02 05:27:50
Сохранен
244
2026-08-02 18:29:26
Сохранен
74
2026-08-01 11:46:32
Сохранен
518
2026-08-01 10:47:17
Сохранен
34
2026-07-31 18:32:51
Сохранен
26
ИИ решил 10 фундаментальных математических проблем за 2000$ — Ещё недавно математические модели с трудом справлялись с олимпиадными задачами, а теперь OpenAI заявляет о куда более серьёзном результате. Внутренняя версия новой системы Astra якобы продвинулась сразу в десяти математических проблемах, над которыми учёные не могли добиться заметного прогресса как минимум десять лет. Некоторые вопросы оставались открытыми гораздо дольше. Работы затрагивают геометрию многомерных пространств, теорию кодирования, теорию групп, квантовую сложность, графы, операторные алгебры и решётчатую криптографию. OpenAI опубликовала рукописи с доказательствами, формальные сертификаты на языке Lean и отдельные разборы рассуждений модели. Astra самостоятельно нашла основные математические аргументы. Люди помогли оформить решения в виде научных статей, после чего модель формализовала доказательства в Lean. По оценке OpenAI, поиск всех десяти решений потребовал вычислений примерно на 2000 долларов по тарифам API. Сумма выглядит особенно примечательно на фоне сложности заявленных задач. Речь идёт не о подборе известных теорем из учебников, а о попытках изменить границы знаний в нескольких крупных областях математики. Один из результатов касается упаковки сфер в пространствах большой размерности. Математики ищут максимально плотный способ разместить одинаковые многомерные сферы так, чтобы они не пересекались. Astra предложила новые верхние границы плотности вплоть до порога Кона и Элкиса, который играет центральную роль в современных исследованиях упаковок. В теории кодирования модель получила экспоненциально улучшенные оценки максимального размера двоичных кодов при заданном минимальном расстоянии. Похожие результаты относятся к сферическим кодам в пространствах высокой размерности. Подобные конструкции связаны с надёжной передачей информации, исправлением ошибок и устройством многомерных геометрических объектов. Самое громкое заявление затрагивает так называемые не-софические группы. Математики десятилетиями не знали, существуют ли группы, которые нельзя приблизить определённым классом конечных структур. OpenAI сообщает, что Astra построила пример такой группы и тем самым дала положительный ответ на один из центральных вопросов современной теории групп. Модель также предложила опровержение давней гипотезы Конна о жёсткости. Гипотеза предполагала, что некоторые группы можно однозначно восстановить по связанным с ними алгебрам фон Неймана. Найденная конструкция, по утверждению разработчиков, показывает, что разные группы могут приводить к одинаковым операторным объектам. В теории арифметических схем Astra получила новые нижние границы сложности вычисления перманента. Перманент похож на определитель матрицы, но вычисляется значительно труднее и часто служит эталонной задачей в теории сложности. Для арифметических формул модель вывела нижнюю границу порядка n⁴/log n, усилив прежние оценки. Ещё один результат переносит принцип параллельного повторения на общие квантовые игры двух участников. В классической теории сложности многократный одновременный запуск игры обычно экспоненциально снижает вероятность обмана. Квантовая запутанность усложняет картину, поскольку игроки могут координировать действия способами, недоступными классическим системам. Astra, как заявляет OpenAI, доказала экспоненциальную теорему и для общего квантового случая. В области решётчатой криптографии модель получила доказательство сложности приближённого решения задачи о ближайшем векторе с точностью до полиномиального множителя. Задача лежит в основе многих конструкций, которые рассматривают как защиту от будущих квантовых компьютеров. Новый результат может уточнить теоретическую надёжность постквантовых криптосистем, хотя прямых практических последствий пока нет. Astra также решила гипотезу Эрхарта об объёме выпуклого тела. Модель определила максимальный объём фигуры в любой размерности при условии, что её центр тяжести остаётся единственной целочисленной точкой внутри. Ещё две работы касаются экстремальной комбинаторики. OpenAI сообщает о сверхэкспоненциальной нижней границе для многоцветных чисел Рамсея и о решениях задач Эрдёша под номерами 146, 180 и 183. Нынешняя публикация продолжает серию экспериментов OpenAI с открытыми научными задачами. В мае компания представила созданное ИИ опровержение гипотезы Эрдёша о единичных расстояниях. По словам разработчиков, работа уже подтолкнула математиков и специалистов по теоретической информатике к новым исследованиям. Масштаб заявлений требует осторожности. Даже формально проверенное доказательство может опираться на неверно поставленную задачу, скрытое допущение или некорректную интерпретацию прежних результатов. Научное значение десяти работ станет понятно после независимой проверки, обсуждения специалистами и сравнения с существующей литературой. OpenAI отдельно подняла вопрос авторства. Компания считает неправильным приписывать человеку доказательство, полностью найденное системой ИИ. Сотрудники отвечают за подготовку рукописей и формальную проверку, но автором основных математических аргументов называют Astra. Такой подход может заставить научные журналы и университеты пересмотреть правила публикации, рецензирования и распределения заслуг. Одновременно OpenAI объявила программу ChatGPT for Academic Researchers, которая должна дать 100 тысячам учёных и математиков бесплатный доступ к наиболее мощным моделям компании. https://www.securitylab.ru/news/575589.php
2026-08-03 19:16:58
Сохранен
448
2026-08-04 13:34:05
Сохранен
63
2026-08-05 11:19:09
Активный
526
2026-06-20 15:43:45
Сохранен
11
2026-07-31 15:50:09