• Искусственный интеллект в математике открывает новый золотой век научного поиска.
• Нейросети начали щелкать сложнейшие нерешенные теоремы прошлого века.
• Век алгоритмов привел к тому, что ИИ в математике стал главным двигателем новых научных открытий.
• Генеративные модели смогли полностью или частично разрешить знаменитую гипотезу единичных расстояний из геометрической теории графов.
• Машинный разум визуализирует сложнейшие графы и находит неочевидные пространственные закономерности.
• ИИ в математике применяется в связке с интерактивными доказательствами теорем (например, системами Lean или Coq).
• Нейросети пока не способны совершать фундаментальные концептуальные прыжки.
• Алгоритмы освобождают исследователей от рутинного перебора вариантов, оставляя человеку самое главное - постановку стратегических целей, концептуальное видение и глубокое понимание сути вещей.

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