08 OcttranslationOpenAI и математика: 722 доказательства от ИИOpenAI публикует 722 математических рукописи от внутренней frontier-модели, включая решение задачи …→