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

HackerNews

2026年10月6日

Article URL: https://twitter.com/Frances01896069/status/2107171555973185577 Comments URL: https://news.ycombinator.com/item?id=49982415 Points: 1 # Comments: 0

Read the full discussion on HackerNews This article was aggregated from HackerNews. Click to join the conversation.

View on HackerNews