🧠 UPDATE — A Severe Misalignment of AI in Mathematics


Copilot sharpens code review, Slack turns chats into live apps, and a visual prompt builder tackles AI’s default aesthetic.
The Merpati Post
Daily AI Briefing

Issue · September 12, 2026

Leading mathematicians challenge AI labs’ problem-solving race, while this issue examines stronger coding agents, outcome-based model economics, and new ways to design software through conversation.

Four mathematicians study diagrams around a glowing tree of ideas as a vast crystalline theorem forms across a blue chasm; a gray pigeon perches quietly on the table.

AI in general

Frontier models, research and policy

3 stories

Score · 95 / 100

UPDATE — A Severe Misalignment of AI in Mathematics

Source: Math and AI — September 11, 2026

AI RESEARCH · MATHEMATICS · ATTRIBUTION

Twenty-five Fields Medalists, including Terence Tao and Manjul Bhargava, argue that AI labs’ race to solve prominent mathematical problems is misaligned with mathematics’ deeper goal: developing concepts, methods, students, and shared understanding. Following our September 9 coverage of OpenAI’s Navier–Stokes result, this is a consequential response from the research community rather than another account of the same achievement.

What matters

  • The declaration warns that rapidly producing correct statements without careful exposition can overwhelm the community responsible for checking and integrating them.
  • It raises attribution and plagiarism concerns when systems build on researchers’ ideas but results are announced before relevant prior work is properly identified.
  • The authors do not reject AI-assisted mathematics; they want incentives centered on understanding and durable knowledge rather than benchmark wins.
  • The argument extends beyond mathematics to other professions where producing an answer may displace the human learning process that gives the work value.

VerdictREAD FULL — A concise statement from unusually influential researchers that frames a real governance problem for AI-assisted science.

Score · 86 / 100

Lawyer fined $5K over AI-hallucinated witnesses in a murder case

Source: The Verge — September 11, 2026

LEGAL AI · RELIABILITY · ACCOUNTABILITY

New Mexico’s Supreme Court fined attorney Stephen Aarons $5,000 and held him in contempt after an appeal contained fabricated witnesses and police testimony attributed to AI. The sanction reinforces that professional responsibility remains with the human filing the work, regardless of which tool generated it.

What matters

  • This involved invented factual claims in a murder appeal, not merely a miscited precedent or formatting error.
  • Courts are increasingly treating failure to verify AI output as misconduct rather than an understandable technical mistake.
  • Legal teams need evidence-level validation workflows, source retrieval, and named human sign-off before filing.
  • The case is another warning that fluent output is not provenance.

VerdictSKIM — The specific penalty matters; the broader lesson about mandatory verification is already clear.

Score · 83 / 100

UPDATE — Sure, Meta’s AI Muse works, but it sure creeps me out

Source: The Verge — September 11, 2026

AI AGENTS · PRIVACY · CONSUMER AI

A hands-on test found that Muse could delete promotional emails, complete a constrained Amazon purchase, and create media and interactive artifacts. The material development since our September 9 launch coverage is evidence of its privacy tradeoff: Muse inferred highly specific interests from Meta accounts and used an Amazon shipping address to localize news recommendations.

What matters

  • Muse successfully handled useful low-stakes actions, including deleting thousands of emails and purchasing only approved items.
  • The assistant surfaced interests more specific than those visible in Instagram’s user-facing ad-topic controls.
  • Its generated media showed inconsistent safeguards, refusing some character-like requests while reproducing Apple branding and malformed interface labels.
  • Meta says it only exchanges data required for connected services and does not share Muse information with advertisers, but the accessible data remains opaque to users.

VerdictREAD FULL — The first-person testing makes the agentic privacy problem concrete rather than hypothetical.

Software engineering

Coding agents, developer tools and infrastructure

3 stories

Score · 93 / 100

Rapidly scaling online storage to serve over 1 billion ChatGPT users

Source: OpenAI — September 11, 2026

INFRASTRUCTURE · DISTRIBUTED SYSTEMS · CODEX

OpenAI explains how Habitat evolved from a Python client library into a centralized storage service spanning almost 40 regions, more than 500 petabytes, and over 70 million requests per second. The most notable engineering result is a two-engineer, AI-assisted rewrite from Python to Rust that now handles 95% of production traffic.

What matters

  • Habitat centralizes routing, authorization, encryption, observability, and access to storage systems including Azure Cosmos DB.
  • OpenAI initially accepted Python’s inefficiency to stabilize APIs and move quickly instead of optimizing prematurely.
  • Two engineers using Codex and GPT-5.5 completed the Rust rewrite in Q2 2026.
  • OpenAI reports the Rust service is 6× more CPU-efficient and 15× more memory-efficient, with lower average and tail latency.

VerdictREAD FULL — Useful detail on sequencing technical debt, centralizing control, and applying coding agents to a production rewrite.

Score · 91 / 100

Auto-resolution and analysis updates in Copilot code review

Source: GitHub — September 11, 2026

CODE REVIEW · CODING AGENTS · GITHUB COPILOT

Copilot code review can now resolve its own comments after a later commit addresses them, create contextual commit messages for applied fixes, and use shell tools to validate findings. GitHub has also replaced the single Lite reviewer with an ensemble of agents.

What matters

  • The review agent can run builds, tests, targeted scripts, and other checks behind GitHub’s agent firewall.
  • Unresolved feedback remains open while comments judged to be addressed close automatically.
  • GitHub reports 47% more addressed high-severity findings from the Lite ensemble, with medium findings up 31%.
  • The ensemble reportedly reduced review cost by about 8%, though GitHub has not published enough experimental detail for independent evaluation.

