OpenAI attempts "First Proof" challenge

1 comments

• Davidzheng 10 hours ago ago

  Note that they are claiming 6/10 solutions (yet to be independently verified).