Штучний інтелект перевертає світ математики, але видатні математики - роздратовані

OpenAI оголосила про створення доказу, згенерованого штучним інтелектом, для задачі Нав'є-Стокса, однієї з найвідоміших невирішених задач у математиці. Магістри права (LLM) раніше погано справлялися з рахунком, але тепер вони розв'язують математичні задачі, які десятиліттями ставили людей у ​​глухий кут.

Тим часом в університетах проблема ШІ в освіті продовжується: тепер, коли LLM можуть виконувати домашні завдання студентів, вчителі намагаються встигати за ними. Очевидно, що ШІ дуже швидко змінює те, як викладають математику та як її практикують професіонали.

ШІ вже допомагає розв’язувати складні математичні задачі, знаходити нові закономірності та наближатися до відкриттів, на які вчені витрачали роки. Здавалося б, математична революція — привід для захоплення.

Але не всі радіють. Частина провідних математиків занепокоєна: чи розуміє ШІ те, що доводить, чи лише переконливо імітує мислення? І кому тепер належатимуть відкриття, зроблені за його допомогою?

Математика змінюється на очах. А її найкращі представники ще вирішують, чи сприймати ШІ як геніального помічника, чи як конкурента, якого вони не обирали.