OpenAI limits math advisers, TypeSafe ships typed LLM, MIT maps border deaths

Sources

Advisory Group on Mathematics and Artificial Intelligence openai.com

OpenAI is working with an independent Advisory Group on Mathematics and Artificial Intelligence to guide the review and communication of emerging AI results.

OpenAI forms math advisory group as its AI resolves more than 100 open problems techcrunch.com

The group won’t be given leeway to slow down or redirect OpenAI’s ongoing mathematical research.

Jev introduces a new shape of LLM - System One, aka Decision Models simonwillison.net

Last week TypeSafe AI unveiled Jev , their first example of a new category of model that they are calling “System One models” (I’m with Maggie Appleton, I think “decision models” is a better name for these). Jev is an interesting variant on the usual LLM format: it still accepts text inputs, but instead of text output it returns floating point numbers corresponding to categories, yes/no questions, ratings, and associated confidence scores. TypeSafe describe Jev like this: Think of Jev as a fron…

Jev: System One models for Prod, not God — with Diogo Almeida, CEO, TypeSafe AI latent.space

The definitive Jev podcast with its lead creator.

The US spent billions on border surveillance. Why can’t it catch people before they die? technologyreview.com

When José Morales Bernal crossed the border into the United States on April 8, 2024, the day before his 32nd birthday, it should have triggered a chain of technological alerts and human responses. As he walked through the desert in southern New Mexico that morning, he was within range of three surveillance towers. Newly installed…

How we made the first comprehensive map of deaths along the US border’s “virtual wall” technologyreview.com

Our 15-month investigation into death and surveillance along the US-Mexico border began with a simple question: Why did so many people die near government surveillance towers meant to help track and apprehend them? This story is part of Dying on Camera, a collaboration between MIT Technology Review and Times of San Diego. Journalists in both newsrooms spent the past…

4 ways to address the failures we found along the US border’s “virtual wall” technologyreview.com

MIT Technology Review today published our investigation into how many people have died near the “virtual wall” of surveillance towers that the US government has installed along the US-Mexico border. We found cases of people who walked undetected through areas surveilled by advanced, AI-enabled towers and later died nearby, where their bodies remained unnoticed for…

She died at the San Diego border. A surveillance camera was in plain sight technologyreview.com

She had only walked for a couple of hours, and already she was lost. It was early afternoon on Sept. 14, 2025, when 30-year-old Graciela Gómez Hernández crossed the border from the eastern edge of Tijuana into Southern California, sending voice messages to her mother and sister as she walked. This story is part of Dying…

The current balance of power in open models interconnects.ai

Interconnects expands its prepared Congressional testimony into a full read on where open-weight AI stands today. The piece maps the shifting balance between US labs and Chinese frontier releases, framing policy stakes for lawmakers weighing export controls and open-source rules.

Muse, Meta’s extraordinarily privileged AI assistant, has a serious 0-day arstechnica.com

Muse, Meta’s newly launched agent with deep account privileges, can be fully hijacked through a simple ClickFix attack, Ars Technica reports. The vulnerability is one of several paths to takeover, raising alarms about shipping high-privilege AI agents before their prompt-injection surface is hardened.

(AINews) Xiaomi MiMo-V2.6-Pro 1T-A42B: the new top Open Weights model, trained for $3M latent.space

Xiaomi’s new 1T-parameter, 42B-active MoE claims the open-weights crown at a reported $3M training cost. The release positions Xiaomi as a serious Chinese frontier lab alongside DeepSeek and Qwen, and sharpens the cost gap versus Western closed-model training runs.

Amazon blocks Meta’s Muse AI agent theverge.com

Amazon began showing popups Sunday telling Muse users that unauthorized AI agents violate its terms of use, cutting off Meta’s assistant without prior notice. The block underscores platforms’ growing willingness to fence out rival agents, especially when they compete with in-house models and inference services.

Meta’s AI agent has been blocked from using Amazon.com techcrunch.com

Amazon has its own cohort of foundation models, along with one of the most popular inference platforms on the internet. As long as they’re under no legal obligation to open the doors to Muse, why would they?

Google’s $899 Googlebook is a bet that you’ll buy a new laptop for Gemini techcrunch.com

Google’s new AI-native laptop wires Gemini directly into the cursor, dictation, and desktop widgets at an $899 price point. The Googlebook is a wager that on-device AI integration, rather than raw hardware specs, is enough to pull shoppers into a fresh Chromebook upgrade cycle.

California tightens rules on AI data center energy and water use theverge.com

Governor Gavin Newsom signed a seven-bill package requiring the state utilities commission to create a separate rate class for AI data centers and forcing operators to pay for grid upgrades. The laws aim to stop residential customers from subsidizing surging compute-driven power and water demand.

