UT Austin math chair says OpenAI preparing to release 400 AI-generated proofs
Read the original at twitter.com→Original headline: "UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs"
Coverage timeline
- Oct 6, 18:46 UTC Hacker News (AI) lead source UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs