Live page · Day archive

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

Read the original at Hacker News

Summary

From Hacker News.

Carried by: Hacker News. First seen: .