🚨wtf. OpenAI says its new internal model it began training just 24 days ago has already resolved more than 100 long-standing open problems across most areas of mathematics.
The pace has surprised even OpenAI's own mathematicians.
An independent group including Edward Witten, Timothy Gowers and Martin Hairer is now helping assess the results and coordinate how they are released.