UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs

 (twitter.com)

2 points | by optimalsolver 7 hours ago ago

No comments yet.