Conversation

• H Hacker News - Newest: "Twitter" Hacker News - Newest: "Twitter" remote Oct 6, 2026, 6:46 PM You are here

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

  Article URL: https://twitter.com/Frances01896069/status/2107171555973185577

  Comments URL: https://news.ycombinator.com/item?id=49982415

  Points: 2

  # Comments: 0

  source