← Archive / All Digests
A wolf in round glasses reading a book, wrapped in a golden ribbon, in a sunlit forest.

Wolf Digest — Friday, May 22, 2026

Coverage window: 2026-05-21 03:21 ET2026-05-22 03:02 ET
Press play to listen
Friday, May 22, 2026
12m 49s · top-4 narrated briefing
#1 · AI for Science
OpenAI's unreleased successor model claims to disprove an 80-year-old Erdős conjecture for under $1,000 of compute
OpenAI is circulating a 125-page mathematical writeup claiming that an unreleased internal model — widely speculated to be the GPT-5.6 / "GPT-next" line — produced a constructive disproof of the Erdős planar unit-distance problem, an 80-year-old open problem in combinatorial geom…
8.3 · 1 srcs
#2 · AI Coding
Anthropic's Code with Claude event signals coding agents have crossed the daily-use threshold
MIT Tech Review's writeup of Anthropic's two-day Code with Claude developer event in London on May 19–20 lands on a single concrete data point that crystallizes a broader shift: when an Anthropic engineer asked the packed room how many had shipped a pull request in the last week…
7.9 · 1 srcs
#3 · Agents & Tool Use
Microsoft Research releases MagenticLite + MagenticBrain + Fara 1.5: small-model agentic stack for browser and local file workflows
Microsoft Research released a coordinated trio of artifacts aimed at agentic workflows running on small models. MagenticLite is the next generation of the Magentic-UI app, redesigned to operate across the browser and the local file system in a single session. The two underlying m…
7.7 · 1 srcs
6.5
#1
AI for Science 2026-05-21 Latent Space (swyx & Alessio) 8.3 8.5/8.8/7.6

OpenAI is circulating a 125-page mathematical writeup claiming that an unreleased internal model — widely speculated to be the GPT-5.6 / "GPT-next" line — produced a constructive disproof of the Erdős planar unit-distance problem, an 80-year-old open problem in combinatorial geometry. The conjecture, posed by Paul Erdős in 1946, asks for the maximum number of unit-distance pairs realizable by n points in the plane; OpenAI's result reportedly establishes a counterexample to the long-standing tight upper bound, supplying a specific point configuration whose pair count exceeds the conjectured ceiling. Critically, the runtime claim is that the model produced the result in under 32 wall-clock hours on under $1,000 worth of compute, with the central inductive construction emerging on what the writeup highlights as a "page 39 moment" in the model's scratchpad.

The methodological framing is the part the field is mostly reacting to. Unlike the 2025 IMO Gold result, which ran on AlphaProof and a Lean-based formal proof harness, this work is being credited to a general-purpose chat model with extended reasoning, no theorem prover in the loop and no domain-specific tools beyond a Python sandbox for combinatorial enumeration. If the writeup holds up under external verification — and OpenAI is explicitly framing this differently from prior "OpenAI claims X" episodes by publishing the full construction — it would be the first time a general-purpose frontier LLM has produced a novel result on an open problem that competent combinatorialists had spent decades on without dislodging.

The broader signal is about the trajectory of test-time compute. The cost figure here is roughly the same order of magnitude as a single graduate student's monthly stipend, and the wall-clock figure is comparable to what a strong human collaborator might spend on a deep dive. If you accept the construction — and there are reasons to be cautious, including the fact that combinatorial counterexamples have a long history of subtle parity errors that survive several reads before being caught — the implication is that we have crossed a threshold where ~30-hour, ~$1k compute budgets on a frontier reasoning model can land novel results on real research conjectures. The community is already cross-checking the page-39 construction; mathematician Terence Tao's social-media response will be closely watched as a leading indicator. Caveats worth flagging: OpenAI has historically over-claimed on math benchmarks where post-hoc verification revealed pattern-matching to in-training-corpus solutions, and Erdős problems specifically have a known leakage surface via MathOverflow and the Erdős Problems database. Independent verification on a held-out subset of unit-distance variants would settle whether this generalizes.

openai gpt-next erdos math test-time-compute
#2
AI Coding 2026-05-21 MIT Technology Review — AI 7.9 7.8/7.6/8.3

MIT Tech Review's writeup of Anthropic's two-day Code with Claude developer event in London on May 19–20 lands on a single concrete data point that crystallizes a broader shift: when an Anthropic engineer asked the packed room how many had shipped a pull request in the last week that was written entirely by Claude, roughly half of the attendees raised their hands. The event was scheduled directly opposite Google I/O — a coincidence, Anthropic staffers insisted — but the contrast in framing matters. Where Google's I/O leaned heavily on developer-as-orchestrator product unveils, Code with Claude was structured around the assumption that the model is now the primary author for most non-architectural code paths, with humans reviewing, gating merges, and writing the system-design glue.

