AI математические открытия: как проверять доказательства
Разбираем заявление OpenAI о десяти математических результатах: что даёт Lean, почему сертификат не доказывает novelty и как проверять priority, авторство и воспроизводимость.
Открыть материал →