AI Weekly #18 — gpt-6 lands, mistral punches up, math gets weird

GPT-6 finished its rollout to all ChatGPT users this week, making it the new baseline for casual and professional use alike. Meanwhile the open-weight space got crowded fast: Mistral Large 4, Reflection’s 501B Beam, and LiquidAI’s multimodal edge models all dropped within days of each other. The math front also moved—OpenAI published concrete results on open problems alongside Lean proof formalizations, and Terence Tao weighed in publicly on what that means for the discipline.

GPT-6 rolls out globally with Intelligent UI

OpenAI completed the worldwide rollout of GPT-6 inside ChatGPT, paired with what it calls Intelligent UI—responses that include embedded visuals and interactive elements rather than plain text. This is the same GPT-6 Astra model that shipped for enterprise in issue #14; the consumer rollout makes it the default for free and paid tiers.

Why it matters: If you’re building on the ChatGPT API or testing prompts in the playground, the default model has changed under you; check your pinned model versions and re-run any evals you care about. (GPT-6 and Intelligent UI for everyone)

Mistral Large 4 ships as a strong open-weight challenger

Mistral released Mistral Large 4 as an open-weight model. Few technical details were published at launch, but early community benchmarks positioned it competitively against mid-tier frontier models. It follows a pattern Mistral has established of releasing capable open weights shortly after closed competitors raise the bar.

Why it matters: A genuinely competitive open-weight large model changes the build-vs-buy calculus for teams running inference on their own infra; worth dropping into your eval harness this week. (Mistral Large 4

OpenAI publishes frontier math results with Lean proof artifacts

OpenAI released new results from an internal frontier model on open problems in mathematics, alongside Lean 4 proof formalizations pushed to GitHub. The post stops short of claiming solved Millennium Prize problems but represents the most concrete public artifact release OpenAI has made in formal mathematics. Terence Tao responded on Mathstodon, arguing that evaluating AI-assisted math progress requires rethinking what counts as mathematical contribution.

Why it matters: Lean-verified machine-generated proofs are the kind of artifact you can actually audit; if your work touches formal verification or theorem proving toolchains, these artifacts are worth examining directly. (Sharing AI progress in mathematics)

Claude Haiku 5.5 arrives as Anthropic’s new budget tier

Anthropic released Claude Haiku 5.5, the small/fast entry in the 5.5 model family. Pricing and context window specifics weren’t prominently featured in the launch post, but it slots below Sonnet 5.5 as the cost-optimized option in the current Anthropic lineup.

Why it matters: If you’re routing low-stakes tasks to Haiku for cost reasons, 5.5 is the upgrade path; re-run your cost/quality tradeoff benchmarks before switching wholesale. (Claude Haiku 5.5)

Reflection’s Beam is a 501B open-weight model—verify before you trust it

Reflection AI introduced Beam, described as a 501B open-weight model. The announcement is notable in scale but Reflection has a prior credibility incident (its earlier model launch was disputed); community reaction included significant skepticism about whether published weights match claimed capabilities. No independent third-party evals were available at time of writing.

Why it matters: A genuine 501B open-weight model would be a landmark, but engineers should wait for reproducible third-party benchmarks before planning any architecture around it—the provenance questions are real. (Beam: Reflection’s 501B open-weight model)

OpenAI disrupted AI-enabled influence ops using fake journalist fronts

OpenAI published a takedown report describing two coordinated influence operations that used its models to generate geopolitical messaging, funneled through fake journalist personas and a fabricated think tank. The operations were disrupted before achieving significant reach.

Why it matters: The tradecraft described—LLM-generated personas maintaining consistent voice across platforms—is increasingly accessible; understanding the detection surface matters for anyone building content moderation or trust pipelines. (Disrupting AI-enabled “false front” operations)