VerdictREAD FULL — A compact release note with concrete workflow changes and unusually useful internal metrics.

Score · 89 / 100

Beyond the price per token: Choosing the right OpenAI model on Amazon Bedrock for your workload

Source: AWS — September 11, 2026

MODEL EVALUATION · AGENT ECONOMICS · AMAZON BEDROCK

AWS argues that model selection should optimize cost per successful outcome rather than nominal token price. Its open-source harness measures accuracy-adjusted cost, multi-turn agent trajectories, and professional deliverable quality across five OpenAI models.

What matters

  • In AWS’s configuration, GPT-5.6 Luna cost $0.0021 per correct AIME answer versus $0.0139 for GPT-5.4 Mini.
  • Mini averaged 7.6 turns on the web-research test and consumed 114,000 input tokens per question, versus Terra’s 50,000.
  • Luna produced passing research answers at an observed $0.05 each, compared with $0.40 for Mini.
  • Sample sizes were only 48–198 items, reasoning settings differed between deployments, and AWS explicitly recommends rerunning the harness on representative workloads.

VerdictREAD FULL — The reproducible methodology is more valuable than the vendor-specific model ranking.

Design & creative

Creative workflows and user experience

2 stories

Only 2 strong recent items found.

Score · 87 / 100

Telling AI to design is hard

Source: Ben’s Bites — September 11, 2026

DESIGN AGENTS · PROTOTYPING · PROMPTING

Ben Tossell documents building Design Words, a visual style picker that converts choices such as palette, typography, radius, shadows, and components into instructions for a coding agent. The core insight is that visual browsing works better than expecting non-designers to describe an aesthetic precisely in text.

What matters

  • Unconstrained agents repeatedly produced familiar boilerplate layouts, even while generating many nominally different versions.
  • Tossell used fresh-context subagents for critique and exploration before handing preferred prototypes to a building agent.
  • The build took 38 sessions, 116 prompts, and roughly 381 million tokens, illustrating how expensive undirected visual iteration can become.
  • The tool is still a work in progress, but its visual-to-prompt interface addresses a genuine gap between taste and design vocabulary.

VerdictREAD FULL — A candid workflow diary with practical lessons about using agents for design exploration.

Score · 85 / 100

Slack can now vibe-code interactive charts and reports inside chats

Source: The Verge — September 10, 2026

CONVERSATIONAL UI · WORKPLACE DESIGN · VIBE CODING

Slackforce Surfaces lets users describe a dashboard, poll, presentation, microsite, or report and have Slackbot construct it inside a conversation. The resulting interface can use permitted data from Slack and connected services, then be shared, pinned, commented on, and used collaboratively.

What matters

  • Surfaces turn generated output into interactive shared artifacts rather than static chatbot responses.
  • Potential uses include support dashboards, financial forecasts, presentations, and visualizations built from workspace data.
  • The feature is available to free and paid customers with Slackbot enabled.
  • Live-data support arrives in October, so its value will depend heavily on permission clarity, data freshness, and generated-interface reliability.

VerdictSKIM — The interaction model is worth seeing, but production behavior with live data remains unproven.

Open-source watch

Projects gaining meaningful traction

3 stories

Project · 01

github/spec-kit

AI · DEVTOOL · SOFTWARE ENGINEERING

GitHub’s toolkit packages a spec-driven workflow for turning product intent into plans and implementation tasks before an agent starts writing code. It is interesting as a counterweight to improvisational “vibe coding,” especially for teams that need reviewable requirements and repeatable agent behavior.

What matters

  • GitHub Trending reported roughly 985 stars today.
  • Best suited to teams already using coding agents for multi-step feature work.
  • Its value depends on whether specifications stay authoritative instead of becoming another stale documentation layer.

VerdictTRY — Test it on one bounded feature and compare rework, review time, and requirement misses with your current agent workflow.

Project · 02

k2-fsa/OmniVoice

AI · AUDIO · OPEN SOURCE

OmniVoice is an open-source voice-cloning text-to-speech project claiming support for more than 600 languages. That breadth could make it useful for localization and accessibility experiments where commercial speech APIs have weak language coverage.

What matters

  • GitHub Trending reported roughly 607 stars today.
  • The language count is compelling, but quality and speaker fidelity are unlikely to be uniform across all supported languages.
  • Voice cloning introduces consent, impersonation, licensing, and misuse risks that need product-level controls.

VerdictWATCH — Promising scope, but benchmark the specific languages and voices you need before committing.

Project · 03

pascalorg/editor

DESIGN · AGENT · DEVTOOL

Pascal is an open-source 3D architectural editor with a local CLI and MCP tools for both human and agent-driven workflows. It represents a useful direction for creative software: exposing structured operations directly to agents instead of forcing them to manipulate a visual interface indirectly.

What matters

  • GitHub Trending reported roughly 83 stars today.
  • The combination of visual editing, local automation, and MCP makes it relevant to agent-assisted spatial design.
  • It is early-stage, so file compatibility, precision, and production reliability need scrutiny.

VerdictWATCH — Track its MCP workflow and interoperability; try it now only for exploratory architectural prototypes.

Editor’s note

Today’s strongest signal is the shift from celebrating AI output to scrutinizing how it is produced, verified, priced, governed, and translated into durable human workflows.

30-second feedback

How useful was today’s digest?

★★★ Very useful ★★ Somewhat useful Not useful

Your choice opens the short form with your rating filled in. Or share a quick note.


The Merpati Post · Daily AI Briefing

background

Subscribe to The Merpati Post