UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs (twitter.com) 1 points by optimalsolver 22d ago ↗ HN
0 comments
[ 3.0 ms ] story [ 6.5 ms ] threadNo comments yet.