The Tech Review piece pulls together several substantive signals that have been accumulating across the quarter. Codex's first-quarter revenue trajectory inside OpenAI (covered separately in The Information's reporting on OpenAI's $5.7B Q1) and the Cursor / Claude Code split atop the Artificial Analysis Coding Agent Index are both consistent with a market that has moved past evaluation and into seat-based procurement. Anthropic's own internal usage — the company has publicly claimed Claude Code now accounts for a large fraction of merged PRs across its engineering organization — is being held up as the proof-of-concept that the rest of the industry is being asked to underwrite. The conference's substantive content was less about new model capabilities (Claude Opus 4.7 was already shipped) and more about workflow patterns: subagent delegation, hook-based safety gates, MCP server design, and the operational question of how to do code review when half the diffs in a week were not written by a human.

What's worth noting for the field's trajectory is the population the room represented. These are professional engineers paying for premium subscriptions; the half-the-room-raised-their-hand statistic should not be confused with cross-industry adoption. But it is a leading indicator of where the per-developer productivity claims will be measured next, and it sets up the explicit competitive frame for Cursor's Composer 2.5 release (third on the Coding Agent Index at 10–60x lower cost than Claude Opus 4.7), GitHub's leaked internal warnings about being made obsolete (also covered in The Information today), and the upcoming GitHub Copilot retort. The piece does not draw triumphalist conclusions; it ends on the open question of what mid-career engineers actually do in a world where the autocomplete writes the function body, the agent writes the test, and the review is the only human-author moment in the loop.

anthropic claude-code coding-agents developer-tools
#3
Agents & Tool Use 2026-05-21 Microsoft Research Blog 7.7 7.8/7.5/7.7

Microsoft Research released a coordinated trio of artifacts aimed at agentic workflows running on small models. MagenticLite is the next generation of the Magentic-UI app, redesigned to operate across the browser and the local file system in a single session. The two underlying models are MagenticBrain, an orchestration model that handles task decomposition, planning, and delegation across subagents and tools, and Fara 1.5, the next iteration of Fara specialized for computer-use — web navigation, element grounding, form-filling, and screenshot-conditioned action prediction. The release positions the bundle explicitly against the prevailing assumption that competent computer-use agents require frontier-scale reasoning models running in the cloud.

The benchmark claims focus on real-world browser tasks: Fara 1.5 reportedly delivers measurable gains over Fara on grounded web-task benchmarks, and the orchestration layer's contribution is reduced wall-clock latency and lower per-task token cost by routing the small Fara checkpoint for tactical steps and the larger MagenticBrain only for replanning. The post emphasizes that the harness, the small-model checkpoint, and the orchestration policy were codesigned together rather than swapped in independently. Microsoft frames this as a positional bet that the agentic experience for desktop / consumer scenarios will not be solved by scaling the underlying model alone, but by scaffolding that matches a smaller model's failure modes — forced replans on uncertainty, structured subgoal handoffs, and explicit memory rather than long-context attention.

The release matters because it shows up at the same time as Perplexity's Personal Computer rollout to all Mac users and Anthropic's continued push on Computer Use, and it reframes the small-model agentic stack as a competitive offering rather than a research curiosity. The open questions are how Fara 1.5 compares against equivalently sized open-weights computer-use models (the Ferret-UI line, recent VLA papers from the OSWorld family), and whether MagenticBrain's orchestration is portable to non-Fara backends or is tightly coupled. Microsoft has historically released artifacts of this shape under MIT or research-only licenses; the specific terms here will determine whether this becomes a reference architecture or stays internal to the Magentic-UI product line.

microsoft agents computer-use small-models fara
#4
Industry 2026-05-21 The Information — AI 7.5 7.0/7.4/8.1

The Information reports that OpenAI generated approximately $5.7 billion in revenue during the first quarter of 2026, roughly $1 billion ahead of Anthropic over the same period. The growth drivers cited are three: Codex (the in-house coding agent product line built on the GPT-5 family), continued penetration into enterprise via the OpenAI for Business and Enterprise tiers, and the recently expanded ad-testing surface inside ChatGPT — the latter being a notable shift given OpenAI's prior public framing of ChatGPT as ad-free. The reporting also flags that Anthropic appears to have closed and possibly leapfrogged the Q1 gap in Q2, with the recently disclosed KPMG deal (Claude across a workforce of 276,000) and several other large enterprise integrations expected to widen the comparison going forward.

