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

2 pointsposted 7 hours ago
by optimalsolver
(twitter.com)

No comments yet