OpenAI Publishes 722 Math Papers. Who Checks the Results?
OpenAI has published 722 manuscripts containing AI-generated mathematical results. The release raises a practical question: how will researchers verify the claims and work out what these results actually establish? On Hashtag Trending for Thursday, October 8, 2026, Jim Love covers OpenAI's math research, ChatGPT's new Intelligent UI, Mistral's European AI model and the continuing VMware customer backlash. OPENAI'S MATH RESULTS The 722 manuscripts fall into 372 families of related results, including partial advances and claimed solutions. They do not represent 722 separate problems solved. We discuss claimed progress toward the Riemann hypothesis, computer-checkable proofs in Lean and the work still facing mathematical experts. CHATGPT'S INTELLIGENT UI OpenAI demonstrates interactive answers that let you explore a bicycle's components, build an app to split a dinner bill and adjust a complete dinner plan. We also cover GPT-6's response speed, OpenAI's safety and accuracy claims, and the rollout across paid and free plans. See the demonstrations: https://openai.com/index/gpt-6-for-everyone/ MISTRAL LARGE 4 — "LE CHONK" Paris-based Mistral AI introduces a multimodal, mixture-of-experts model with just over a trillion parameters and a listed million-token context window. Trained from scratch in European data centres, it offers another option for organizations seeking more control over their AI. We examine the benchmark strengths and limitations. The public preview is available, with downloadable weights promised by the end of October; the final licence terms still need checking. VMWARE CUSTOMERS LOOK FOR ALTERNATIVES Following Broadcom's licensing and support changes, customers have reported cost increases of up to 1,000 percent. A survey of 269 VMware customer representatives finds 90 percent considering alternatives because of higher licensing costs. We discuss the difficulties of migration and the survey's sponsor, third-party support provider Rimini Street. CHAPTERS 00:00 Headlines and Intro 00:30 OpenAI's 722 Math Manuscripts 02:14 What AI Math Could Mean for Science 03:12 ChatGPT Intelligent UI Demonstrations 04:42 GPT-6 Speed, Safety and Rollout 06:06 Mistral Large 4: "Le Chonk" 07:39 Benchmarks, Open Weights and AI Sovereignty 11:30 VMware Customers Seek an Exit 13:32 Survey Findings and Migration Barriers 15:13 Wrap-Up and How to Support the Show Subscribe to Hashtag Trending for technology news with Jim Love. Share your thoughts in the comments. Contact Jim or support the show: https://technewsday.ca