DAILY SITUATION RECAP: OpenAI makes huge math progress. Over the weekend, the company announced that an internal version of their next major model (GPT-6?) discovered 10 major new results in math and computer science for just $2,000 in tokens1. This comes just a few weeks after an OpenAI model disproved the Erdős unit distance conjecture, the first major novel AI-driven result in mathematics. There is so, so much more to come. Alibaba releases Qwen3.8. It’s still not quite as generally…