AIEconomist Sci/Techabout 2 hours ago
OpenAI Releases 372 Math Solutions
2 min read
OpenAI released 722 manuscripts containing 372 math results at 6 P.M. EDT on Oct. 6, resolving hundreds of problems including the Kakeya conjecture. Experts from the Institute for Advanced Study express concern that proprietary models cannot be verified by humans, risking a two-tier system in mathematics.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyOpenAI
