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

(twitter.com)

2 points | by optimalsolver 6 hours ago

No comments yet.