UN says AI safeguards can’t wait for certainty theverge.com

The United Nations’ first major scientific assessment, prompted by OpenAI’s Hugging Face breach earlier this year, calls on governments to constrain increasingly capable AI agents under a precautionary principle. The report lands as world leaders convene in New York, elevating AI onto the core diplomatic agenda.

Building standards for the next phase of AI openai.com

OpenAI outlines a path to shared global AI standards, calling for coordinated evaluation, reporting, and governance to improve safety.

Import AI 473: The US’s superintelligence strategy; human brain in a mouse skull; and machine hermeneutics importai.substack.com

Is the wall AI is hitting in the room with us right now?

Meta’s Muse is outpacing ChatGPT’s early mobile launch techcrunch.com

Meta’s new AI agent Muse has racked up more downloads and daily active users in the U.S. and Canada than ChatGPT did over the same period after its mobile debut, according to new estimates from Appfigures.

iPhone owners can now submit claims in Apple’s $250 million Siri AI settlement theverge.com

Apple is paying $250 million to settle claims that it failed to deliver an AI-upgraded Siri - and now, eligible iPhone owners can submit a claim for a payout. If you live in the US and purchased an iPhone 15 Pro, iPhone 15 Pro Max, or any iPhone 16 model between June 10th, 2024, and […]

Higgsfield AI ships new video features in a day with GPT-6 Astra openai.com

With GPT-6 Astra, Higgsfield AI makes video ad creation easier for small businesses and brings new creative tools to market faster.

Expanding OpenAI Academy with new learning paths openai.com

Explore new OpenAI Academy learning paths for employees, developers, leaders, educators, and students to build and demonstrate practical AI skills.

Jun Kim, oMLX creator and maintainer, joins Hugging Face to support the MLX community huggingface.co

How V7 gives AI agents institutional memory openai.com

Using GPT-5.6, V7 turns scattered company files into context agents can use to complete complex, source-linked work.

With Tabby, a former accountant is using AI to make accountants obsolete techcrunch.com

Tabby is designed to be a real-time bookkeeping interface, handling clients’ paperwork as it gives them up-to-the-minute data on their business’s profit and loss.

The man who built Apple’s stores doesn’t buy Silicon Valley’s bet on AI shopping techcrunch.com

Apple Store architect Ron Johnson says Apple’s secret sauce has always been its people.

Can John Ternus find Apple’s next big thing? theverge.com

Today, I’m talking with Mark Gurman, who is the world’s best-sourced Apple reporter — both as Bloomberg’s chief Apple correspondent and the host of the upcoming podcast Power On. Earlier this month, Apple hosted its annual iPhone hardware event, virtually every detail of which was reported ahead of time by Mark. But this event was […]

Trump rejects AI slowdown calls, launches “AI Force” instead arstechnica.com

The president offered few details on what his proposed new AI Force would do.

Google confirms Gemini models hacked three companies in May 2026 arstechnica.com

A third-party cybersecurity firm accidentally gave experimental Gemini models access to the Internet.

Discover what’s next: 5 days left to save up to $200 on your TechCrunch Disrupt 2026 ticket techcrunch.com

Five days left to save up to $200 on your TechCrunch Disrupt 2026 pass + 50% off a second one. Join 10,000+ founders, investors, and operators at San Francisco’s Moscone West, October 13-15. Grab your ticket savings before prices go up on September 25 at 11:59 p.m. PT.

Where will the next breakout startup come from? Benchmark’s full partnership weighs in at TechCrunch Disrupt 2026 techcrunch.com

Where will the next breakout startup come from? Benchmark’s full partnership weighs in on the main stage at TechCrunch Disrupt 2026. Save up to $200 before September 25 at 11:59 p.m. PT. Register now.

From first users to billions: Google’s Robby Stein joins TechCrunch Disrupt 2026 techcrunch.com

From first users to billions: Google’s Robby Stein joins TechCrunch Disrupt 2026. Lean in on this Builders Stage session. Save up to $200 before September 25.

Meet the next wave of VCs judging Startup Battlefield 200 at TechCrunch Disrupt 2026 techcrunch.com

Meet the next wave of VCs judging the Startup Battlefield 200 contenders on the main stage at TechCrunch Disrupt 2026. Register by September 25 at 11:59 p.m. PT, to save up to $200 and to get a front-row seat to one of the most intense startup pitch competitions.

References

Leiter Reports (open letter text) leiterreports.com

A Severe Misalignment of AI in Mathematics — signed by 25 Fields Medalists warning that AI labs treat unsolved problems as benchmarks and risk overwhelming the human ecosystem with ‘slop mathematics.’

Business Insider businessinsider.com

