AIThe Vergeabout 2 hours ago
The AI takeover of mathematics has begun
1 min read
OpenAI's unreleased Astra model solved 10 long-standing mathematics problems, including non-sofic groups and sphere packing. The announcement drew criticism for undercrediting mathematicians Andreas Thom and Gábor Kun, whose prior work underpinned results. OpenAI later revised its language to acknowledge those contributions.
Level
Hype check
Tap to vote and see what everyone thinks.
Summary by ByteBrief