The IPO subtext is the second story embedded in the same news cycle. In a separate Information piece, Sam Altman told staff in a company-wide meeting Wednesday that filing IPO paperwork is meaningfully different from actually listing, and that even after a filing the company would not necessarily go public immediately. The framing suggests OpenAI is positioning to file in the September window (as has been telegraphed by recent reporting) while keeping the option to delay the actual debut by quarters depending on market conditions. The competitive geometry here is sharp: SpaceX dropped its long-awaited S-1 the day before OpenAI's IPO-timing chatter leaked, and Anthropic is reported to be in talks to use Microsoft's in-house AI chips for added compute capacity — a strategic infrastructure pivot that would, among other things, prepare it for an IPO of its own. The Information's separate piece frames the alignment as "a trio of trillion-dollar IPOs" in the same pipeline.

Reading the revenue mix matters more than the headline number. ~$5.7B at a Q1 run-rate implies roughly $23B annualized if growth holds flat, which would put OpenAI ahead of any prior frontier-lab projection for the year. The Codex contribution is the most strategically interesting line item because it is the wedge product that justifies the per-seat enterprise pricing model the company has been pushing; if Q2 numbers show Codex continuing to disproportionately drive growth, the implication is that the coding-agent market — not consumer ChatGPT — is the durable revenue base. Ads on ChatGPT showing up in the same accounting period is the second meaningful signal: it is a directional retreat from prior policy commitments, and one that Anthropic explicitly used as differentiation when it published its "Claude is a space to think" essay earlier this year.

openai anthropic revenue ipo codex
#5
Safety, Policy & Regulation 2026-05-21 The Information — AITechCrunch — AIFedScoop — AICyberScoop 7.3 7.1/8.2/6.6

The White House postponed a Thursday afternoon signing ceremony for an AI security executive order that would have established a voluntary framework for AI companies to submit advanced models for pre-release government review. President Trump publicly cited dissatisfaction with the order's language, saying it "could have been a blocker" and that he did not want to slow down American AI leadership. The order, in its draft form, would have formalized a structure for the AI Safety Institute (or its successor under the current administration) to ingest model artifacts ahead of public release and run pre-deployment evaluations on capabilities, misuse risk, and CBRN uplift — essentially codifying parts of the previously voluntary commitments the major labs had signed under the prior administration.

The delay is notable for two reasons. First, the draft was reportedly the product of months of inter-agency negotiation, and the late-stage decision to pull it back suggests friction between the CDAO / NIST-aligned policy wing and the West Wing's growth-first AI framing. Second, the substantive provision — government pre-release review of frontier models — sits at the exact intersection where the labs themselves have publicly disagreed: Anthropic has supported structured pre-deployment access in principle, OpenAI has been more cautious about the operational details, and xAI has been openly hostile. The order's eventual final form will signal which lobbying camp prevailed.

How it was discussed
  • The Information frames the delay as a political optics decision: don't sign something that telegraphs friction during the SpaceX-IPO and OpenAI-IPO news cycle.
  • TechCrunch leans on Trump's direct quote and reads it as ideological — reluctance to impose anything that looks like pre-deployment regulation.
  • FedScoop / CyberScoop emphasize the procedural angle: the draft EO went through multiple rounds at the agency level and was sufficiently mature that the late-stage delay surprised the working group.
trump executive-order ai-safety regulation white-house
#6
Infrastructure 2026-05-21 The Information — AI 7.2 7.4/7.0/7.2

The Information reports that Anthropic is in active discussions to rent servers powered by Microsoft's in-house AI chips, marking a notable diversification away from Anthropic's NVIDIA-dominated training and inference stack. The deal would be a meaningful win for Microsoft's chip program, which has lagged Google's TPU and Amazon's Trainium / Inferentia rollouts and has been delayed multiple times. For Anthropic, the appeal is twofold: incremental compute capacity to meet demand growth (the company has been compute-constrained against Claude usage spikes), and supply-chain hedging against the NVIDIA allocation queue. The piece does not specify which Microsoft chip generation is on the table, but the most likely candidate is the Maia 200 series given the production timeline.

anthropic microsoft chips compute infrastructure
#7
AI Coding 2026-05-21 The Information — AI 7.1 7.0/6.8/7.5

The Information reports that Cursor (Anysphere) is working on software intended to replace some of GitHub's core functions — PR management, code review, repo browsing — as Microsoft's GitHub unit deals with repeated outages and internal warnings that Cursor and Anthropic's tooling could render the platform obsolete. Jay Parikh, who runs GitHub, reportedly told deputies the threat is structural rather than competitive at the feature level. The shift comes at the same time Cursor's Composer 2.5 took third on Artificial Analysis's Coding Agent Index at 10–60x lower cost than the leading entries, and Microsoft is trying to integrate GitHub more tightly with Visual Studio and Copilot rather than let Cursor's IDE become the default surface.

