11:00
2026-08-11
theverge.com
artificial-intelligence
The AI takeover of mathematics has begun
OpenAI revealed it has produced solutions to 10 long-standing mathematics problems using an advanced unreleased model called Astra, some of which had confounded academics for decades, according to a r…