В математике часто кажется, что определённые задачи — это нечто непостижимое и нерешаемое. Но команда учёных с помощью системы Gemini показала, что многие из так называемых «открытых» задач из базы данных Эрдёша на самом деле давно имеют решения — просто они оказались в тени и не были широко известны.

Как это работает? Gemini использует ИИ для проверки сотен гипотез на предмет новизны и правильности, а затем эксперты разбираются с тем, что ИИ «подсветил». В итоге из 13 задач, которые числились открытыми, 5 были решены почти полностью автономно, а остальные 8 — благодаря находке уже существующих решений в литературе.

Интересно, что главная сложность здесь — не в самой математике, а в том, чтобы «навести порядок» в массе информации и предыдущих публикаций. Также исследователи обсудили, как ИИ может случайно «забыть» проверить источники и повторять уже известное, что назвали «подсознательным плагиатом».

Это классный пример того, как ИИ не вытесняет учёных, а помогает им работать быстрее и эффективнее, особенно когда нужно разбираться с огромным объёмом данных. Если любопытно, можно почитать саму работу на arXiv — там много деталей и примеров.

Кто уже пробовал что-то подобное в своих проектах? Делитесь опытом и мыслями!