cursor github ai-coding microsoft developer-tools
#8
Industry 2026-05-21 The Information — AI 7.0 6.7/6.8/7.4

Workday shares climbed over 10% in after-hours trading after the HR-software company disclosed that the number of customers actively using its AI agents roughly doubled to more than 4,000 in the quarter ended April 30. Gerrit Kazmaier, Workday's president, framed the result as evidence that the SaaS-meets-agents adoption curve is steepening in the enterprise. The number is notable because Workday's customer base skews to large enterprises, so 4,000 active accounts represents a meaningful share of the addressable market — not a long-tail SMB ramp. This is also one of the cleanest public datapoints on whether enterprise AI agent adoption is real or a vendor-pitched mirage; the answer, for HR workflows specifically, is that it appears to be real.

workday enterprise-ai agents earnings
#9
Infrastructure 2026-05-22 Latent Space (swyx & Alessio) 6.9 6.5/6.5/7.6

Latent Space's daily AINews rounds up a striking week for AI infrastructure: Turbopuffer (vector / object store for AI workloads) crossed $100M ARR profitably, Exa closed a $250M Series C at a $2.2B valuation, and Modal closed a $355M Series C at $4.7B. All three are picks-and-shovels companies in the agentic stack — Modal for serverless GPU execution, Exa for purpose-built search, Turbopuffer for vector storage — and the timing of three large rounds in one week is a leading indicator that the LLM-OS layer is now the most heavily capitalized non-frontier-model category in the ecosystem. The aggregate ~$700M raised across these three rounds matches roughly a single frontier-lab raise.

modal exa turbopuffer infrastructure vector-db
#10
Safety, Policy & Regulation 2026-05-21 Microsoft Research Blog 6.9 7.2/7.0/6.5

Vega, from Microsoft Research, generates zero-knowledge proofs from government-issued credentials — age, personhood, professional status — in under 100ms on a commodity client device with no trusted setup. The credential never leaves the device. The system supports mobile driver's licenses and the EU Digital Identity Wallet format. The notable technical claim is "fold-and-reuse" proving: repeated presentations of the same proof to different services (or via AI agents) skip most of the expensive cryptographic work after the first proof, making private identity verification practical at agentic scale. The release matters most for the agentic-web debate: if AI agents are increasingly going to act on behalf of users across services, the bot-vs-human and proof-of-personhood layer needs to operate without re-exposing the underlying credential.

microsoft zero-knowledge identity agents privacy
#11
Government & Defense 2026-05-21 FedScoop — AI 6.8 6.5/7.4/6.5

The Department of Transportation is openly debating whether human-in-the-loop requirements should remain the default across AI workflows, according to FedScoop's interview with the agency's CIO. The framing is significant: human-in-the-loop has been the de facto risk-management baseline across federal AI deployment since the 2024 OMB memo. DOT specifically is exploring scenarios in the Federal Motor Carrier Safety Administration and inspection workflows where the loop adds latency without commensurate safety value. The story is one of the first concrete public signals that federal agencies are starting to peel back the human-in-the-loop default as agentic systems mature — a trend Daniel will want to track against the broader regulatory backdrop including the delayed Trump executive order.

dot federal-ai human-in-the-loop agents
#12
Infrastructure 2026-05-21 FedScoop — AI 6.7 6.5/7.3/6.3

The Commerce Department signed letters of intent for roughly $2B in federal funds across nine quantum-computing companies under the CHIPS and Science Act, with the government taking a non-controlling equity stake in each. The equity provision is the structural novelty — prior CHIPS Act awards were grants without equity — and is framed as "enhancing the return for the U.S. taxpayer." The funding is targeted at manufacturing, research, and innovation in microelectronics relevant to quantum systems, not quantum-LLM hybrid work directly. Notable for the AI-adjacent stack because several of the funded companies overlap with the quantum-classical hybrid compute pipeline that frontier labs have begun to monitor for post-2030 algorithm work.

commerce quantum chips-act funding infrastructure
#13
Government & Defense 2026-05-21 FedScoop — AI 6.6 6.4/6.9/6.6

GSA announced a OneGov agreement with Snowflake that makes the company's AI and data-warehousing products available to all federal agencies under unified terms. OneGov contracts are the post-2024 GSA mechanism for consolidating agency-by-agency procurement of high-volume SaaS into single enterprise-wide vehicles — the goal being cost reduction and break-down of data silos across agencies. Snowflake joins prior OneGov agreements with Google Workspace, ServiceNow, and Adobe. The implications for federal AI adoption are mechanical: any agency now has zero-friction procurement access to Snowflake's data sharing, Cortex AI features, and the broader Snowpark agentic surface, which substantially shortens the path from data sitting in an agency's silo to being usable by an AI agent.

