Доказательство заняло 30 минут, проверка — 5 дней. Как ИИ закрыл задачу теории связи

09.08.2026 20:11:31 | Хабр

Хабы: Искусственный интеллект, Машинное обучение

Дмитрис Папаилиопулос, исследователь Microsoft Research и в прошлом теоретик информации, рассказал, как GPT-5.6 и Claude Fable 5 закрыли вопрос, который стоял открытым с 2001 года: можно ли решить задачу MIMO-детекции быстрым алгоритмом везде, где ее в принципе можно решить. Над этим вопросом он сам работал аспирантом в 2009-м, а теперь просто задал его двум моделям. Первое доказательство GPT выдал примерно за 30 минут. Дальше началась настоящая работа: пять дней ушло на то, чтобы превратить ответ машины в текст, который человек способен проверить построчно. "Верификация — безумное бутылочное горлышко", — подвел итог Папаилиопулос. Это соотношение — 30 минут на решение против недели на проверку — и есть главная новость.

Подробнее

Читайте также

Мы выгрузили живые ставки Ozon и Wildberries из API площадок: комиссия зависит от цены товара
09.08.2026 19:43:57 | Хабр

ПСБ направит 35 млрд рублей на развитие специальных технологий
09.08.2026 19:28:49 | ferra.ru

Из софтварного инженера в AI рисерч или история 413 «нет»
09.08.2026 19:16:27 | Хабр

NIST запретил плановую смену паролей. У ФСТЭК она теперь обязательна
09.08.2026 19:14:30 | Хабр

X свернула программу монетизации и будет награждать авторов только за «оригинальный» контент, который написан или снят «лично»
09.08.2026 19:09:17 | vc.ru

Команда — не ваш актив
09.08.2026 19:03:02 | Хабр

Как продлевали Chat Control 1.0
09.08.2026 18:21:32 | Хабр

50 оттенков PCA
09.08.2026 17:54:24 | Хабр

IT-Weekly: российский софт зальют деньгами; принят закон о легализации криптовалюты
09.08.2026 17:44:35 | it-world

В России дадут приоритет отечественным ИИ-решениям при госзакупках
09.08.2026 17:36:49 | ferra.ru

В Москве начали тестировать беспилотную «Ласточку» с оператором
09.08.2026 17:30:36 | vc.ru

В Москве начали тестировать «полностью» беспилотную «Ласточку» с оператором
09.08.2026 17:30:36 | vc.ru

Как вас обманывают биржи: большинство трейдеров думают, что торгуют на рынке
09.08.2026 16:01:15 | Хабр

Сегментация как главный инструмент честной аналитики
09.08.2026 15:59:14 | Хабр

OSINT для ленивых. Часть 16: Находим скрытую инфраструктуру компаний через Shodan
09.08.2026 15:46:35 | Хабр

Вторая копия Vue: как лишняя строка в lockfile повесила Chromium
09.08.2026 15:46:28 | Хабр

Вторая копия Vue: как лишняя строка в lockfile повесила Chromium
09.08.2026 15:46:28 | Хабр

Тест локальных MOE моделей
09.08.2026 15:43:12 | Хабр

Вне карьерного шаблона: почему я вернулась из руководства в системную аналитику
09.08.2026 15:30:12 | Хабр

Новый фреймворк моделирования угроз для LLM
09.08.2026 15:22:53 | Хабр

Как у нас в проекте на самом деле пишется код
09.08.2026 15:12:53 | Хабр

В российских школах расширят изучение ИИ
09.08.2026 15:06:26 | ferra.ru

Почему я не использую EvaProject, импортозамещение Jira
09.08.2026 14:56:13 | Хабр

Девять языковых приложений под конкретные профессии — зачем я их сделал
09.08.2026 14:56:00 | Хабр

Мобильная разработка за неделю #642 (3 — 9 августа)
09.08.2026 14:42:24 | Хабр

Прокачаться в бизнес-аналитике: блоги и инструкции в стиле «бери и делай» + профильные учебники с теоретической базой
09.08.2026 14:37:19 | Хабр

Apple разрешила пользователям Mac в Китае подключать ИИ от Alibaba
09.08.2026 14:22:21 | ferra.ru

DPI для любопытствующих
09.08.2026 14:10:20 | Хабр

Как я за четыре дня сделал кооперативную 3D‑игру с нейросетями: ChatGPT рисовал, Tripo лепил, Claude писала код
09.08.2026 14:07:11 | Хабр

Starship Troopers 2005 vs Ultimate Bug War: разбор двух главных шутеров по культовой франшизе
09.08.2026 14:05:07 | Хабр

Студенты «Крыльев Ростеха» научились собирать авиадвигатели
09.08.2026 14:03:40 | ferra.ru

Думы о путях
09.08.2026 13:52:43 | Хабр

Как разговоры на курилке продажи удвоили
09.08.2026 13:49:56 | Хабр

Локальная база на клиенте: Blazor WebAssembly и MAUI на SQLite — без EF DbContext, Include и миграций
09.08.2026 13:44:30 | Хабр

