OpenAI выложила на GitHub 722 математические статьи — речь о работах, где ИИ решает реа...
OpenAI выложила на GitHub 722 математические статьи — речь о работах, где ИИ решает реальные нерешённые задачи. В подборке представлены комбинаторика, алгебраическая геометрия, теория чисел и прочие разделы. По заявлению компании, 90 работ заявляют о полном решении задач, входящих в список из 500 крупнейших открытых проблем. В среднем на один успешный результат, как оценивают в OpenAI, уходило около трёх часов вычислений на ChatGPT Pro, причём часть доказательств уже переведена в формат Lean для дальнейшей верификации. 🖥Мы в Телеграм Новости IT Всемм 💻Мы в Max Новости IT Всемм
5 просмотров