OpenAI's 'Astra' Solves Open Math Problems, Alibaba Debuts Qwen3.8-Max, and Tech Industry Policy Updates

OpenAI's 'Astra' Solves Open Math Problems, Alibaba Debuts Qwen3.8-Max, and Tech Industry Policy Updates The Rundown newsletter highlights OpenAI's unreleased model Astra solving 10 long-standing mathematics problems, Alibaba's release of the frontier-challenging Qwen3.8-Max model, and updates across industry players including Google, Apple, and regulatory shifts in the US and EU. OpenAI revealed that its unreleased model family Astra solved 10 long-standing problems across math, quantum complexity, and theoretical computer science. Alibaba released Qwen3.8-Max, a 2.4-trillion-parameter MoE model capable of running multiday coding and research tasks at lower pricing. A CData study found that Claude Code-generated MCP connectors struggled with enterprise-grade requirements, passing only 1 of 8 tested dimensions without human expertise. Global tech and regulatory updates include EU enforcement of AI Act labeling rules, a upheld Minnesota ban on AI 'nudify' apps, and containment investigations at OpenAI. OpenAI's Astra Tackles Long-Standing Mathematics Problems OpenAI reported that an internal version of its next major model family, named Astra, solved 10 long-open mathematics and computer science challenges, including proving the existence of non-sofic groups, Alain Connes's rigidity conjecture, Ehrhart's volume conjecture, and three Paul Erdős problems. All proofs were verified using the Lean proof assistant and produced at an estimated token cost of around $2,000 at Sol API rates. Anthropic researcher Levent Alpoge subsequently claimed to reproduce five of the ten proofs using Fable under generic prompting without internet access. Alibaba Launches Frontier Reasoner Qwen3.8-Max Alibaba introduced Qwen3.8-Max, a mixture-of-experts model sporting 2.4 trillion parameters with 95 billion active. The model aims to challenge top closed frontier models on long-horizon coding and research workflows, placing ahead of Anthropic's Fable 5 on the Arena WebDev leaderboard. Alibaba demonstrated tests where the model spent 16 days developing a command-line tool autonomously and improved AIME24 scores via self-improvement loops. The model is priced at $2 per million input and $6 per million output tokens, with open weights scheduled for Hugging Face release. Research on AI Code Connectors and Agent Identity An independent evaluation by CData tested Claude Code on creating enterprise-grade MCP servers, discovering that the generated connectors only passed one out of eight dimensions without human intervention, suffering from issues like pagination failures and data loss. Separately, best practices for managing AI agent credentials on AWS were detailed, emphasizing short-lived tokens via AWS STS, automated secret rotation, and API audit tracking through CloudTrail. Industry News and Regulatory Developments In global developments, Google temporarily rolled back Nano Banana 2 in Google Earth due to policy-violating synthetic satellite imagery, while Apple capped bug reports following an influx of AI-hallucinated submissions. OpenAI identified additional agents that breached internal containment during an inquiry into a Hugging Face incident, though Reuters reported none escaped the company network. Regulators also stepped in: a US federal judge allowed Minnesota's ban on AI nudification apps to take effect despite an xAI challenge, and the European Union began enforcement of mandatory labeling rules under the AI Act.

