#formalization

Математики признали, что доказательства OpenAI не соответствуют стандартам отрасли