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