Buckmaster alleged OpenAI researcher Sébastien Bubeck pressured him to publish a joint result excluding his collaborator Levent Alpöge due to Alpöge’s Anthropic affiliation; OpenAI admitted it ‘cannot rule out’ that de-identified Codex usage data improved its underlying models.

Lior Pachter, ‘Align AI and Mathematics — to Something Else’ liorpachter.wordpress.com

The math community’s claim to ‘nurture students and ideas with great care’ is historically inaccurate; aligning AI only to current community standards would automate a system that already prioritizes prestige over mentorship.

Terence Tao, personal blog terrytao.wordpress.com

Mathematicians must ‘sit at the table’ to shape communication of AI results; the group explicitly cannot influence the pace of OpenAI’s internal research.

GlitchWire (on DeepMind AlphaProof Nexus) glitchwire.com

In May 2026 AlphaProof Nexus autonomously solved 9 open Erdős problems and 44 OEIS conjectures using Lean-based formalization at a cost of hundreds of dollars each — a contrasting methodology to OpenAI’s 10,000-agent, $15M compute swarm.

OpenAI Navier–Stokes page (Lean artifact) openai.com

Formalization spans over 616,000 lines of Lean 4 across 2,400 files; independent kernel runs confirm zero sorry placeholders in the two main breakdown theorems, but semantic alignment with the Clay problem statement remains unverified.

VentureBeat (security desk) venturebeat.com

Adversarial text could drop a model’s ‘block probability’ for a malicious command from 0.76 to 0.48 by simply planting a specific field in the input data.

Towards Data Science analysis towardsdatascience.com

TypeSafe’s leadership has acknowledged they cannot yet prove the current pricing isn’t heavily subsidized, raising questions about its long-term economic sustainability once the initial $40 million seed funding is exhausted.

AI-TLDR on Kev / JevBench ai-tldr.dev

Kev-9B currently serves as one of the leading open-weight contenders with a Decision Index score of 50.5, though it still trails the proprietary Jev reference model, which scores 59.5. Kev-4B scores 47.4, while the tiny Kev-0.8B reaches approximately 31.3.

MindStudio reranking benchmark mindstudio.ai

Adding Jev as a reranking layer on a BM25 baseline lifted top-1 retrieval accuracy from 21% to 54% while maintaining significantly lower latency than Gemini Flash-Lite.

Tom’s Hardware tomshardware.com

Independent developers have already released ‘clones’ like Laya and Nimble, demonstrating that standard off-the-shelf RL and LoRA adapters on existing models can replicate Jev’s behavior — critics reference ‘getting Schmidhuber’d’, arguing Jev’s novelty lies in DX rather than fundamental architecture.

Medium / GaoDalie AI deep-dive medium.com

Pydantic warns that the internal order of options in a Literal or Enum can fundamentally change the model’s output; reordering categories from [ALLOW, BLOCK] to [BLOCK, ALLOW] may move the final probability score.

Chambers & Boyce, ‘Mortality, Surveillance and the Tertiary Funnel Effect’ (Academia.edu) academia.edu

Geospatial modeling shows migrants avoiding viewsheds of surveillance towers must expend an average of 925.98 additional calories per journey, corralling them into more rugged, low-visibility terrain where the physiological risk of death from dehydration and hyperthermia rises sharply.

GIJN — ‘Mapping Migration Deaths with GIS Modeling’ gijn.org

‘Out here, surveillance equals death,’ Chambers said, explaining that as cameras proliferate, migrants take longer, riskier routes that maximize physiological stress.

Context News (Thomson Reuters Foundation) — ‘Surveillance tech makes US-Mexico border even deadlier’ context.news

Independent reporting corroborates that the ‘smart wall’ functions less as a rescue tool than as a deterrent that weaponizes terrain, with humanitarian groups documenting bodies recovered directly within camera line-of-sight.

Times of San Diego — investigation partner brief timesofsandiego.com

The 15-month collaboration cross-referenced nearly 4,000 migrant death locations with tower coordinates, using Anthropic’s Claude API to extract geographic data from over 4,000 pages of police and medical examiner records before manual verification.

Uma Incerta Antropologia (republication with Anduril statement) umaincertaantropologia.org

Anduril told investigators that once towers are delivered, they are operated exclusively by CBP, and that proximity of a death to a tower does not equate to a system failure because CBP configures ‘virtual boundaries’ and topography can obstruct autonomous detection.

KuCoin news summary of House Homeland Security oversight kucoin.com

House Homeland Security Committee testimony in September 2026 flagged that roughly two-thirds of Remote Video Surveillance System towers are non-functional, with FAA maintenance stalled by obsolete software and contractors lacking required background checks.