Open AI Math Proofs modified sandbox
Article URL: https://zenodo.org/records/23717719
Comments URL: https://news.ycombinator.com/item?id=50281807
Points: 2
# Comments: 0
原文:https://www.a8q9.cn/en/article/open-ai-math-proofs-modified-sandbox-03b14d.html