OpenAI опублікувала добірку математичних результатів, створених внутрішньою моделлю ШІ.

#OpenAI #Математика #Формальна_верифікація #ШІ

https://thetransmitted.com/openai-opublikuvala-na-github-372-matematychni-rezultaty-stvoreni-shi/