OpenAI Releases Over 700 Math Papers Alongside Model Launches from Mistral and Hark

OpenAI Releases Over 700 Math Papers Alongside Model Launches from Mistral and Hark The Rundown's newsletter highlights a massive drop of AI-generated mathematics papers from OpenAI, Mistral AI's release of its 1T-parameter model 'Le Chonk,' and Brett Adcock's launch of the proactive assistant Hark Pro, alongside various other AI product updates. OpenAI published 722 math papers spanning 372 result families from an unreleased internal model, claiming to advance open problems including the quasi-Riemann hypothesis. Mistral AI unveiled Large 4 ('Le Chonk'), a 1-trillion-parameter open model targeting top coding, cybersecurity, and legal benchmarks. Brett Adcock's startup Hark launched Hark Pro, a proactive web and mobile assistant powered by its cloud-based Handoff engine. Utah became the first state to authorize an AI app (Nolla Health) to diagnose acne and prescribe medication directly. OpenAI's Mathematical Paper Drop OpenAI released 722 math papers grouped into 372 result families generated by an unreleased internal model. The company claims these papers advance or solve major open mathematical problems, with its most prominent claim being a proof of the quasi-Riemann hypothesis. Among the releases, 162 papers have main results formalized in Lean for computer verification. OpenAI noted that nearly all results required only a single prompt averaging three hours of ChatGPT Pro compute. The release drew praise, including Anthropic mathematician Levent Alpöge calling it the most significant moment in mathematical history, alongside reported pushback from mathematicians criticizing the unspaced volume of releases. Mistral AI Debuts Large 4 'Le Chonk' French AI firm Mistral introduced Large 4, a 1-trillion-parameter open model nicknamed 'Le Chonk.' Mistral states the model outperforms non-Chinese open systems, scoring 62% on coding benchmarks compared to 44% for Reflection AI's Beam and 68% for China's Kimi K3. Mistral also reported strong performance in cybersecurity evaluations and legal tasks. A preview has been provided to government agencies and cybersecurity specialists, with public model weights scheduled for release on October 27. Hark Launches Proactive Assistant Hark Pro Figure AI founder Brett Adcock's startup Hark launched Hark Pro, a personal assistant across web and mobile designed to manage preferences, suggest actions, and execute tasks such as shopping and booking. Hark Pro runs on Handoff, Hark's proprietary cloud computer capable of operating up to 36 browsers simultaneously. The product offers free and paid tiers, with plans to introduce AT&T-connected hardware devices in 2027. Industry Briefs Utah became the first state to grant AI prescription authority by clearing Nolla Health's acne diagnosis app. Meanwhile, voice startup Sesame debuted Personal Agents ahead of planned 2027 AI glasses, OpenAI began testing a Meetings plugin for ChatGPT on Mac, Anthropic integrated Claude into Google Docs, Sheets, and Slides, and Vals AI deployed Claude Opus 5.5 agents to evaluate magnetic candidates for room-temperature semiconductor applications.

OpenAI集中发布超700篇数学论文，Mistral推出万亿参数开源模型 本期简报汇总了人工智能领域的最新进展：OpenAI凭借内部模型产出数百篇数学论文并引发学界热议，法国Mistral AI推出万亿参数开源模型Large 4，Brett Adcock旗下Hark发布多端主动型AI助手，同时涵盖多项行业应用与工具快讯。 OpenAI发布内部模型生成的722篇数学论文，宣称解决或推进了多项重大开放问题，包括弱化版黎曼猜想证明。 Mistral AI发布万亿参数开源模型Large 4（代号Le Chonk），在网络安全和法律基准测试中表现亮眼。 Figure AI创始人Brett Adcock旗下Hark推出个人助理Hark Pro，支持跨云端浏览器协同操作。 多项行业动态更新：犹他州批准首个具有自主处方权的AI医疗应用，Anthropic为谷歌协作套件上线侧边栏。 OpenAI密集输出722篇数学论文 OpenAI利用一款未公开的内部模型发布了722篇数学论文，归为372个结果族，声称推进了多项重大开放问题，其中包含弱化版黎曼猜想（quasi-Riemann hypothesis）的证明。文中指出有162篇论文的核心结果采用Lean形式化证明软件编写，且多数结果仅需单次提示词和平均3小时的ChatGPT Pro算力完成。尽管竞对Anthropic的数学家Levent Alpöge评价这是数学史上的重大时刻，但也有报道披露部分数学家对OpenAI未按承诺分散发布节奏感到不满。 Mistral推出开源大模型Large 4 法国初创公司Mistral AI推出昵称为“Le Chonk”的1万亿参数开源模型Mistral Large 4。该公司表示该模型在非中国开源系统中处于领先地位，代码评测得分达到62%。在网络安全测试中，该模型声称取得全球前五排名并获得82%的测试成绩，在法律基准测试Harvey上的表现据第三方测试机构Vals评估接近GPT-6 Astra的三倍。模型权重预计于10月27日公开发布。 Hark发布主动型AI个人助理Hark Pro 由Brett Adcock创立的Hark推出覆盖Web与移动端的助手Hark Pro。该工具依托自研云电脑Handoff运行，可同时驱动最多36个浏览器协同执行购票、比价、日程添加等事务，并计划于2027年联合AT&T推出整合型硬件设备系列。 行业快讯与前沿应用 犹他州批准Nolla Health应用根据面部扫描诊断痤疮并自主开具处方药，成为首个赋予AI处方权的州；Anthropic面向付费订阅用户在Google Docs、Sheets和Slides中上线Claude侧边栏以支持直接编辑文档；此外，开源防护工具agent-guard被用于防范AI Agent在安装插件时面临的恶意软件与凭据窃取风险。

