Математики разбирают сотни результатов OpenAI: проверка может занять годы.
OpenAI опубликовала сотни заявленных результатов по математике и теоретической информатике. Это расширяет доступ к новым идеям, но переносит ключевую работу на проверку доказательств, формализацию и оценку их новизны.