Математики отделили доказательство OpenAI от подхода ее обвинителей
Первоначально OpenAI связывала 166-страничное доказательство с подходом двух испанских математиков.
Изучившие работу математики теперь считают сходство с методом Бакмастера и Альпеге поверхностным.
Почему важно
Споры об авторстве машинных результатов нельзя разрешать по хронологии чатов: приходится сравнивать сами методы доказательства.