База по системному дизайну для начинающих разработчиков ПО. Часть 0. Сбор и анализ требований, инструменты визуализации
09.08.2026 13:25:42 | Хабр

Смотреть все

НОВОСТИ

Эксперт Балынин назвал размер пенсии при средней зарплате в РФ и стаже 30 лет
10.08.2026 05:23:48 | ТАСС

В лесу на Сахалине обнаружено тело 46-летнего мужчины, СК проводит проверку
10.08.2026 05:22:30 | Life.ru

Умер актер сериала "Дюки из Хаззарда" Бен Джонс
10.08.2026 05:19:49 | ТАСС

Европейские реки рекордно обмелели из-за аномальной жары. В Германии обнажились «камни голода» — предвестники неурожая
10.08.2026 05:19:09 | Lenta.ru

Яхта Цукерберга проигнорировала просьбу о помощи от терпящей бедствие лодки
10.08.2026 05:19:05 | Life.ru

"Ведомости" выяснили, что более 70% компаний платят стажерам до 50 тыс. рублей
10.08.2026 05:18:16 | ТАСС

На Сахалине при пожаре погибли два человека
10.08.2026 05:18:15 | ТАСС

Военные железнодорожники ВС РФ сбили ударный БПЛА Hornet ВСУ
10.08.2026 05:17:24 | ТАСС

РИА Новости: В Турции отели не поднимают цены, чтобы не отпугнуть туристов из РФ
10.08.2026 05:17:00 | Российская Газета

ЛДПР предложила сократить зависимость строительной отрасли от труда мигрантов
10.08.2026 05:16:09 | ТАСС

Россиянка сбежала из рабства в скам-центрах Мьянмы через реку в Таиланд
10.08.2026 05:15:13 | Life.ru

Герой России Николай Соболев назначен помощником главы Якутии
10.08.2026 05:14:47 | ТАСС

Командир Макар отделения БПЛА уничтожил около 40 терминалов Starlink ВСУ
10.08.2026 05:14:06 | ТАСС

В Башкирии объявили режим беспилотной опасности
10.08.2026 05:11:11 | ТАСС

Военнослужащие "Севера" взяли в плен четверых солдат ВСУ
10.08.2026 05:10:43 | ТАСС

Бойцы "Востока" за сутки уничтожили 45 пунктов управления БПЛА ВСУ
10.08.2026 05:09:00 | ТАСС

Расчет РСЗО "Град" уничтожил скопление ВСУ в Харьковской области
10.08.2026 05:08:15 | ТАСС

НБКИ сообщило об установлении 792,1 тыс. самозапретов на кредиты в июле
10.08.2026 05:08:10 | ТАСС

Стало известно об отсутствии президента Камеруна в своей стране более двух месяцев
10.08.2026 05:08:00 | Lenta.ru

ВС РФ уничтожили группу диверсантов ВСУ в районе Орехова
10.08.2026 05:07:46 | ТАСС

Десантники ВС РФ уничтожили группу диверсантов ВСУ в районе Орехова
10.08.2026 05:07:46 | ТАСС

В Минобороны заявили, что срыв снабжения ВСУ помог освободить Белицкое
10.08.2026 05:07:18 | ТАСС

Срыв снабжения ВСУ у Белицкого помог его освобождению
10.08.2026 05:07:18 | ТАСС

Ракетчики и моряки-тихоокеанцы нанесли удар по группе "противника" в ходе учений
10.08.2026 05:07:07 | ТАСС

Группировка "Юг" уничтожила технику и живую силу ВСУ у Алексеево-Дружковки
10.08.2026 05:06:47 | ТАСС

Группировка "Юг" уничтожила технику и живую силу ВСУ возле Алексеево-Дружковки
10.08.2026 05:06:47 | ТАСС

Москва отвергает «заморозку» украинского конфликта: В МИД РФ назвали условие его завершения
10.08.2026 05:06:14 | Life.ru

Arab News: У побережья Омана тонет танкер с нефтью на борту
10.08.2026 05:06:00 | Российская Газета

Оператор дрона "КВН" Мордвин поразил танк ВСУ под Дружковкой
10.08.2026 05:04:44 | ТАСС

ВС РФ применяют новый прибор "Невидимка" для выявления поврежденных линий связи
10.08.2026 05:03:27 | ТАСС

Прием и выпуск самолетов приостановлены в аэропорту Уфы
10.08.2026 05:02:37 | ТАСС

На юге Камчатки ожидается подъем уровней воды на реках
10.08.2026 05:01:46 | ТАСС

Группировка "Запад" за сутки сбила 102 тяжелых гексакоптера ВСУ
10.08.2026 05:01:11 | ТАСС

Группировка войск "Запад" за сутки сбила свыше сотни тяжелых гексакоптеров ВСУ
10.08.2026 05:01:11 | ТАСС

Мирошник: ФРГ в истории с терактами на "Северных потоках" создает опасный прецедент
10.08.2026 05:01:04 | ТАСС

Все новости

ВСЕ НОВОСТИ

ПИШИТЕ

Техническая поддержка проекта ВсеТут

info@vsetut.pro