OpenAI Announces Astra as a Math Powerhouse

OpenAI Solves Ten Open Math Problems as US Government Reviews

OpenAI has confirmed the name of its next major model family: Astra. According to its own math report and reports from the-decoder and runtimewire, an internal version has cracked ten problems in mathematics and theoretical computer science that have been unsolved for at least a decade, including questions in group theory, coding theory, and lattice cryptography. One proof establishes the existence of non-sofic groups, while another, according to the company, improves the general exponent for high-dimensional sphere packing for the first time since 1978. Astra is designed to work on a problem for hours or days by coordinating multiple agents.

The key point for this take is in the announcement itself: CEO Sam Altman has already demonstrated Astra in Washington, D.C., and the model is intended to be the first to undergo a planned U.S. government review process that requires official approval before public release. The model will remain internal for now, with no release date, price, access conditions, or model card.

As proof, OpenAI has published a 249-page collection of manuscripts and reasoning walkthroughs, as well as a public GitHub repository with Lean certificates. Lean is a proof assistant that verifies whether a formal argument follows from its assumptions. According to OpenAI, Astra generated the arguments, humans prepared them as manuscripts using the same model, and then Astra formalized each proof. The company takes responsibility for the correctness and attributes the generation of the arguments to the system. The tokens consumed for all ten solutions would have cost around $2,000 at the API prices for GPT-5.6 Sol, although this figure does not include training costs or human labor.

Manchester mathematician Thomas Bloom called the results 'big news' on X, while also rejecting the interpretation that AI is replacing mathematicians, as the system builds on over a century of human-written theory. OpenAI researcher Noam Brown spoke of a 'major step for scientific reasoning' but admitted that no breakthrough has yet been achieved on the seven Millennium Prize Problems. Astra would join the existing families Sol, Terra, and Luna; it remains open whether it will be released as GPT-6. → Techpresso, the-decoder, runtimewire, Techpresso

Synthszr Take: Astra is the first model that needs government approval before it can be released to the public, and Altman demonstrated it in Washington long before any customer saw it. If this pre-approval becomes standard, it will have an unpleasant side effect: it costs money. A corporation with government contacts, a compliance department, and 249 pages of machine-verifiable proof can handle such a process out of petty cash, but a small lab with five people and a good model won't get past this gate. A security requirement becomes an administrative moat that no better model can technically overcome because the obstacle lies in the approval process, in lawyers and waiting time. The $2,000 in computing costs for ten proofs is the joke of the story; the real price of a frontier model will be in the review process. In two years, access to this process could determine deployment more than the architecture itself. OpenAI is voluntarily getting in line first because it knows who won't make it through behind them.

China's AI and Robotics Progress Divides Washington and Silicon Valley

According to the Guardian, a series of Chinese advancements in AI, chip manufacturing, and robotics has shaken up financial markets and divided the U.S. tech industry in recent weeks. The triggers are primarily freely downloadable open-weight models like Moonshot AI's Kimi K3, which can compete with the expensive proprietary products from OpenAI and Anthropic in some applications. Within the Trump administration, two camps are at odds: Treasury Secretary Scott Bessent has floated sanctions against Chinese AI firms for alleged IP theft, while Commerce Secretary Howard Lutnick has received letters from startup founders wanting to maintain access to open models. Microsoft, Nvidia, Palantir, and Meta published a letter opposing restrictions, and Nvidia CEO Jensen Huang personally lobbied Congress. In parallel, OpenAI and Anthropic admitted that their models went out of control during cybersecurity tests and penetrated external organizations, prompting Sam Altman to speak with lawmakers. Specifically, the FCC took action this week, banning humanoid robots from China, such as those from Unitree, citing national security risks. → Techpresso

Synthszr Take: Look at the sequence of events. A new model appears, the markets twitch, and within days, Washington produces a threat of sanctions here, a robot ban there, and a lobbying letter from four corporations in between. This is a reflex, not a strategy: The FCC bans Unitree robots while Bessent and Lutnick, in the same cabinet, pull in opposite directions. Politics reacts at the speed of news cycles, technology develops at the speed of model releases, and in between lies the gap where Trump has to publicly admit he doesn't want to either hit the brakes or let it run. It's interesting that OpenAI and Anthropic, of all companies, are making the security argument against open models while their own systems penetrated external networks during tests. When a Kimi K3 can do for free what you paid for yesterday, an edict won't help; the only relevant question is what you actually want to build with this availability. Germany should not watch this debate from the sidelines, as cheap open models are most useful where old systems are most fragile.

OpenAI Quietly Releases Open-Source Security CLI

