UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofstwitter.com2 points·optimalsolver··0 commentsOpen articleSaveView on HN