ИИ в научных исследованиях

Навье—Стокс: исследовательская публикация

OpenAI представила предлагаемое доказательство и Lean-формализацию. Результат получен системой на внутренней модели и требует профессиональной оценки.