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