[Read Online](https://therundownai.beehiiv.com/p/openai-math-avalanche-continues) ^| [Sign Up](https://www.therundown.ai/subscribe?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) ^| [Advertise](https://therundownai.typeform.com/to/kraZ1TSO?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) **Good morning, {{ first\_name | AI enthusiasts }}, and welcome to our 3,941 new readers.** OpenAI has spent 2026 turning math into its favorite proving ground, from a handful of solved problems in August to a Millennium Prize claim in September. The latest chapter is all about volume. A new public release of over 700 papers claiming to answer or advance open questions is here, and mathematics is increasingly turning into a compute problem — and it won’t be the last field to go that way. *Reminder: our next live workshop is today at 12 PM EST — join and learn how to build a real AI consulting project from client discovery to delivering a working solution. RSVP here.* **In today’s AI rundown:** OpenAI’s math explosion continues with 700+ papers Mistral's ‘Le Chonk’ joins the West’s open-model surge Let OpenAI’s GPT-6 Astra compare websites for you Brett Adcock’s Hark launches a proactive AI assistant **LATEST DEVELOPMENTS** Image source: OpenAI **The Rundown:** OpenAI just [released](https://openai.com/index/sharing-ai-progress-in-mathematics/?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) 722 math papers from an unreleased internal model, grouped into 372 result families that the company claims solve or advance major open problems in the field. **The details:** The boldest claim is a proof of the “quasi-Riemann hypothesis,” a weaker version of math’s famous $1M puzzle on how prime numbers are spread out. OpenAI lists 162 papers whose main results are written in Lean, software that lets a computer verify every step of the process through proofs. Last month’s Navier–Stokes [proof](https://openai.com/index/navier-stokes-solution/?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) took 10,000 AI agents, but OpenAI says nearly all new results took just one prompt, averaging 3 hours of ChatGPT Pro compute. Levent Alpöge, the Anthropic mathematician behind July's Jacobian result, called it “obviously the most significant moment in mathematical history.” A WIRED report just hours earlier [detailed](https://www.wired.com/story/openai-is-pissing-off-a-bunch-of-mathematicians-again/?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) anger among mathematicians over the drop, with some saying OAI had promised it would space out its releases. **Why it matters:** Alpöge’s reaction speaks volumes: a top mathematician at rival Anthropic just called this the most significant moment in the field's history. [Hundreds of results](https://x.com/willdepue/status/2107604920753070317?s=20&utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) at a few hours of compute each means progress in math now scales with chips instead of humans, and it’s only going in one direction. **The Rundown:** A recent Pareto frontier analysis found Glean’s responses were preferred 78% of the time over Claude Cowork across 180+ tasks, at an average cost of $0.58 per task compared with $2.98. Hear how model choice, intelligent routing, enterprise context, and an efficient harness can help deliver more with AI. **Watch the webinar to explore:** How model choice and enterprise context shape cost and quality How auto-routing and harness design improve AI efficiency Icertis’ experience reducing token consumption with Glean Image source: Mistral **The Rundown:** France’s Mistral AI just [introduced](https://mistral.ai/news/mistral-large-4/?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) Large 4, a 1T-parameter open model nicknamed “Le Chonk,” which the company says leads every non-Chinese open system by a “substantial margin.” China's Kimi K3 still tops Mistral’s coding chart at 68%, but Le Chonk's 62% clears the 44% of Reflection AI’s Beam, the new U.S. open model launched on Monday. Cybersecurity is a standout, with Mistral claiming a top-5 global ranking and 82% on a bug test Claude Opus 5.5 and GPT-6 Astra mostly refused. For legal work, Mistral says outside tester Vals scored it at nearly 3x GPT-6 Astra on Harvey’s benchmark, ahead of every Chinese open model tested. Cyber experts and government agencies get a less-filtered version during a three-week preview, with weights set to go public on Oct. 27. **Why it matters:** ‘Le Chonk’ easily earns the title of best-named AI in our book, and alongside Reflection's Beam, also brings a fresh dose of optimism to the West's open-model push. Chinese labs still set the pace in open AI, but two serious Western releases in the same week make it start to feel a lot more like a race. **The Rundown:** In this guide, you’ll use Astra in ChatGPT Work to compare software plans for a small team. You’ll check prices, user limits, and billing terms, then get a short recommendation with sources. **Step-by-step:** Open Work in the ChatGPT desktop app, choose Astra, and open the built-in browser beside your chat. Keep website approvals on Give it three pricing pages and your needs, including team size, required features, and budget. Ask for monthly billing and rule out trials or purchases Start with one site. Check that Astra reads the right billing period and includes the full team cost before letting it compare the others Ask for a short recommendation using the checked facts. Keep missing details visible and review the final price yourself before buying anything **Pro tip:** Set the stopping point in your first request. Ask Astra to finish with a comparison and leave signups, sales forms, and purchases out of the task. **The Rundown:** People are building with AI, whether IT approves or not. Pave gives them a governed lane: role-based permissions, a draft-to-publish gate, and an admin view of every connector and workflow. **Why IT teams say yes to Pave:** Built on Quickbase’s 25-year enterprise platform Your data never trains the AI You can see who can do what, in one place Image source: Hark **The Rundown:** Hark, the AI startup from Figure AI founder Brett Adcock, [released](https://hark.com/chat?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) Hark Pro, a personal assistant for web and mobile that remembers users’ preferences, flags what needs doing, and can research, shop, book, and build things on their behalf. In Adcock’s launch video, a request for two movie tickets ends with Hark picking seats, adding the show to the calendar, and offering to reserve parking. Tasks run on Handoff, Hark’s own cloud computer, which the company says can work up to 36 browsers at once while showing its clicks in the chat. Around its chat box, the app lays out a home screen of widgets and suggested to-dos, with users also able to create ‘panels’ of customized mini-apps. Hark features both a free and paid tier, with an integrated family of hardware devices coming in 2027 with connectivity via a partnership with AT&T. **Why it matters:** Hark, Muse, Grok Bot, Instinct, Dots… The competition continues to grow. With former iPhone Air designer Abidur Chowdhury leading design, Hark’s interface is sleeker than an average assistant, but the more interesting factor might be the hardware — a potential wildcard in the AI device race featuring OpenAI, Meta, Apple. **QUICK HITS** ▸ **Patrick set up a malware checkpoint for AI agent add-ons** Today’s workflow comes from reader **Patrick Illian:** “AI agents such as Claude Code, Codex, and Gemini can install skills, plugins, and CLI tools in seconds. That is convenient, but each add-on runs with access to files, passwords, and accounts. A malicious add-on could steal API keys, read private data, or quietly take control of the agent. I use agent-guard to make “check first, install after” the default. Before installation, it examines AI agent skills, MCP servers, and CLI tools for malware, prompt injection, and credential theft using professional, open-source security scanners from NVIDIA, Cisco, Datadog, and the Open Source Security Foundation. The tool returns a clear verdict: safe to install or blocked, with the exact reason. It then installs only the verified version, preventing a different version from being swapped in between. A single check can also cover multiple AI agents, installing the approved add-on into every agent on the machine.” *See Patrick’s full workflow here. How do you use AI? Tell us for a chance to be featured.* 🛡️ [Incogni](https://deal.incogni.io/aff_c?offer_id=6&aff_id=1889&url_id=1&utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) - Scammers buy your personal data daily. Incogni deletes it from the web automatically. Get 55% off with code **RUNDOWN\*** 🤖 **Hark Pro -** Hark’s new proactive AI assistant 🍌 [Nano Banana 2.1](https://x.com/Google/status/2107501209154204148?s=20&utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) - Google’s new upgrade to its AI image generation model 🔎 [EmbeddingGemma 2](https://www.therundown.ai/tools/embeddinggemma2?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) - Google’s open AI for on-device search across media *\*Sponsored Listing* **Utah** [cleared](https://tech.therundown.ai/p/a-breakout-moment-for-ai-medicine?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) Nolla Health’s app to diagnose acne from a face scan and prescribe skin creams itself, the first state to hand AI prescription capabilities. **AI voice startup Sesame** [introduced](https://x.com/sesame/status/2107535948041060713?s=20&utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) Personal Agents, assistants that have their own computer and can interact via text/speech, with AI glasses using them coming in 2027. **OpenAI** is [testing](https://x.com/ChatGPT/status/2107567930557026653?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) a Meetings plugin for ChatGPT’s Mac desktop app, which turns meetings into notes and next steps tailored to each user’s past work. **Vals AI** [used](https://www.vals.ai/blogs/room-temperature-magnetic-semiconductors?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) Claude Opus 5.5 agents to search for next-gen computer memory materials, with simulations surfacing two magnet candidates for the famed “room-temperature superconductor” problem. **Anthropic** [rolled out](https://claude.com/resources/articles/claude-now-works-in-google-docs-sheets-and-slides?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) a beta Claude sidebar inside Google Docs, Sheets, and Slides for paid plans, letting it edit open files directly or ask approval before each change. Read our last AI newsletter: [The ‘DeepSeek of the West’ finally has a model](https://www.therundown.ai/articles/the-deepseek-of-the-west-finally-has-a-model?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) Read our last Tech newsletter: [A breakout moment for AI medicine](https://tech.therundown.ai/p/a-breakout-moment-for-ai-medicine?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) Read our last Robotics newsletter: [California crashes robot fight club](https://robotnews.therundown.ai/p/california-crashes-robot-fight-club?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) Today’s AI tool guide: [Let OpenAI’s GPT-6 Astra compare websites for you](https://app.therundown.ai/guides/astra-browser-use?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) RSVP to workshop today @ 12 PM EST: [Build + deliver AI consulting project](https://app.therundown.ai/live/build-and-deliver-a-real-ai-consulting-project?utm_source=therundownai.beehiiv.com&utm_medium=newsletter&utm_campaign=rundown-1019) See you soon, *Rowan, Zach, Shubham, Jennifer, and Nate — the humans behind The Rundown*