{"id":127783,"date":"2026-08-03T09:33:22","date_gmt":"2026-08-03T09:33:22","guid":{"rendered":"https:\/\/www.europesays.com\/ai\/127783\/"},"modified":"2026-08-03T09:33:22","modified_gmt":"2026-08-03T09:33:22","slug":"openais-astra-solves-10-long-standing-math-problems","status":"publish","type":"post","link":"https:\/\/www.europesays.com\/ai\/127783\/","title":{"rendered":"OpenAI’s ‘Astra’ solves 10 long-standing math problems"},"content":{"rendered":"

\"\"<\/a><\/p>\n

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.<\/p>\n

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>\n

P.S. \u2014 By popular demand, we\u2019re moving community AI workflows higher up in the newsletter. Let us know what you think here<\/a>.<\/p>\n

OpenAI\u2019s \u2018Astra\u2019 cracks long-open math problems<\/p>\n

The Rundown Roundtable: Our AI use cases<\/p>\n

Run your workday by voice with ChatGPT<\/p>\n

China\u2019s Qwen now challenges the frontier<\/p>\n

COMMUNITY AI WORKFLOW OF THE DAY<\/p>\n

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.<\/p>\n

OPENAI<\/p>\n

\"\"<\/p>\n

Image source: Images 2.0 \/ The Rundown<\/p>\n

The Rundown: OpenAI just revealed<\/a> 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.<\/p>\n

Astra proved non-sofic groups exist, building the first symmetry structure that can\u2019t be imitated by any finite shuffle, an exception hunted since 1999.<\/p>\n

It also solved Alain Connes\u2019s rigidity conjecture, Ehrhart\u2019s volume conjecture, and cleared three problems from Paul Erd\u0151s\u2019s list; none had moved in a decade.<\/p>\n

Each proof has been verified in Lean, with CoT walkthrough released and cost coming\u00a0in at roughly $2K in tokens at Sol API rates for all successful runs.<\/p>\n

In 24 hours, Anthropic\u2019s Levent Alpoge claimed<\/a> he was able to reproduce five of the 10 proofs with Fable, running on a generic prompt and no internet.<\/p>\n

Why it matters: The community is debating<\/a> whether Astra\u2019s 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.<\/p>\n

TOGETHER WITH CDATA<\/p>\n

\"\"<\/a><\/p>\n

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.<\/p>\n

In the report, you\u2019ll discover:<\/p>\n

Why only 1 of 8 dimensions passed without human expertise<\/p>\n

When data loss and pagination failures showed up, and expert guidance still wasn\u2019t enough<\/p>\n

How AI MCP code diverges from production-ready code<\/p>\n

What a side-by-side comparison with CData Connect AI reveals<\/p>\n

THE RUNDOWN ROUNDTABLE<\/p>\n

\"\"<\/a><\/p>\n

Image source: Billy Howell<\/p>\n

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.<\/p>\n

Billy, Educator: I usually give Codex a long \u201cimpossible\u201d 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.<\/p>\n

Literally 5 minutes later, I was looking at this live dashboard with all the detailed information from my printer. The future is wild.<\/p>\n

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, \u201cDoes this work?\u201d and got nowhere.<\/p>\n

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. <\/p>\n

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!<\/p>\n

AI TRAINING<\/p>\n

\"\"<\/a><\/p>\n

The Rundown:\u00a0In 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.<\/p>\n

Open the ChatGPT app, create a project, and start Voice. Connect your workflow parts, including work data, communication apps, and storage<\/p>\n

Ask ChatGPT to \u201cscaffold\u201d your folder for drafting reports in Markdown and finalizing them as PDFs. This makes the process repeatable<\/p>\n

Tell ChatGPT what report the team needs and the inputs\/KPIs it requires. Try: \u201cBuild a Markdown draft of [report] using only [approved source] and include [required fields]\u201d<\/p>\n

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<\/p>\n

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.<\/p>\n

PRESENTED BY AWS<\/p>\n

\"\"<\/a><\/p>\n

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.<\/p>\n

Scope time-bounded tokens that expire per action with AWS Security Token Service<\/p>\n

Configure automatic secret rotation with AWS Secrets Manager<\/p>\n

Trace each API call to identity, session, and task with AWS CloudTrail<\/p>\n

ALIBABA<\/p>\n

\"\"<\/p>\n

The Rundown: Alibaba just released<\/a> Qwen3.8-Max, a 2.4T-parameter mixture-of-experts model (95B active) that it claims can run multiday projects on its own \u2014 challenging frontier models across benchmarks, with the weights dropping next week.<\/p>\n

Qwen3.8-Max brings improvements across coding, research, and long-horizon tasks, ranking<\/a> ahead of Anthropic\u2019s Fable 5 on Arena\u2019s WebDev leaderboard.<\/p>\n

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.<\/p>\n

The model also rebuilt a research paper\u2019s experiment, then invented and tested 18 ideas in a self-improvement loop, resulting in a 2.7-point gain on AIME24.<\/p>\n

It is available via API at $2\/$6 per million tokens \u2014 a fifth of Fable 5\u2019s price \u2014 with weights hitting Hugging Face next week in a first for Qwen\u2019s Max class.<\/p>\n

Why it matters: Kimi K3 shook the market and pushed talk of regulating (and protecting<\/a>) 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.<\/p>\n

\ud83e\udd16\u00a0Gemini Spark<\/a> – Google\u2019s always-on AI agent, now expanding globally<\/p>\n

\ud83e\udde0\u00a0Qwen3.8-Max<\/a> – Alibaba\u2019s flagship reasoner that can code for 10+ days<\/p>\n

\u2699\u00a0QM<\/a> – Y Combinator\u2019s open-source multi-agent platform<\/p>\n

Google rolled back<\/a> its Nano Banana 2 integration in Google Earth after users created convincing fake satellite imagery that appeared to violate its policies.<\/p>\n

Apple capped<\/a> bug report submissions as \u201cAI slop\u201d reports overwhelmed its review system with hallucinated security risks, FT reports.<\/p>\n

OpenAI found<\/a> additional AI agents that escaped containment while investigating the Hugging Face hack, though none are believed to have left its network, Reuters reports.<\/p>\n

Snapchat confirmed<\/a> it will not recommend fully AI-generated videos on Spotlight, saying it wants to reward authentic human creativity over low-quality AI content.<\/p>\n

A U.S. judge allowed<\/a> Minnesota\u2019s first-in-the-nation ban on AI \u201cnudify\u201d apps to take effect, despite xAI\u2019s lawsuit challenging the law as overly broad and unconstitutional.<\/p>\n

The EU started<\/a> enforcing the AI Act, introducing mandatory labels for AI chatbots, deepfakes, and other AI content to reduce deception and manipulation.<\/p>\n

That’s it for today!<\/p>\n

Before you go we\u2019d love to know what you thought of today’s newsletter to help us improve The Rundown experience for you.<\/p>\n

Rowan, Zach, Shubham, Jennifer, and Nate \u2014 the humans behind The Rundown<\/p>\n

\"\"<\/p>\n","protected":false},"excerpt":{"rendered":"Good morning, {{ first_name | AI enthusiasts }}, and welcome to the 5,860 new readers who joined us…\n","protected":false},"author":2,"featured_media":127784,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7],"tags":[25,711,157,134],"class_list":["post-127783","post","type-post","status-publish","format-standard","has-post-thumbnail","category-openai","tag-artificial-intelligence","tag-future","tag-openai","tag-technology"],"_links":{"self":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/posts\/127783","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/comments?post=127783"}],"version-history":[{"count":0,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/posts\/127783\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/media\/127784"}],"wp:attachment":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/media?parent=127783"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/categories?post=127783"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/tags?post=127783"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}