Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
Michaël Trazzi comments on
OpenAI Solves (Some) Formal Math Olympiad Problems
Michaël Trazzi
6 Feb 2022 21:10 UTC
1
point
Oh right I had missed that comment. Edited the post to mention 8% instead. Thanks.
Back to top
Oh right I had missed that comment. Edited the post to mention 8% instead. Thanks.