Ученик 9 класса использовал Claude для доказательства геометрической теоремы

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