RU

Нейронки опрокинули гипотезы, которым было по 50–90 лет. И тут есть нюанс

Любая гипотеза жива ровно до тех пор, пока о ней не спросят языковую модель в правильном настроении. Звучит как шутка. Но за последние недели эта шу…

AnthropicматематикаOpenAIЛевент АльпёгеClaude Fable 5ЭрдёшLeanSQLite
Habr
RU

Ни одна ошибка не нова: почему провал ИИ в First Proof был предсказуем заранее

В начале июня 2026 вышли результаты First Proof Second Batch — первого матбенчмарка, где задачи заведомо не попадали в обучающие данные, а решения в…

First Proofбольшие языковые моделиLLMбенчмаркматематические доказательстваверификациякоррелированные ошибкиLeanИИ-агентынадёжность ИИ