gsa snowflake federal-ai procurement
#14
Industry 2026-05-21 TechCrunch — AI 6.5 6.0/5.5/8.0

Hark, a stealth-mode AI company, raised a $700M Series A to fund what it describes as a 'universal' multimodal AI interface plus dedicated hardware. The company has not disclosed founders, model details, or product timeline beyond saying first multimodal models ship this summer with proprietary hardware devices to follow. The $700M Series A is unusually large for a company with no public product — it is in the same range as Humane's pre-launch raise — and reflects continued investor appetite for ambient / agentic AI form factors despite Humane's and Rabbit's commercial flameouts. Watch for whether the hardware ships before the underlying model demonstrates differentiated capability; that ordering has been the failure mode for prior swings at the same target.

hark funding ambient-ai hardware
#15
Audio & Speech 2026-05-21 TechCrunch — AI 6.5 6.3/5.9/7.2

Spotify rolled out an AI-narrated audiobook creation tool built on ElevenLabs voices, with the explicit policy choice that authors are not bound to Spotify-exclusive distribution — they can publish the generated audiobook anywhere. The tool sits in Spotify's creator dashboard and supports voice selection across ElevenLabs's TTS catalog. Strategically, this is Spotify continuing the ElevenLabs partnership it began with the Discover Daily podcast in early 2024, and operationally it follows Spotify's broader announcement today of AI-powered podcast Q&A, briefing generation, and a NotebookLM-style desktop app for personal podcast creation. Non-exclusivity is the policy choice worth noting — it stands in contrast to Audible's prior exclusivity-or-discount pricing on AI-narrated titles and may shape how independent authors choose distribution.

spotify elevenlabs audiobooks tts
#16
Generative Media 2026-05-21 TechCrunch — AI 6.5 6.4/6.0/7.0

Spotify and Universal Music Group announced a partnership that lets Spotify Premium subscribers create AI-generated covers and remixes of UMG-controlled tracks, with participating artists receiving a share of revenue. The arrangement is the first major-label opt-in framework for fan-generated AI music at scale — Stability and Suno had been building toward similar deals from the AI side, but the Spotify-UMG announcement comes from the distribution side and is materially larger in reach. Worth watching whether opt-in extends across UMG's roster or remains artist-gated, and whether the revenue split disclosures arrive in subsequent reporting.

spotify universal-music ai-music licensing
#17
Audio & Speech 2026-05-21 TechCrunch — AI 6.4 6.0/5.8/7.4

Spotify announced a new desktop app (research preview in 20+ markets) for creating personalized podcasts — the direct competitor to Google NotebookLM's audio overview feature — alongside AI Q&A on existing podcast episodes and user-prompted daily / weekly briefing generation. The personal-podcast surface uses Spotify's ElevenLabs-powered voice stack and is bundled with the briefing tools as a unified "AI listener" experience. The combination places Spotify in direct product overlap with NotebookLM, ChatGPT's audio mode, and (more loosely) Wolf Digest — a sign that the personalized-podcast format has moved from research toy to platform-scale product.

spotify podcasts notebooklm personalized-audio
#18
AI for Science 2026-05-21 Google DeepMind Blog 6.4 6.3/6.7/6.2

Google DeepMind announced an Asia-Pacific extension of its Accelerator program focused on environmental-risk AI applications — climate adaptation, disaster prediction, ecosystem monitoring. The program funds and mentors startups using DeepMind's research models (Gemini, the open Gemma family, and the AlphaFold-line scientific models). The Asia-Pacific framing is policy-strategic: it positions DeepMind as a counterweight to PRC-aligned AI-for-environment outreach in the region, and aligns with the broader Google AI for the Global South initiative that launched earlier this year.

deepmind accelerator asia-pacific climate-ai
#19
AI for Science 2026-05-21 Allen Institute for AI (AI2) 6.3 6.5/6.5/6.0

AI2 highlighted PointCheck, an independent project that uses the Molmo VLM, MolmoWeb computer-use variant, and Olmo 3 language model to audit web accessibility by navigating real pages as a keyboard user would and inspecting what is actually rendered on screen. The tool is positioned as proof that fully open-weights / open-data models can carry an accessibility-tooling workload that has historically required proprietary VLMs. Released for Global Accessibility Awareness Day; the underlying point is the open-stack viability narrative more than the accessibility application itself.

ai2 molmo olmo accessibility open-models
#20
Industry 2026-05-21 OpenAI Research 6.3 6.0/6.0/7.0

