НовостиИИ OpenAI опубликовала математические результаты внутренней… — AI Feed — новости и инструменты ИИ — TG.ME

#НовостиИИ OpenAI опубликовала математические результаты внутренней frontier-модели В репозитории доступны формализации Lean для многих доказательств, статистика попыток и оценки вычислительных затрат. Средний результат, по данным компании, потребовал эквивалент примерно трёх часов thinking в ChatGPT Pro. Модель остаётся внутренней, а формальная проверка есть не для всех работ. Читать на AI Feed →