Математик Теренс Тао создал GitHub-репозиторий для решения задач Эрдёша с помощью ИИ
Ключевые факты
- 1 Теренс Тао, известный математик, запустил проект на GitHub для систематизации открытых математических задач, подходящих для решения ИИ.
- 2 Проект фокусируется на проблемах, которые могут быть решены с помощью современных больших языковых моделей (LLM) и автоматизированного поиска по литературе.
- 3 Цель — найти решения, которые либо уже существуют в малоизвестной литературе, либо могут быть сгенерированы ИИ.
- 4 Тао отмечает, что многие из этих задач относятся к «длинному хвосту» относительно легкодоступных, но нерешенных проблем.
- 5 Проект служит открытым вызовом для исследовательских групп, таких как OpenAI и DeepMind, для демонстрации возможностей ИИ в математике.
Теренс Тао, которого часто называют «Моцартом от мира математики», создал публичный репозиторий на GitHub, чтобы систематизировать и решать открытые математические задачи, многие из которых относятся к списку Эрдёша или являются его вариациями. Тао считает, что современные ИИ-инструменты, такие как большие языковые модели (LLM), идеально подходят для решения «длинного хвоста» относительно легкодоступных, но малоизученных проблем. Цель проекта — использовать ИИ для поиска уже существующих, но забытых или скрытых доказательств в старой или малопопулярной литературе, а также для генерации новых решений. Тао отмечает, что некоторые утверждения уже были доказаны как следствия других теорем, но об этом не было широко известно. На данный момент в списке Тао находится несколько сотен задач, которые он предлагает использовать в качестве полигона для тестирования возможностей OpenAI, DeepMind и других исследовательских групп. Это открытый вызов для демонстрации прорывных возможностей ИИ в области чистой математики. 💡 Фактчекинг: Подтверждено. Теренс Тао (Terence Tao) действительно ведет GitHub-репозиторий, посвященный открытым математическим проблемам, которые могут быть решены с помощью ИИ и автоматизированного поиска по литературе. Упоминание конкретной модели "GPT-5 Pro" является спекуляцией или неточным названием; Тао использует современные LLM (например, GPT-4) для этих целей. Количество задач в списке Тао динамично и составляет несколько сотен.