OpenAI announced AdventHealth (a large U.S. hospital system) as a ChatGPT for Healthcare customer, with the deployment targeting administrative-workflow reduction — charting, prior-auth, scheduling — rather than clinical decision support. The OpenAI healthcare push complements Anthropic's PwC and KPMG enterprise wins and Google's parallel Workspace-for-Healthcare announcements; the differentiator OpenAI claims is HIPAA-conformant model deployment and integration with major EHR platforms. AdventHealth is a meaningful logo because of its size; the operational claim is hours-per-clinician-per-day reduction, which if it holds up under independent audit is the metric that determines enterprise rollout pace.

openai adventhealth healthcare-ai
#21
Safety, Policy & Regulation 2026-05-21 TechCrunch — AI 6.3 6.4/6.7/5.8

The Path, a new AI-therapy startup founded by Tony Robbins and Calm alumni, launched with the claim that its model scored 95 on Vera-MH, a recently introduced mental-health-AI safety benchmark, compared with a top score of 65 for consumer chatbots in the same evaluation. The 30-point gap is the marketing pitch; the methodological caveat is that Vera-MH is a relatively young benchmark and the consumer-chatbot baseline is unclear (which models, what system prompts, what conversation lengths). The launch lands in an active policy environment for AI-mental-health products, including FDA scrutiny and several state-level licensing bills.

mental-health ai-therapy safety benchmarks
#22
Agents & Tool Use 2026-05-21 Latent Space PodcastLatent Space (swyx & Alessio) 6.2 6.0/6.2/6.4

Latent Space dropped a deep-dive interview with Ivan Burazin of Daytona, whose pitch — "the end of localhost" — has been the through-line for the agentic LLM-OS sandbox category. The conversation covers Daytona's evolution from developer-environment provisioning to AI-agent execution sandboxing, the explosion of demand from agentic eval harnesses (TerminalBench, GDPVal) that require disposable computers, and the consolidating LLM-OS stack that customers expect: Perplexity Computer, Manus, Cursor, Anthropic Computer Use, and OpenAI Codex all need the same primitive. Useful listen if tracking the agent-infrastructure layer.

daytona agents sandbox llm-os
#23
AI Coding 2026-05-21 Simon Willison's Weblog 6.2 6.0/5.8/6.8

Simon Willison announced Datasette Agent, the first release of an extensible AI assistant for Datasette built on his llm Python library. The agent provides a conversational interface for asking questions of Datasette-stored data, and with the datasette-agent-charts plugin it can generate charts. The release matters as a worked example of the local-data + local-LLM workflow Willison has been advocating, and as a reference design for how to wire a tool-using agent to a SQL data layer without leaking schema details into prompts. Notably the demo runs entirely against local models on his laptop in the video.

simon-willison datasette llm local-models
#24
Safety, Policy & Regulation 2026-05-21 AI Snake Oil (Narayanan & Kapoor) 6.2 6.5/6.7/5.3

Narayanan and Kapoor respond to Derek Thompson's recent essay on the AI-as-normal-technology framing. Thompson agreed with AINT's labor-market thesis but argued that AI risks require extraordinary intervention because of the tail-risk profile. The Snake Oil reply distinguishes between the macroeconomic regime (which they argue is consistent with normal-technology adoption — stable GDP, sub-5% unemployment, jobs-as-expected) and the policy ask (which they argue does not need extraordinary frameworks because existing regulatory tools — product liability, sectoral regulation, antitrust — cover most actual harms). Worth reading alongside the Trump-EO-delay coverage as the academic case for the same outcome.

narayanan kapoor ai-policy normal-tech
#25
Safety, Policy & Regulation 2026-05-21 War on the Rocks 6.1 5.9/6.8/5.6

War on the Rocks tracks PRC diplomatic activity around AI governance at the UN and other multilateral fora over the past several weeks: China's vice minister of science and technology pushing for UN-led frameworks at a May 5 meeting, two senior Chinese AI experts appearing remotely on a Capitol Hill panel hosted by Senator Sanders, and a coordinated track-2 push to seed PRC-friendly definitions in international standards bodies. The thesis: the U.S. is ceding the rule-setting layer at exactly the moment frontier capabilities are crystallizing. Aligns with broader concerns Daniel has been tracking on multilateral AI governance.

china ai-governance policy un
#26
Industry 2026-05-21 Stratechery 6.1 5.9/6.2/6.2

Ben Thompson interviews Parallel founder Parag Agarwal (former Twitter CEO) on the business model question that has come to dominate the agentic-web debate: if AI agents fetch and re-present content without sending traffic to the source, how do publishers get paid? Parallel's pitch is a metering layer that prices content per-agent-read, with revenue-share back to the publisher. The interview is recommended primarily for the framing of the problem; the technical implementation is sparse on details. Adjacent to Spotify's UMG announcement today — the same question for music — and the broader publisher / AI-search detente.

