Архив рубрики ~Лента новостей~

Скептик выбрал гипотезу, которую ИИ не решит. Grok ее решил

23.08.2026 ideipro.ru

Скептик выбрал гипотезу, которую ИИ не решит. Grok ее решил

Математик Паата Иванишвили из Калифорнийского университета в Ирвайне сообщил, что Grok 4.6 в обвязке Grok Build (аналог Claude Code от SpaceXAI) доказал гипотезу Холмса, Холройда и Рамиреса, которую Иванишвили окрестил «Greedy is least speedy» («жадный — самый медленный»). Модель доказала более сильную комбинаторную Гипотезу 5 из той же статьи — а из нее основное утверждение следует автоматически. Результат оформлен в короткую заметку, соавтором которой стал Шэнтун Чжан из Стэнфорда.

Читать далее

Источник: habr.com

❌ Нет похожих статей с такими тегами

Оцените материал:

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

Архив рубрики ~Коротко из Telegram~ Поселяем своего питомца прямо на сайте — нашли Koboyo, который… Архив рубрики ~Полезное~ Anthropic выкатила новую дешёвую модель для быстрых задач — вышла… Архив рубрики ~Коротко из Telegram~ J’son & Partners Consulting выбрали самый технологичный телеком — первое… Архив рубрики ~Полезное~ Пробиваем ВЕСЬ свой цифровой след в одном месте — на… Архив рубрики ~Коротко из Telegram~ По данным фонда Wikimedia Foundation, который поддерживает «Википедию», – ИИ-агенты,… Архив рубрики ~Коротко из Telegram~ Manus 2.0 превратился из ИИ агента в полноценную рабочую среду… Архив рубрики ~Коротко из Telegram~ OpenAI представила более 20 новинок на DevDay 2026. Главные итоги… Архив рубрики ~Коротко из Telegram~ Сбер в ноябре выпустит новую мощную ИИ-модель, которая сможет управлять… Архив рубрики ~Коротко из Telegram~ Россияне уже вовсю юзают нейронки в браузерах — 74% россиян… Архив рубрики ~Полезное~ Google выкатили Nano Banana 2.1 — картинки теперь можно править… Архив рубрики ~Коротко из Telegram~ Сбер представил Kandinsky 6.0 Video — ролики со звуком теперь… Архив рубрики ~Коротко из Telegram~ Атака на дата-центр «Яндекса» вызвала масштабные сбои в рунете В… Новости робототехники Роботы на ниточках MIT Technology Review сегодня выпустил большой разбор… Архив рубрики ~Коротко из Telegram~ OpenAI забирает корпоративный рынок у Anthropic демпингом Ещё весной Anthropic… Архив рубрики ~Коротко из Telegram~ Поселяем своего питомца прямо на сайте — нашли Koboyo, который… Архив рубрики ~Полезное~ Anthropic выкатила новую дешёвую модель для быстрых задач — вышла… Архив рубрики ~Коротко из Telegram~ J’son & Partners Consulting выбрали самый технологичный телеком — первое… Архив рубрики ~Полезное~ Пробиваем ВЕСЬ свой цифровой след в одном месте — на… Архив рубрики ~Коротко из Telegram~ По данным фонда Wikimedia Foundation, который поддерживает «Википедию», – ИИ-агенты,… Архив рубрики ~Коротко из Telegram~ Manus 2.0 превратился из ИИ агента в полноценную рабочую среду… Архив рубрики ~Коротко из Telegram~ OpenAI представила более 20 новинок на DevDay 2026. Главные итоги… Архив рубрики ~Коротко из Telegram~ Сбер в ноябре выпустит новую мощную ИИ-модель, которая сможет управлять… Архив рубрики ~Коротко из Telegram~ Россияне уже вовсю юзают нейронки в браузерах — 74% россиян… Архив рубрики ~Полезное~ Google выкатили Nano Banana 2.1 — картинки теперь можно править… Архив рубрики ~Коротко из Telegram~ Сбер представил Kandinsky 6.0 Video — ролики со звуком теперь… Архив рубрики ~Коротко из Telegram~ Атака на дата-центр «Яндекса» вызвала масштабные сбои в рунете В… Новости робототехники Роботы на ниточках MIT Technology Review сегодня выпустил большой разбор… Архив рубрики ~Коротко из Telegram~ OpenAI забирает корпоративный рынок у Anthropic демпингом Ещё весной Anthropic…

Оставить комментарий Отменить ответ

Для отправки комментария вам необходимо авторизоваться.

🤖 Нельсон AI

✍️ Печатает...

Готов помочь

ГАЙДЫ 48