Современные математики активно внедряют большие языковые модели (LLM) в свои рабочие процессы, используя их как генераторы идей для доказательств. Эти идеи затем строго проверяются символьными вычислениями и SAT-солверами, превращая вероятностные догадки в математически верифицированные факты.

Исследователи представили LPM 1.0 — модель ИИ, способную генерировать живое видео из одного фото с поддержкой синхронизации губ и естественной мимики в реальном времени.

Исследователи проверили, как GPT-5.2, Claude и Gemini ведут себя в условиях ядерного кризиса. Результаты пугают: алгоритмы почти всегда выбирают удар.

Исследователи выяснили, что большие языковые модели оценивают людей по строгим критериям, часто демонстрируя более систематическую предвзятость, чем человек.

Подписчики Google Ultra получили доступ к модели Veo 3.1 Lite для генерации видео без затрат кредитов в режиме низкого приоритета.

Система Hubble объединяет креативность языковых моделей с жесткими математическими проверками для автоматизации поиска торговых факторов в количественных финансах.