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

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

23.08.2026 ideipro.ru

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

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

Читать далее

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

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

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

Новости робототехники Schaeffler планирует начать массовое производство коробок передач для человекоподобных роботов в 2027 году. Архив рубрики ~Коротко из Telegram~ Запускаем 284B-модель на обычном железе — FreeToken научился распределять нагрузку… Архив рубрики ~Коротко из Telegram~ Российский рынок искусственного интеллекта в 2025 году вырос на 29,7%… Архив рубрики ~Коротко из Telegram~ За первое полугодие 2026 года новые функции появились более чем… Архив рубрики ~Коротко из Telegram~ NVIDIA пытается вернуться на рынок Китая с новым чипом… Архив рубрики ~Коротко из Telegram~ Сборки NexusMods можно качать без Premium — геймеры сделали обход… Архив рубрики ~Коротко из Telegram~ ⭐️С последней обновой в Телегу завезут новый встроенный обход блокировок… Архив рубрики ~Коротко из Telegram~ Black Forest Labs выкатили FLUX Video Upscale Разработчики FLUX расширили… Архив рубрики ~Коротко из Telegram~ #слухи Apple готова предложить солидную оплату информационным изданиям за использование… Новости робототехники Автономные дроны Amazon Prime Air появятся в 500 городах США. Архив рубрики ~Обо всем~ Призрачный сигнал «Марса-3»: передал ли СССР первое изображение с поверхности Марса? Архив рубрики ~Полезное~ Бесплатные $200 на тесты Claude Opus 5 и GPT 5.6… Архив рубрики ~Коротко из Telegram~ Новое китайское круглосуточное кафе, где кофе вам подаёт робот-бариста. Скорость… Архив рубрики ~Коротко из Telegram~ Перед вами продвинутый вариант бионического протеза нового поколения с полной… Новости робототехники Schaeffler планирует начать массовое производство коробок передач для человекоподобных роботов в 2027 году. Архив рубрики ~Коротко из Telegram~ Запускаем 284B-модель на обычном железе — FreeToken научился распределять нагрузку… Архив рубрики ~Коротко из Telegram~ Российский рынок искусственного интеллекта в 2025 году вырос на 29,7%… Архив рубрики ~Коротко из Telegram~ За первое полугодие 2026 года новые функции появились более чем… Архив рубрики ~Коротко из Telegram~ NVIDIA пытается вернуться на рынок Китая с новым чипом… Архив рубрики ~Коротко из Telegram~ Сборки NexusMods можно качать без Premium — геймеры сделали обход… Архив рубрики ~Коротко из Telegram~ ⭐️С последней обновой в Телегу завезут новый встроенный обход блокировок… Архив рубрики ~Коротко из Telegram~ Black Forest Labs выкатили FLUX Video Upscale Разработчики FLUX расширили… Архив рубрики ~Коротко из Telegram~ #слухи Apple готова предложить солидную оплату информационным изданиям за использование… Новости робототехники Автономные дроны Amazon Prime Air появятся в 500 городах США. Архив рубрики ~Обо всем~ Призрачный сигнал «Марса-3»: передал ли СССР первое изображение с поверхности Марса? Архив рубрики ~Полезное~ Бесплатные $200 на тесты Claude Opus 5 и GPT 5.6… Архив рубрики ~Коротко из Telegram~ Новое китайское круглосуточное кафе, где кофе вам подаёт робот-бариста. Скорость… Архив рубрики ~Коротко из Telegram~ Перед вами продвинутый вариант бионического протеза нового поколения с полной…

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

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

🤖 Нельсон AI

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

Готов помочь

ГАЙДЫ 44