Современные математики активно внедряют большие языковые модели (LLM) в свои рабочие процессы, используя их как генераторы идей для доказательств. Эти идеи затем строго проверяются символьными вычислениями и SAT-солверами, превращая вероятностные догадки в математически верифицированные факты.
Исследователи представили LPM 1.0 — модель ИИ, способную генерировать живое видео из одного фото с поддержкой синхронизации губ и естественной мимики в реальном времени.
Исследователи проверили, как GPT-5.2, Claude и Gemini ведут себя в условиях ядерного кризиса. Результаты пугают: алгоритмы почти всегда выбирают удар.
Исследователи выяснили, что большие языковые модели оценивают людей по строгим критериям, часто демонстрируя более систематическую предвзятость, чем человек.
Подписчики Google Ultra получили доступ к модели Veo 3.1 Lite для генерации видео без затрат кредитов в режиме низкого приоритета.
Система Hubble объединяет креативность языковых моделей с жесткими математическими проверками для автоматизации поиска торговых факторов в количественных финансах.
Внутренняя записка OpenAI раскрывает планы по запуску модели Spud и платформы Frontier, а также содержит резкую критику методов отчетности Anthropic.
Исследователи из MIT и UC Santa Barbara выяснили, что навыки ИИ-агентов, блестяще работающие в тестах, оказываются практически бесполезными в реальных сценариях.
Разработчики представили MegaTrain — среду выполнения, которая позволяет обучать модели объемом более 100 миллиардов параметров на одном GPU за счет глубокой оптимизации работы с оперативной памятью.
Генеральный директор Palantir Алекс Карп заявил, что ИИ обесценит гуманитарное образование, отдав приоритет специалистам с прикладными навыками и профессиональным обучением.