AI и наука

AI математические открытия: как проверять доказательства

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