ИИ решил то, что не могли люди
Модель искусственного интеллекта решила 80-летнюю геометрическую задачу, поставленную легендарным венгерским математиком Полом Эрдёшем, поразив математический мир. Задача Эрдёша, одна из примерно 1200 нерешенных проблем, оставленных Эрдёшем, сопротивлялась всем попыткам решения с 1940-х годов. Исследователи обнаружили, что ИИ нашел более сложное расположение парных точек — то, что человеческие математики никогда не могли себе представить, — что дало больший темп роста, чем допускали обычные подходы.
Математики призывают к ограничениям
Этот прорыв вызвал как волнение, так и беспокойство. «Вот что нашел ИИ, как мы это пропустили и почему это важно», — написала Wall Street Journal. Но математическое сообщество также призывает к осторожности. Лейденская декларация, подписанная ведущими математиками, призывает к надзору за использованием ИИ в математических исследованиях, предупреждая, что чрезмерная зависимость от ИИ может подорвать человеческое творчество, лежащее в основе математических открытий.
Новая эра ИИ в науке
Scientific American назвал это достижение «самым большим прорывом ИИ в математике на сегодняшний день». Решение демонстрирует, что ИИ теперь может вносить вклад в подлинные математические открытия, а не только в вычисления. В то время как некоторые приветствуют это как инструмент для ускорения исследований, другие опасаются, что это может изменить природу математического доказательства. Дебаты отражают более широкие дискуссии в науке о том, где провести грань между помощью ИИ и исследованиями, проводимыми человеком.