OpenAI опубликовала 722 математических доказательства от ChatGPT Pro

OpenAI выпустила 722 математические работы, которые создала новая модель ChatGPT Pro. В подборку вошли основные доказательства открытых задач, их следствия и альтернативные варианты. Для проверки на компьютере OpenAI подготовила версии на языке Lean — некоторые работы могут содержать ошибки.

По подсчётам компании, на одно доказательство в среднем потребовался объём вычислений, эквивалентный трём часам работы ChatGPT Pro. Сама модель готовится к релизу, но сроки не объявлены.