RCreddit.com·
Not on the current live radar
UT Austin Math Chair Francesco Maggi says OpenAI appears to be preparing to release ~400 AI-generated proofs at once, mathematics is approaching a point where discovery is no longer the scarce part; human understanding is
Time & source
Times shown in UTC
Display time zone: UTC
Local time zone unavailable; showing UTC.
IngestedOffset at this time: UTC+0Oct 6, 2026, 09:00 UTC
- Ingested
- Oct 6, 2026, 09:00
- Source type
- Dev community
Full text isn't available here.
Read at source →