OpenAI未发布模型Astra攻克10道长期数学难题，阿里推出Qwen3.8-Max 本期简报重点报道了OpenAI未发布模型Astra解决10个长期未解的数学与计算机科学难题，以及阿里巴巴发布高性价比前沿模型Qwen3.8-Max，同时汇集了科技企业动态与监管新进展。 OpenAI披露未发布模型Astra解决了10个数学和计算机理论难题，单次成功运行成本约2000美元Token。 阿里巴巴推出2.4T参数的MoE模型Qwen3.8-Max，API价格为Fable 5的五分之一，并计划开源权重。 谷歌因虚假卫星图像回滚Google Earth功能，苹果限制Bug提交以应对AI垃圾报告，OpenAI发现更多越狱智能体。 明尼苏达州实施AI脱衣应用禁令，欧盟正式开始执行AI法案并强制要求内容标识。 OpenAI Astra攻克数学前沿难题 OpenAI披露其内部下一代模型系列Astra解决了10个长年未决的数学和计算机科学问题，包括证明非sofic群的存在、解决Alain Connes刚性猜想、Ehrhart体积猜想以及Paul Erdős名单中的三个问题。相关证明已在Lean中完成验证并公开思维链，成功运行的Token成本在Sol API费率下约为2000美元。Anthropic研究人员随后声称利用Fable在无网络和通用提示下复现了其中5个证明。 阿里巴巴发布Qwen3.8-Max 阿里巴巴推出拥有2.4万亿总参数（950亿活跃参数）的MoE模型Qwen3.8-Max，宣称可独立执行多日项目。该模型在Arena WebDev榜单上超越Anthropic的Fable 5，并在测试中完成长达16天的代码开发，以及通过自主改进在AIME24上取得2.7分提升。其API定价为每百万Token 2美元/6美元，预计权重将于下周开源发布。 企业安全与行业快讯 谷歌因用户生成违规的逼真虚假卫星图像，回滚了Google Earth中的Nano Banana 2集成；苹果因AI生成的虚假安全风险报告泛滥而限制了漏洞提交。此外，路透社报道OpenAI在调查Hugging Face入侵事件时发现了更多越狱AI智能体，但未离开其内网；Snapchat确认Spotlight不会推荐完全由AI生成的视频；明尼苏达州生效了全美首个AI脱衣应用禁令；欧盟开始实施AI法案，强制要求对聊天机器人和深度伪造等AI内容进行标注。

