Чи може штучний інтелект винайти нову математику? Нова стаття від DeepMind і відомого математика Теренса Тао показує, як це зробити. Використовуючи AlphaEvolve, команда об'єднує ідеї, створені LLM, з автоматизованою оцінкою, щоб пропонувати, тестувати та вдосконалювати математичні алгоритми. У тестах на 67 задач з аналізу, геометрії та теорії чисел AlphaEvolve не тільки заново відкривала відомі результати, але й часто вдосконалювала їх, навіть узагальнюючи скінченні випадки в універсальні формули. У поєднанні з DeepThink і AlphaProof, він вказує на майбутнє, де штучний інтелект не просто допомагає математикам, а й співпрацює з ними у відкриттях.