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

2 points | by optimalsolver 7 hours ago