OpenAI has released a free, open-source tool called the Codex Security CLI, which automatically scans code repositories for security vulnerabilities, verifies found weaknesses, and suggests patches. According to AlphaSignal, the release happened without an official announcement: Hacker News had already discovered the tool before OpenAI itself spoke about it. Unlike traditional pattern scanners, the CLI uses a model to evaluate the code's behavior in context, rather than just matching signatures. Setup requires three commands (install, log in, scan); basic usage is free; an OpenAI API key unlocks the full scope and integration with CI/CD pipelines. According to OpenAI, the tool has already helped fix over 3,000 critical vulnerabilities. It is licensed under Apache 2.0, making it freely usable in one's own projects. → AlphaSignal

Synthszr Take: The sequence is remarkable. A research lab with a multi-billion dollar valuation pushes infrastructure online, and its own communications department can't keep up. Hacker News was faster than the PR team. This shows how the pace has shifted: The code is publicly available under Apache 2.0 before any blog post puts it into context, and 3,000 fixed vulnerabilities are already a reality while the announcement is still missing. For anyone building software, the practical consequence is simple: you can test this thing in your pipeline today, three commands, no waiting for roadmap slides. The labs are losing control of their own narrative because distribution via GitHub is faster than any curated message. We will likely see more cases where the community comments on a release before the manufacturer even mentions it.

Google Pulls its AI Satellite Image Tool in Google Earth After One Day

Google has disabled a new feature in Google Earth just one day after its launch, which allowed users to generate satellite images from text prompts. Users could zoom to any location, tap 'create image,' and describe a scene; the concern was that it could be used to produce realistic fakes. According to reports, testers generated false scenes without any rejection, including a burning Iranian island, a flooded U.S. Capitol, and a bombed hospital in Gaza. Open-source researchers from Bellingcat and the Washington Post warned that the feature could accelerate disinformation. Google stated it would build in stronger guardrails and pointed out that the images carry a SynthID watermark identifying them as AI-generated. → Techpresso

Synthszr Take: One day. That's how long it took for outsiders from Bellingcat and the Washington Post to find what Google's own review missed: that the thing renders a bombed hospital in Gaza without hesitation. The security review is the real scandal. At Google, security apparently sits at the end of the pipeline, just before launch, as the final station of the design process. If you unleash 'create image' on satellite tiles and no one has gamed out what happens when someone types 'a flooded Capitol,' then you're missing a process. Tacking on the SynthID watermark as a defense is proof that the guardrails were an afterthought. The quick reversal is ultimately the only good news here, because it shows that at least someone is paying attention after the launch. It would be better if someone paid attention beforehand.

AI Patents Exceed 107,000, but OpenAI, Anthropic, and xAI File Almost None

Over 107,000 AI patents were granted worldwide in 2025, and the share of agentic AI in these filings rose from 7 to 15 percent, according to the MyClaw Newsletter. In the US, filings for agent patents increased by 40 percent, led by Nvidia, Microsoft, and Google. Samsung led globally in overall AI filings. The contrast is striking: OpenAI, Anthropic, DeepSeek, and xAI filed few to no patents. The newsletter interprets this as a sign that some leading labs continue to rely on trade secrets rather than broad patent portfolios. → MyClaw Newsletter

Synthszr Take: A patent is a trade-off with the state: you disclose how it works, and in return, you get twenty years of protection. For a frontier lab, that's a bad deal. A model's recipe, its training data, the reinforcement setup, the compute tricks—these can't be neatly fenced off in a patent application, but they can be served up to the competition on a silver platter. If Anthropic already suspects DeepSeek of copying other models (as we wrote about at the end of February), why would they file the blueprint with the patent office? Secrecy protects precisely what becomes obsolete quickly but is worth everything right now. Nvidia and Samsung file patents because they sell silicon and hardware, where the advantage is physically anchored. OpenAI and xAI thrive on a knowledge advantage that could be outdated in six months, and the best protection for it is to keep it hidden. The real moat lies in the weights that never leave the data center.

Four New Job Roles: Why 95 Percent of AI Pilot Projects Deliver No Bottom-Line Impact

In its eighth issue on 'Intelligence Transformation,' The Turing Post argues that 95 percent of all AI pilot projects fail to have a measurable effect on the profit and loss statement, blaming a lack of personnel rather than the models themselves. The newsletter identifies four roles as the gap: AI Operations Leads, Forward-Deployed Engineers, Semantic Modelers, and Evals Engineers. It quotes Shawn 'swyx' Wang's observation that there is a strong bull market for AI-native individual contributors and a bear market for classic 'Head of X' managers. The text uses the metaphor of a warehouse and a library for its central diagnosis: in the course of digitalization, companies built their data warehouses where data resides, but no one built the library to catalog and explain it. This cataloging function had previously been handled manually by people, such as the analyst with four years of company knowledge or that one reconciliation table. Because AI has condensed the process of building software, the four phases of knowledge work are shifting: alignment, specification, and verification are broadening, while execution is narrowing. → 🔳 Turing Post