stratechery parallel agentic-web monetization
#27
Research 2026-05-21 Machine Learning Street Talk (MLST) 6.1 6.3/6.5/5.5

MLST's interview with Michael I. Jordan reframes the AI-vs-statistics framing he has been pushing for the past decade. Jordan argues that intelligence is fundamentally a collective phenomenon — supply chains, commerce, markets, the joint statistical behavior of many agents — and that calling the field "AI" obscures the harder open problems in economic mechanism design and multi-agent equilibrium. The conversation revisits his ICML keynote material on incentive-aware ML and connects it to current LLM debates around eval-gaming and agent coordination. Long-form listening for the ML-theory inclined.

jordan mlst philosophy multi-agent
#28
Research 2026-05-21 TWIML AI Podcast (Sam Charrington) 6.0 6.0/6.2/5.8

Jure Leskovec joins TWIML to discuss two threads: AI Virtual Cell (multiscale representations from single-cell RNA-seq through ESM protein language models through AlphaFold-style structure) and relational deep learning at Kumo — foundation models that treat relational tables as primary objects rather than reshaped tensors. The relational-FM pitch is interesting because it sits orthogonally to the LLM-over-CSV pattern; if the per-row reasoning happens in a model that natively understands joins and primary keys, the agent overhead vanishes. Worth listening for the AI Virtual Cell discussion alone.

leskovec kumo relational-ml ai-virtual-cell
#29
Multimodal 2026-05-22 Two Minute Papers 6.0 6.2/5.6/6.2

Károly Zsolnai-Fehér covers a DeepSeek paper titled "Thinking with Visual Primitives" — a method for visual reasoning where the model composes primitive geometric shapes as an intermediate scratchpad before producing the final answer. The pitch is that constraining the visual chain-of-thought to a finite primitive vocabulary improves out-of-distribution generalization on geometric reasoning tasks. The original GitHub repo (ailuntx/Thinking-with-Visual-Primitives) and an associated dataset have been published; the Hugging Face dataset shows the deepseek-ai repo was deleted, which is a flag worth tracking.

deepseek visual-reasoning multimodal
#30
Agents & Tool Use 2026-05-21 AK (@_akhaliq) Daily PapersarXiv cs.AI (Artificial Intelligence)arXiv — Evals & BenchmarksarXiv — Reinforcement LearningHugging Face Daily Papers 6.0 6.5/6.0/5.6

Spreadsheet-RL trains LLM agents on a realistic spreadsheet-task benchmark with RL from execution rewards, targeting workflows that wrap Excel and Google Sheets. The contribution is the combination of a curated task suite that mirrors actual office spreadsheet patterns (multi-sheet lookups, formula chains, pivot generation) and an RL training loop that uses successful-completion signal as reward. Reportedly improves over RLHF-only and SFT baselines on the in-distribution suite; ablations show the cell-grounding action space is the key design choice. Adjacent to today's WorkstreamBench paper on the same domain.

spreadsheet agents rl office-automation
#31
Efficiency 2026-05-21 AK (@_akhaliq) Daily PapersarXiv cs.CV (Computer Vision)arXiv — Generative Media / DiffusionHugging Face Daily Papers 6.0 6.3/5.9/5.8

WorldKV proposes a memory architecture for world models that combines retrieval-augmented context with learned compression of historical state. The compression module reduces the per-frame state to a fixed-size token sequence that integrates with standard transformer attention, and the retrieval module pulls back high-fidelity history when the compressed representation is insufficient. Targets video generation and long-horizon embodied prediction; reports favorable scaling vs. flat-attention baselines on long-horizon benchmarks.

world-models memory kv-cache
#32
Recurrent & Linear Attention 2026-05-21 AK (@_akhaliq) Daily PapersarXiv cs.AI (Artificial Intelligence) 6.0 6.3/6.0/5.7

Gated DeltaNet-2 extends the DeltaNet linear-attention line by decoupling the erase and write gates that update the recurrent state. Prior DeltaNet variants tied the two operations through a single delta rule; here each is parameterized separately, which the authors argue improves in-context recall and reduces the catastrophic-erase failure mode that has plagued linear-attention models on retrieval benchmarks. Reports gains on associative-recall and needle-in-a-haystack tasks at parameter parity with prior DeltaNet.

linear-attention deltanet recurrent long-context
#33
Post-Training 2026-05-21 arXiv cs.AI (Artificial Intelligence)arXiv cs.LG (Machine Learning)arXiv — Efficiency (Quantization, MoE, Inference) 5.9 6.2/6.0/5.5

