Article summary — original
Last Week in AI #346: OpenAI Releases 719 Math Manuscripts, New Western Open Models, Safety Resignation, and Industry Updates
Issue #346 covers OpenAI's release of 719 mathematical manuscripts from an unreleased frontier model, two new Western open-weight model launches countering Chinese alternatives, the resignation of an OpenAI safety researcher, watermarking and detection updates from Google and OpenAI, Anthropic's price cuts, and a wide array of commercial, policy, and research developments.
OpenAI published 719 math manuscripts across 372 topic families using an unreleased frontier model, drawing scrutiny over closed testing access.
Mistral and Reflection AI released open-weight frontier models (Le Chonk and Beam) explicitly positioned against dominant Chinese alternatives.
OpenAI safety researcher David Robinson resigned, writing in The Atlantic that the lab's trial-and-error release culture is broken.
Google launched its public SynthID Detector site, while OpenAI introduced text watermarking for EU ChatGPT users under the EU AI Act.
Anthropic launched Claude Haiku 5.5 with a 90% price cut for standard contexts to counter GPT-6 Luna.
Additional developments include new products, major funding rounds, legal decisions, executive orders, and research benchmarks.
OpenAI Publishes 719 Mathematical Proofs from Unreleased Model
OpenAI published 719 mathematical manuscripts covering 372 topic families on a public GitHub repository on October 6, 2026, generated by an unreleased internal frontier model. The release includes Lean formalizations, reasoning summaries, and compute estimates. The same model produced an earlier Navier-Stokes result. OpenAI consulted the Advisory Group on Mathematics and Artificial Intelligence (AGMAI) on dissemination protocols, but Gizmodo noted that OpenAI did not follow AGMAI's recommendation to stop testing advanced problems solely on proprietary models inaccessible to the scientific community.
Western Open-Weight Alternatives: Mistral and Reflection AI
Two Western AI labs introduced frontier open-weight models designed to challenge Chinese dominance in the space. France's Mistral previewed Mistral Large 4 ('Le Chonk'), a 1-trillion-parameter multimodal model focused on coding, cyberdefense, and industry tasks. Brooklyn-based Reflection AI unveiled Beam, a 501-billion-parameter mixture-of-experts model that Reflection reports matches Z.ai's GLM-5.2 and beats Western open models at lower inference compute, though trailing top Chinese models like Kimi K3 or GLM-5.3.
OpenAI Safety Resignation and Alignment Critique
OpenAI safety researcher David Robinson resigned after 3.5 years, publishing an essay in The Atlantic stating the company's culture is 'broken.' Robinson criticized OpenAI's trial-and-error release cycle, arguing that periodic safety failures escalate in danger as systems grow more capable, citing Hugging Face breaches and rogue agents. He advocated for operating like nuclear plants or aviation with layered redundancy and stronger external safety incentives. His exit follows capabilities researcher Jacob Coxon's September resignation from Anthropic.
AI Watermarking and Detection Rollouts
Google opened its SynthID Detector site to the public, allowing users to verify if media was generated with AI, with adoption spreading to partners like OpenAI, Nvidia, and Kakao alongside verification integration in Chrome and Gemini. Meanwhile, OpenAI announced it will begin applying invisible text watermarks to ChatGPT and Codex outputs within the European Union to adhere to transparency mandates under the EU AI Act.
Anthropic Slashes Pricing with Claude Haiku 5.5
Anthropic introduced Claude Haiku 5.5, cutting API prices by 90% for prompts under 100,000 tokens to $0.10 per million input tokens and $0.50 per million output tokens. This matches OpenAI's GPT-6 Luna short-context pricing, though Luna's cheaper tier extends further to 272,000 input tokens. Prompts exceeding 100,000 tokens receive a 50% cut.
Industry, Policy, and Research Roundup
Product news includes TikTok's AI shopping assistant, Google's on-device EmbeddingGemma 2 and browser game platform, ChatGPT's 'Intelligent UI' and upcoming visual ads, Meta Muse surpassing 5 million downloads, and ElevenLabs doubling its valuation to $22 billion. Policy and legal developments include a Trump executive order mandating the term 'Super Intelligence,' California data center regulations, dismissed antitrust suits against Google AI Overviews, and a Pentagon video-based procurement program. On the research front, arXiv instituted submission limits to curb AI slop, alongside new papers on agent fleet tracking, code benchmarks (E2E-SWE), and attention architectures.
Saved original article
Sources:
[OpenAI drops another batch of mathematical breakthroughs](https://www.theverge.com/ai-artificial-intelligence/1005004/openai-math-release-github)
[Sharing AI progress in mathematics](https://openai.com/index/sharing-ai-progress-in-mathematics/)
[OpenAI Releases Findings on 377 Math Problems, Further Roiling Field](https://www.nytimes.com/2026/10/06/science/openai-math-problems.html)
[All the drama around AI’s takeover of mathematics](https://www.theverge.com/ai-artificial-intelligence/1004933/ai-math-openai-breakthrough-solution)
OpenAI published a large batch of mathematical results on October 6, 2026, produced by an internal frontier model that has not been released publicly. As of now, there are 719 manuscripts covering 372 topic families (groupings of related papers) on OpenAI’s [public repository](https://github.com/openai/math) with the results, as well as formalizations in Lean for many of the proofs. There are also 10 summaries of the model’s reasoning, compute estimates expressed in ChatGPT Pro usage, and statistics on problems attempted.
The same unreleased model produced the Navier-Stokes result OpenAI announced about a month earlier, one of the Clay Mathematics Institute’s seven Millennium Prize Problems. OpenAI said it consulted the Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study on how to share the work, and that the repository carries protocols for paper revisions and citations. Research lead Dan Roberts described the proofs as a byproduct of testing internal models to build better tools.
AGMAI’s September 29 recommendations asked labs to disclose model names, prompts and compute costs, to avoid treating mathematical results as marketing vehicles, and to stop testing advanced problems on proprietary models the wider scientific community cannot access. Gizmodo noted that last recommendation does not appear to have been followed. In a statement, the board called public release “the beginning, not the completion, of the process of human understanding and the incorporation of the work into mathematical knowledge.”
**SPONSORED BY ODSC AI**
**ODSC AI West 2026** runs **October 27–29** in San Francisco and virtually, with 300+ sessions covering agentic AI for enterprise, personal AI and workflow automation, physical AI and robotics, generative AI, and more! Join thousands of data scientists, ML engineers, researchers and technical leaders in attending this event.
**[Register at odsc.ai/west](https://odsc.ai/west/)** — promo code LWAI takes an additional 15% off any pass.
[Mistral Says Its New AI Model ‘Le Chonk’ Is the Best Open-Weight Offering Outside of China](https://www.wired.com/story/mistral-new-model-le-chonk-open-source-china-us-frontier/)
[Reflection debuts Beam, an open-weight AI model to rival Chinese models at lower compute cost](https://techcrunch.com/2026/10/05/reflection-debuts-beam-a-open-weight-ai-model-to-rival-chinese-models-at-lower-compute-cost/)
Two Western labs released frontier open-weight models within days of each other, both pitched explicitly as alternatives to the Chinese models that dominate the open category.
French company Mistral released Mistral Large 4, nicknamed Le Chonk, a 1-trillion-parameter multimodal model available in preview with a final version due by the end of the month. The company describes it as a general-purpose model optimized for coding and cyberdefense, plus tasks specific to manufacturing, finance and electrical engineering. Mistral presents Le Chonk as by far the most capable open-weight model built outside China and very, very close to some proprietary models.
Brooklyn-based Reflection AI unveiled Beam, a text-only mixture-of-experts model with 501 billion total parameters and 23 billion active, pretrained on 23.8 trillion tokens with a 1-million-token context window. Reflection says Beam matches Z.ai’s GLM-5.2 on advanced reasoning benchmarks and beats leading Western open models while using 3-4x less inference compute (though it does not match the best open source models such as Kimi K3 or GLM-5.3). Weights and full technical details are due this month.
**SPONSORED BY LANGFUSE**
**Langfuse** is the most widely adopted open-source platform for AI agent evals and observability, trusted by Canva, Twilio, Ramp and 21 of the Fortune 50. Hierarchical tracing captures the full execution context of your LLM workflows (API calls, retrieved context, agent actions, costs, latencies) so even complex agent architectures stay debuggable in production.
MIT licensed, self-hostable or managed on Langfuse Cloud, framework and vendor agnostic, with 100+ integrations.
**[Get started at langfuse.com](https://langfuse.com/lastweek)**; generous free tier, no credit card required.
[An OpenAI safety employee has quit and is sounding the alarm](https://www.theverge.com/ai-artificial-intelligence/1004408/openai-safety-quits-sounding-the-alarm)
[I Quit OpenAI Because Its Culture Is Broken](https://www.theatlantic.com/technology/2026/10/openai-safety-team-resignation/688881/)
[OpenAI safety employee resigns, claiming the company’s ‘culture is broken’](https://techcrunch.com/2026/10/03/openai-safety-employee-resigns-claiming-the-companys-culture-is-broken/)
[The AI Researcher Who Just Quit Anthropic Says It’s ‘Crunch Time for Humanity’](https://www.wired.com/story/anthropic-researcher-quits-jacob-coxon-ai-fears-humanity/#intcid=_wired-tag-right-rail_657a3a80-e3b1-4d4b-9381-1ffc3de44d75_popular4-2)
[Jacob Coxon and Other AI Lab Employees on Why They Quit](https://nymag.com/intelligencer/article/ai-researchers-quit-openai-anthropic.html)
OpenAI safety researcher David Robinson resigned and published an essay in The Atlantic on October 3, 2026 titled ‘I Quit OpenAI Because Its Culture Is Broken’, arguing the company is not careful enough with increasingly capable systems. Robinson said he spent three and a half years at OpenAI, making him among the longest-tenured employees, led the drafting of the current Preparedness Framework, and oversaw the writing of safety reports on 12 frontier launches.
His central complaint is with OpenAI’s release model. The company, he wrote, has thrived by trial and error, looking for problems and improving its guardrails in response. But, that approach guarantees periodic failures whose scale grows as systems get more capable. He pointed to the breach of Hugging Face systems by OpenAI agents and continuing discoveries of rogue agents, saying an environment where such things happen is no place to grow artificial minds that could be smarter than we are.
Robinson’s proposed remedy is that frontier labs operate like nuclear-power plants or busy airports, with layers of redundancy and careful, time-consuming planning so that inevitable human error does not open a door to disaster. He also called for deeper alignment work, noting current measures of how well systems match human values are coarse, and said he concluded that stronger safety incentives from outside the company are a big part of getting this right.
The essay follows Jacob Coxon’s September resignation from Anthropic, where he worked as a capabilities researcher, and his warning that the companies are gambling with our lives. Robinson argues the debate must go beyond specific rules or new laws to company culture itself.
[Google’s new SynthID website can identify AI-generated media](https://techcrunch.com/2026/10/07/googles-new-synthid-website-can-identify-ai-generated-media/)
[OpenAI will start watermarking ChatGPT’s text in the EU](https://techcrunch.com/2026/10/05/openai-will-start-watermarking-chatgpts-text-in-the-eu/)
Google opened its SynthID Detector website to the public on Tuesday, letting anyone upload a file to check whether it was generated with AI. The tool had previously been limited to selected journalists, media professionals, and researchers who tested it following Google I/O last year. SynthID is the watermarking system Google introduced in 2023, which is embedded in output from Nano Banana, Veo, and Lyria, as well as Gemini, Flow, ProducerAI, and Vids.
Adoption extends past Google. OpenAI, Nvidia, and Kakao also support SynthID, and Apple is said to be adding support soon. Google has also built SynthID verification into the Gemini app and Chrome, and says users currently make 1 million verification requests per day. Microsoft and Meta maintain separate watermarking standards, though TechCrunch notes these tools often fail to flag content made by their own creators’ models.
Separately, OpenAI said Monday it will begin adding an invisible watermark to text from ChatGPT and Codex in the European Union, to comply with the EU AI Act’s transparency rules that took effect on August 2. The rollout covers eligible users on all plans in the EU over the coming weeks; API developers worldwide can switch it on for select models today, off by default.
[Anthropic launches Claude Haiku 5.5 with 90% API price reduction, matching GPT-6 Luna](https://venturebeat.com/technology/anthropic-launches-claude-haiku-5-5-with-90-api-price-reduction-matching-gpt-6-luna)
[Anthropic Releases Claude Haiku 5.5: A Small Model With 1M Context Priced at $0.10 per Million Input Tokens](https://www.marktechpost.com/2026/10/07/anthropic-releases-claude-haiku-5-5-a-small-model-with-1m-context-priced-at-0-10-per-million-input-tokens/)
Anthropic released Claude Haiku 5.5 on October 7, 2026, cutting prices by 90% versus Haiku 4.5 for prompts up to 100,000 tokens and pitching the model at high-volume work such as summarization, classification, document Q&A and subagent tasks. The short-context tier costs $0.10 per million input tokens and $0.50 per million output tokens, with cache reads at $0.01 and five-minute cache writes at $0.125. Haiku 4.5 charged $1.00 and $5.00.
Pricing splits at 100,000 prompt tokens. Above that line, rates rise to $0.50 input and $2.50 output, a 50% cut rather than 90%. Anthropic says about 90% of Haiku 4.5 requests fell under the threshold, and estimates workloads run roughly 75% cheaper on average after accounting for a new tokenizer that counts the same text as about 30% more tokens. Batch processing takes another 50% off.
The lower rates match OpenAI’s GPT-6 Luna on all four short-context figures, but Luna’s higher tier starts only above 272,000 input tokens at $0.20 and $0.75, so MarkTechPost calculated it is cheaper on list price for a 150,000-token prompt. Google’s Gemini 3.5 Flash-Lite charges a flat $0.30/$2.50.
[TikTok rolls out an AI shopping assistant and one-click checkout](https://techcrunch.com/2026/10/05/tiktok-rolls-out-an-ai-shopping-assistant-and-one-click-checkout/). The AI assistant provides product recommendations and checkout support within the app’s main feed, while the one-click checkout feature allows users to purchase directly from brands without leaving TikTok.
[Google launches EmbeddingGemma 2, an open multimodal embedding model for devices](https://thenextweb.com/news/embeddinggemma-2-on-device-europe). The 740-million-parameter model can search across text, code, images, audio, and video while running entirely on-device with minimal memory requirements, using a single 768-dimension embedding space to map all modalities together.
[Google experiments with an AI-powered gaming platform](https://techcrunch.com/2026/10/07/google-experiments-with-an-ai-powered-gaming-platform/). The platform lets users create browser-based games by describing their ideas in text, selecting a genre and gameplay style, and uploading visuals for the AI to transform into game assets.
[ChatGPT’s ‘Intelligent UI’ update fills its responses with pictures, charts, and buttons](https://www.theverge.com/ai-artificial-intelligence/1007276/openai-chatgpt-intelligent-ui-gpt-6). The feature enables ChatGPT to automatically generate diagrams, charts, interactive buttons, and other visual elements alongside text responses to better illustrate concepts and allow users to build tools like calculators or games directly within the chat.
[OpenAI launches visual ads that appear alongside image generation results](https://techcrunch.com/2026/10/05/openai-launches-visual-ads-that-appear-alongside-image-generation-results/). The ads will appear next to AI-generated images in ChatGPT starting later this month in the U.S., with OpenAI also expanding measurement tools and brand safety partnerships to attract advertisers seeking to reach the platform’s 1.2 billion weekly users.
[ElevenLabs’ valuation doubles to $22 billion on surging AI voice-agent demand](https://www.reuters.com/legal/transactional/elevenlabs-valuation-doubles-22-billion-surging-ai-voice-agent-demand-2026-09-30/). The company doubled its valuation through a $300 million employee tender offer, driven by surging demand for its AI voice agents which now handle over 15 million conversations weekly across more than 90 languages.
[Meta’s Muse tops 5 million downloads, faster than ChatGPT, Claude](https://finance.yahoo.com/technology/article/metas-muse-tops-5-million-downloads-faster-than-chatgpt-claude-161145561.html). The app, which features a customizable avatar and consumer-friendly interface, achieved the milestone in less than a month after its September launch, aided by significant in-house advertising investment from Meta.
[Samsung forecasts record third-quarter profit of $80 billion on AI boom](https://www.cnbc.com/2026/10/08/samsung-q3-earnings.html). The South Korean tech giant’s chip business is being driven by soaring demand for AI infrastructure, with memory and supply constraints continuing to support higher prices.
[China’s Manus raises over $500M in first funding round since split with Meta](https://techcrunch.com/2026/10/08/chinas-manus-raises-over-500m-in-first-funding-round-since-split-with-meta/). The funding round comes after Chinese authorities blocked Meta’s $2 billion acquisition of the AI startup last year, and Manus plans to expand hiring while exploring a potential Hong Kong IPO.
[Trump orders US government to call AI ‘Super Intelligence’](https://www.theverge.com/policy/1002468/trump-ai-superintelligence-executive-order-ai). The executive order mandates that all US government agencies replace references to “artificial intelligence” with “Super Intelligence” in official documents and communications, a move Trump justified by arguing the term better reflects the technology’s power and potential benefits.
[What to know about 7 new data center laws Gavin Newsom signed](https://calmatters.org/digital-democracy/2026/09/new-california-laws-data-centers/). The laws require data center operators to cover their own infrastructure costs, disclose resource usage, and meet conservation standards to qualify for expedited environmental approvals, marking a shift from Newsom’s previous opposition to regulating the industry.
[The Pentagon Hopes to Speed Up ‘Kill Chain’ AI Buys With 5-Minute Videos](https://www.wired.com/story/the-pentagon-hopes-to-speed-up-kill-chain-ai-buys-with-5-minute-videos/). The program accepts AI products through five-minute video submissions and grants selected vendors a “post-competitive” status that allows the Pentagon to bypass standard competitive procurement rules and award contracts in as little as a week.
[Judge dismisses antitrust lawsuits over Google’s AI Overviews](https://www.theverge.com/tech/1003589/google-ai-overviews-chegg-penske-lawsuits-dismissed). A federal judge ruled that publishers like Chegg and Rolling Stone parent company Penske Media failed to demonstrate illegal anticompetitive behavior, finding that Google’s practice of generating summaries from web content without compensation does not violate antitrust law.
[ChatGPT for Teens is an ‘unacceptable risk,’ says Common Sense Media](https://www.theverge.com/ai-artificial-intelligence/1006355/openai-chatgpt-for-teens-common-sense-media). The organization’s testing found that ChatGPT’s Teen mode features, including parental notifications and eating disorder alerts, are unreliable and inadequate for protecting minors from potential harms.
[Researchers are tracking a Chinese AI ‘agent fleet’](https://techcrunch.com/2026/10/05/researchers-are-tracking-a-chinese-ai-agent-fleet/). Researchers discovered multiple AI agents running on Tencent’s infrastructure that were querying Alibaba’s map service for directions to various public locations, with no apparent coordination between the agents’ activities.
[E2E-SWE: Benchmarking LLMs on Building Working Codebases from Scratch](https://arxiv.org/abs/2609.38335). The benchmark evaluates LLMs on their ability to generate complete, functional codebases from natural language specifications across 186 multilingual tasks, with rigorous quality controls to ensure test specifications are solvable and match the stated requirements.
[Looped Diffusion Transformer](https://arxiv.org/abs/2609.40305). The method uses repeated application of shared neural network blocks during image generation to improve quality and efficiency, requiring fewer parameters and less computation than standard approaches while enabling iterative visual refinement within hidden representations.
[Triadic Linear Attention: Three-Dimensional Recurrent States for Long-Context Sequence Modeling](https://arxiv.org/abs/2609.36529). The method extends linear attention models by using three-dimensional tensor states instead of matrix states, allowing them to maintain larger memory capacity for better long-context performance without significantly increasing parameters.
[arXiv Is Rate Limiting Submissions Because It Can’t Keep up With AI Slop](https://www.404media.co/arxiv-is-rate-limiting-submissions-because-it-cant-keep-up-with-ai-slop/). The platform has implemented submission caps limiting researchers to two papers per month and three concurrent submissions, citing an overwhelming volume of AI-generated content that has strained its volunteer moderation team.
[Planning to Learn](https://arxiv.org/abs/2610.03667). Researchers propose treating supervised learning as a resource-allocation problem where a loss function should weight examples based on how much accuracy they can gain with the remaining training budget, rather than immediate gradient information.