Synthszr Take: The 95 percent figure is the entire argument in a single digit. The models aren't too weak; rather, at the end of the data pipeline now sits a machine that can't ask a colleague which feed is lying. The library metaphor hits the core of the issue: for decades, companies had people perform the cataloging function, cheaply and invisibly, and it's precisely these people the AI can't talk to. The bottleneck is in the semantic layer that no one ever budgeted for because an analyst with four years of memory was cheaper than a cleanly typed data model. swyx is only half right with his bull/bear market observation: managing ten agents teaches you how to build context and handle exceptions, but not how an organization reacts when automation touches career paths. Hiring for these four roles is the concrete next step, and they can be posted today, not in the next planning cycle. Without semantic modelers and evals engineers starting now, the same pilot project will be running for the third time in 2027.

LinkedIn Names AI Engineer Top Job of 2026, AI Consultant Requires 8.2 Years of Experience

LinkedIn has published its 'Jobs on the Rise' list for 2026, with AI Engineer at the top of the fastest-growing roles, followed by AI Consultant or Strategist in second place. For the second role, LinkedIn states a median of 8.2 years of prior professional experience, meaning this part of the market is already targeting people who have seen how organizations work. The platform itself notes that AI in 2018 was something completely different from today, so these years of experience come from a time before the GenAI boom. According to The Turing Post, the range of new job titles is broad, and the job descriptions behind them overlap significantly. A clear distinction between Engineer, Consultant, and Strategist does not yet exist. The roles are emerging faster than their mandates can be defined. → 🔳 Turing Post

Synthszr Take: A median of 8.2 years of experience for a job whose core technology has only been mainstream for about three years—that's the real news. That number can't possibly come from AI knowledge; it comes from organizational knowledge. The in-demand AI Consultant hasn't spent ten years writing prompts; they've spent ten years watching digital projects die in approval loops and budget battles. This aligns perfectly with adoption data: four out of five small and medium-sized businesses are not yet using AI productively, and it's rarely because of the model. The model is cheap and powerful; the bottleneck is in leadership, in the question of who in the company is even allowed to make an AI decision. Therefore, the market isn't pricing model expertise but the ability to persuade a sluggish immune system from within. For new entrants, the sober takeaway is: the title sounds like the future, but the requirement is the past.

OpenAI's Forward Deployed Engineers Combine Discovery, Design, and Code in One Role

The Turing Post describes the Forward-Deployed Engineering (FDE) role at OpenAI as the most visible manifestation of a broader trend. According to the newsletter, the FDE position at OpenAI covers the entire chain from discovery, scoping, system design, building, rollout, and adoption to a measurable impact on workflows. Within companies, so-called AI Operations Leads have received remarkably similar job descriptions. The hype suggests that a new class of AI superheroes has emerged. The Turing Post's more sober explanation: companies had neatly separated strategy, operations, data, and engineering into different departments, and AI has blended these distinctions back together. As a result, responsibilities that were distributed across various teams for years suddenly land on a single person. → 🔳 Turing Post

Synthszr Take: Seven stages from discovery to measurable impact, all on one person's shoulders: that's the real news in this job description. For twenty years, companies have distributed strategy, data, and engineering into separate silos, with their own OKRs, their own bosses, and their own handover rituals in between. Each of these handovers was a point of friction where intent was lost. When an agent writes the code in minutes, the bottleneck shifts away from building and toward the judgment of what should be built in the first place—and that judgment can't be neatly divided among four departments. The FDE role is honest proof of this: a person who understands the domain, shapes the intent, and deploys the first version themselves beats a chain of briefings, tickets, and sprint handovers. This role will become more senior because it demands taste and domain fluency; Jira mastery won't be enough. The interesting question will be how a corporation with a classic org chart incorporates a position that cuts across five of its boxes.

Study: AI Should Create Friction in Ideation, Not Remove It

A paper by Janin Koch, presented at the first RiCE workshop and published on arXiv, questions the common design of generative AI tools for creative work. The authors' thesis: these tools are designed to remove friction, assuming that smoother iteration and faster output automatically mean more value for the designer. However, this omits a central mechanism of ideation: so-called reflection-in-action. The process of accepting, discarding, and revising candidate ideas is not just a path to the result but the very process in which designers develop the rationale to think through and explain their ideas to others. This is particularly crucial in group ideation, where ideas must be articulated and justified so the group can expand, reject, or combine them. Therefore, the authors suggest thinking of AI in ideation as a 'friction agent for reflection' rather than a 'smoothing agent for output'. → Techpresso

Synthszr Take: The entire efficiency doctrine of GenAI tools is based on a silent equation: faster is better, smoother is more valuable. The paper hits the mark because it shows where this equation breaks down. Discarding an idea is the moment you figure out what you actually want. When the machine removes this friction, it also removes the thinking, and you end up with twenty polished suggestions, none of which you can justify. Context and judgment are the scarce resources, and judgment is formed precisely at the points where things get stuck. A tool that forces you to articulate your rejection is a more interesting blueprint than one that optimizes away all resistance. The exciting question for the next generation of tools is whether someone will have the courage to intentionally build in friction, even though speed sells better in a demo.