#LLM
Подборка материалов по теме «LLM»: релизы, исследования, бенчмарки, опенсорс.
Тысяча агентов Claude Fable 5.2 за 30 часов формализовала теорему Ферма в Lean
Anthropic запустила тысячу агентов на формализацию доказательства Ферма в Lean. Fable 5.2 справилась за 30 часов, а предыдущая Opus 5.5 застопорилась на 26%.
Команда встроила ИИ-агента в разработку и ввела два этапа ревью
Агент писал код, но путал базы и повторял ошибки. Команда добавила общие инструкции, память и проверку спецификаций до реализации. Разбираем, что из этого можно…
robots.txt не запрещает обучение ИИ: каких ботов закрыть, чтобы остаться в ответах
Вы поставили Disallow для GPTBot и думаете, что ChatGPT вас не читает? Не совсем. Разбираем, какие роботы отвечают за обучение, а какие за ответы нейросетей.
Frame заявляет о 100 млн полигонов при 60 fps в браузерном 3D-редакторе
Саймон Уиллисон сворачивает ИИ-описания PR: суть изменений — в 1 абзаце
Алиса AI сама выбирает модель под запрос: 80% трафика берёт Alice AI LLM
MIT научил робота обобщать запреты человека: обновление правил занимает около 5 секунд
Groq обработал пять отзывов за 2 секунды, Ollama — за 81: что скрывает тест
Где классифицировать отзывы: на своём компьютере или через API? Учебный тест показал разницу почти в 40 раз, но сравнивал разные модели. Разбираем, что полезно…
AlpineBSD: ОС на ядре NetBSD, где любой код от ИИ считается «скомпрометированным»
Дрю ДеВо запустил AlpineBSD: ядро NetBSD, окружение от Alpine и жёсткий запрет на всё, что хоть частично написала нейросеть. Разбираем, что это значит для…
GPT-6 Cyber нашла 81 новую уязвимость в Firefox и подготовила исправления
Lovable перенесла обновления на свой сервер и сократила объём данных примерно на 97%
Google разделила подготовку ИИ-спецификаций на две роли в плагине EGM
OpenAI ускорила отправку изменений в Git почти в пять раз с Pando
Параллельный спекулятивный декодинг ускорил SGLang до 4 раз и вышел в open source
Черновик токенов теперь можно писать за один проход, не теряя причинной связи между ними. Новый метод разгоняет SGLang до 4 раз, а код уже открыт.
GPT-6 Astra исправила веса Qwen и подняла результат MATH-500 до 48,1%
Маленькая Qwen застревала в повторениях вместо ответа. Исследователи MIT поручили Astra исправить её веса: результат на математическом тесте вырос с 7,9% до 48,1%.