A unified analytical framing of supervised fine-tuning, RLHF, DPO, and on-policy RL variants in terms of the induced state distribution rather than the per-token gradient. The argument is that the methods differ most consequentially in which states the model spends gradient on during training; reframing the comparison this way clarifies when on-policy methods will outperform offline ones and predicts the failure modes of off-policy DPO at high coverage gaps. Companion experiments on standard RLHF benchmarks.

rlhf dpo post-training theory
#34
Research 2026-05-19 AK (@_akhaliq) Daily PapersHugging Face Daily Papers 5.9 6.0/5.7/6.0

Toto 2.0 extends the Toto time-series foundation model line with scaling-law experiments mapping the parameter / data / loss relationship for forecasting. The headline is that time-series forecasting now exhibits clean LLM-style scaling curves once the training corpus reaches a critical diversity threshold, and that a single foundation model can replace per-domain trained forecasters on a wide suite of evaluation tasks. Architecture is a decoder-only transformer with continuous-value input embeddings and parameterized quantile heads for prediction.

time-series forecasting scaling foundation-model
#35
Audio & Speech 2026-05-19 AK (@_akhaliq) Daily PapersHugging Face Daily Papers 5.9 6.1/5.7/5.9

Mega-ASR scales up real-world acoustic-environment simulation for ASR training. The contribution is a simulation pipeline that synthesizes reverberation, microphone-noise, codec, and overlapping-speaker conditions at a scale large enough to dominate training, plus a Whisper-class ASR architecture trained on the synthesized corpus. Reports WER improvements on far-field and multi-speaker eval sets vs. real-data-only baselines, suggesting the simulation distribution now covers enough of the in-the-wild manifold to substitute for hard-to-collect real recordings.

asr speech data-augmentation whisper
#36
Efficiency 2026-05-16 AK (@_akhaliq) Daily PapersHugging Face Daily Papers 5.9 6.2/5.8/5.7

A distillation procedure that converts a full-attention pretrained transformer into a sparse-attention variant in hundreds of additional training steps while retaining most of the dense model's evaluation performance. The trick is a curriculum that gradually increases sparsity along the layer dimension while a teacher forcing signal maintains output alignment. Notable for the cost claim — retraining at this scale is cheap enough to motivate widespread sparse-attention conversion for inference-cost reduction.

sparse-attention distillation efficiency
#37
Efficiency 2026-05-19 AK (@_akhaliq) Daily PapersHugging Face Daily Papers 5.8 5.9/5.6/5.9

OScaR proposes a KV-cache quantization scheme targeting extreme low-bit regimes (sub-2-bit) by exploiting per-head and per-position statistics to drop the precision budget where it has least effect. Reports near-lossless accuracy at average <2 bits per cached value on standard long-context benchmarks. Useful for serving cost; complements concurrent work on quantized attention from the SGLang/INT4-QAT pipeline.

kv-cache quantization inference efficiency
#38
Post-Training 2026-05-20 AK (@_akhaliq) Daily PapersHugging Face Daily Papers 5.8 6.0/5.8/5.6

An analysis claiming that the gains from RLVR (RL with verifiable rewards) on reasoning models concentrate in a rank-1 direction of the weight update, and that minimal training along this direction recovers most of the full RLVR benefit. If the claim holds, it has practical implications for low-compute post-training and theoretical implications for what RLVR is actually doing relative to SFT.

rlvr post-training theory reasoning
#39
Evaluations & Benchmarks 2026-05-21 arXiv — Agents / Tool UsearXiv cs.CL (Computation & Language)arXiv — Evals & Benchmarks 5.8 6.0/6.2/5.2

Boiling the Frog introduces a multi-turn agentic safety benchmark that targets gradual-escalation jailbreaks — the failure mode where each turn is individually innocuous but the cumulative trajectory leads the agent into harmful actions. Reports that current frontier models including the Claude Sonnet 4.5 line and GPT-5.5 family show meaningful escalation susceptibility relative to single-turn safety evals. Useful evaluation surface for the agent-safety literature, which has been heavily single-turn to date.

agents safety jailbreaks benchmarks
#40
Generative Media 2026-05-21 arXiv cs.AI (Artificial Intelligence)arXiv cs.LG (Machine Learning)arXiv — Generative Media / Diffusion 5.7 5.8/5.6/5.7

Live Music Diffusion Models target real-time interactive music generation, where the diffusion sampler must respond to user input mid-generation without disruptive transients. Contributions are a fine-tuning recipe that conditions on a continuous user-control signal and a post-training stabilization step that reduces artifact rate at low sampler step counts. Complements Stability AI's Stable Audio 3.0 release (published Wed) and Spotify's UMG/ElevenLabs announcements today — the same domain from the research side.

diffusion music-generation interactive
Items
40
Multi-source
13
Long-form (≥7.5)
4
Sources OK / attempted
90 / 119
Top category
Industry
5 items