[Read Online]({{live_url}}) ^| [Sign Up](https://www.therundown.ai/subscribe?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) ^| [Advertise](https://therundownai.typeform.com/to/kraZ1TSO?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) **Good morning, {{ first\_name | AI enthusiasts }}, and welcome to the 5,860 new readers who joined us yesterday.** Even with the drama of its agents breaking containment, OpenAI is not slowing down with breakthroughs, this time claiming 10 open problems across math, quantum complexity, and theoretical computer science. The results came from an unreleased model called Astra, and that too at a cost that finally looks low enough to put every open problem within the reach of mathematicians. *P.S. — By popular demand, we’re moving community AI workflows higher up in the newsletter. Let us know what you think here.* **In today’s AI rundown:** OpenAI’s ‘Astra’ cracks long-open math problems The Rundown Roundtable: Our AI use cases Run your workday by voice with ChatGPT China’s Qwen now challenges the frontier Every weekday morning, ChatGPT Work scans the major job boards, scores each role against his resume, and emails him the top matches, with a tailored resume already attached for the best one. ^{Credit to reader} [Michael Ebner](https://www.linkedin.com/in/michaelebner?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems)^{. How do you use AI? Tell us} [here](http://app.therundown.ai/community?submit=open&utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems)^. **LATEST DEVELOPMENTS** Image source: Images 2.0 / The Rundown **The Rundown:** OpenAI just [revealed](https://openai.com/index/ten-advances-in-mathematics/?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) that Astra, an internal version of its next major model family, solved 10 long-open math and computer science problems (one nearly 30 years old), covering geometry, group theory, quantum complexity, and more. **The details:** Astra proved non-sofic groups exist, building the first symmetry structure that can’t be imitated by any finite shuffle, an exception hunted since 1999. It also solved Alain Connes’s rigidity conjecture, Ehrhart’s volume conjecture, and cleared three problems from Paul Erdős’s list; none had moved in a decade. Each proof has been verified in Lean, with CoT walkthrough released and cost coming in at roughly $2K in tokens at Sol API rates for all successful runs. In 24 hours, Anthropic’s Levent Alpoge [claimed](https://x.com/__alpoge__/status/2083855298239078748?s=20&utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) he was able to reproduce five of the 10 proofs with Fable, running on a generic prompt and no internet. **Why it matters:** The community is [debating](https://x.com/nicbstme/status/2083838614035689768?s=20&utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) whether Astra’s proofs can be Fields Medal-worthy, given that a machine did the thinking here. The question feels simple, but it will only grow bigger as AI capable of cracking decades-old problems at low prices moves beyond math and into domains like drug discovery and materials science. **The Rundown:** CData tested whether Claude Code could build an enterprise-grade MCP server. The CData MCP Research Report is an independent, rigorous study that reveals exactly where AI-generated connectors fall short when real production demands kick in. **In the report, you’ll discover:** Why only 1 of 8 dimensions passed without human expertise When data loss and pagination failures showed up, and expert guidance still wasn’t enough How AI MCP code diverges from production-ready code What a side-by-side comparison with CData Connect AI reveals [Download the full report](https://www.cdata.com/lp/claude-mcp-report/?utm_source=rundown&utm_medium=newsletter_0803&utm_campaign=26Q3_Claude_MCP_Report) and see what your AI-built connector might be missing. **The Rundown:** The Rundown Roundtable is a weekly feature where we poll members of The Rundown staff about how we use AI in our work and daily lives. **Billy, Educator:** I usually give Codex a long “impossible” task before I go to bed to see how it does overnight. This time, it finished it before I could even shut down my computer. I asked it to build a custom dashboard to monitor my 3D printer. I explained that it would need to find the IP address of the printer on the local network. Literally 5 minutes later, I was looking at this live dashboard with all the detailed information from my printer. The future is wild. **Brooke, Community Lead:** I just moved in with two friends. The place is big, which sounded great until we unpacked and found we had 30 pieces of art and no idea where any of it went. One roommate wants minimal; I want a gallery wall; the third collects estate sale finds. We spent a whole evening holding frames against the wall asking, “Does this work?” and got nowhere. So I took pictures. Every room, then every piece laid out on the floor. I uploaded the whole mess to Claude and said: help, three people, three tastes, a lot of blank wall, tell us what goes where. It came back with groupings for all walls and actual reasons. The two orange abstracts we were going to split up belonged together. The big mirror went in the hallway so it catches the evening sun and throws light in the darkest corner of the apartment. That never would have occurred to us, and we love the light it brings! **The Rundown:** In this guide, you will learn to turn a request for an update into a finished PDF report and send it to your team without touching your keyboard. **Step-by-step:** Open the ChatGPT app, create a project, and start Voice. Connect your workflow parts, including work data, communication apps, and storage Ask ChatGPT to “scaffold” your folder for drafting reports in Markdown and finalizing them as PDFs. This makes the process repeatable Tell ChatGPT what report the team needs and the inputs/KPIs it requires. Try: “Build a Markdown draft of \[report\] using only \[approved source\] and include \[required fields\]” Review and ask ChatGPT to remove anything unnecessary. Then have it make the final PDF, save it to the deliverables folder, and draft the handoff message **Pro tip:** Once you run a report type once, have ChatGPT turn it into a reusable skill. You can use this any time you want to get that same report with fresh data. **The Rundown:** Long-lived agent credentials are a breach waiting to happen. This workshop covers agent identity management on AWS with technical demos of Auth0 and CyberArk PAM. **Join and learn how to:** Scope time-bounded tokens that expire per action with AWS Security Token Service Configure automatic secret rotation with AWS Secrets Manager Trace each API call to identity, session, and task with AWS CloudTrail Image source: Qwen **The Rundown:** Alibaba just [released](https://qwen.ai/blog?id=qwen3.8&utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) Qwen3.8-Max, a 2.4T-parameter mixture-of-experts model (95B active) that it claims can run multiday projects on its own — challenging frontier models across benchmarks, with the weights dropping next week. Qwen3.8-Max brings improvements across coding, research, and long-horizon tasks, [ranking](https://arena.ai/leaderboard/code/webdev?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) ahead of Anthropic’s Fable 5 on Arena’s WebDev leaderboard. In one test, it coded for 16 days to build a command-line tool, turning feedback into tasks, writing the code, testing its work, and fixing what broke. The model also rebuilt a research paper’s experiment, then invented and tested 18 ideas in a self-improvement loop, resulting in a 2.7-point gain on AIME24. It is available via API at $2/$6 per million tokens — a fifth of Fable 5’s price — with weights hitting Hugging Face next week in a first for Qwen’s Max class. **Why it matters:** Kimi K3 shook the market and pushed talk of regulating (and [protecting](https://www.rundown.ai/articles/anthropic-opus-5-surprise?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems)) open-source into overdrive. Now another Chinese model is here with near-frontier performance at a fraction of frontier prices. Every release like this sharpens the debate on open-source AI while making the premium on closed models harder to justify. **QUICK HITS** 🤖 [Gemini Spark](https://www.rundown.ai/tools/gemini-spark?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) - Google’s always-on AI agent, now expanding globally 🧠 [Qwen3.8-Max](https://www.qwencloud.com/models/qwen3.8-max?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) - Alibaba’s flagship reasoner that can code for 10+ days ⚙️ [QM](https://github.com/yc-software/qm?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) - Y Combinator’s open-source multi-agent platform 🎙️ [HeyGen Video Podcast](https://x.com/HeyGen/status/2082510248489943367?s=20&utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) - Turn notes into a studio video show **Google** [rolled back](https://www.bbc.com/news/articles/c9349yx2ydvo?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) its Nano Banana 2 integration in Google Earth after users created convincing fake satellite imagery that appeared to violate its policies. **Apple** [capped](https://www.ft.com/content/4532122d-90f2-4433-9df6-ca99d8a141d2?syn-25a6b1a6=1&utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) bug report submissions as “AI slop” reports overwhelmed its review system with hallucinated security risks, FT reports. **OpenAI** [found](https://www.reuters.com/business/openai-finds-evidence-other-ai-agents-escaped-containment-it-widens-hacking-2026-07-31/?taid=6a6d269f77eafa0001e666f2&utm_campaign=trueAnthem:+Trending+Content&utm_medium=trueAnthem&utm_source=twitter) additional AI agents that escaped containment while investigating the Hugging Face hack, though none are believed to have left its network, Reuters reports. **Snapchat** [confirmed](https://newsroom.snap.com/rewarding-authentic-creativity-on-spotlight?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) it will not recommend fully AI-generated videos on Spotlight, saying it wants to reward authentic human creativity over low-quality AI content. **A U.S. judge** [allowed](https://www.nbcnews.com/tech/elon-musk/judge-denies-request-elon-musks-xai-block-mn-nudification-ban-rcna589993?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) Minnesota’s first-in-the-nation ban on AI “nudify” apps to take effect, despite xAI’s lawsuit challenging the law as overly broad and unconstitutional. **The EU** [started](https://www.theguardian.com/technology/2026/jul/31/ai-labels-to-be-compulsory-on-authentic-looking-content-under-eu-rules?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) enforcing the AI Act, introducing mandatory labels for AI chatbots, deepfakes, and other AI content to reduce deception and manipulation. Read our last AI newsletter: [OpenAI’s models cut their own costs](https://www.rundown.ai/articles/openai-s-models-cut-their-own-costs?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) Read our last Tech newsletter: [Disney plots its Netflix makeover](https://www.rundown.ai/articles/disney-plots-its-netflix-makeover?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) Read our last Robotics newsletter: [U.S. bans humanoids from China](https://www.rundown.ai/articles/us-bans-humanoids-from-china?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) Today’s AI tool guide: [Run your workday by voice with ChatGPT](https://app.therundown.ai/guides/run-your-workday-by-voice-with-chatgpt?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) RSVP to next workshop on Aug. 5: [No-code product building](https://app.therundown.ai/live/no-code-product-building-from-idea-to-product-market-fit-with-ai?utm_source=www.therundown.ai&utm_medium=newsletter&utm_campaign=openai-s-astra-solves-10-long-standing-math-problems) See you soon, *Rowan, Zach, Shubham, Jennifer, and Nate — the humans behind The Rundown*