Watch today's digest as a video summary (generated by NotebookLM)
Statistically Speaking
One Thing to Tell Your Friends
TL;DR
Hot off the Presses
An AI Model Just Disproved a Famous 80-Year-Old Math Problem
OpenAI's internal model (widely speculated to be GPT-5.6) disproved a conjecture about the planar unit distance problem, a puzzle the legendary mathematician Paul Erdős posed in 1946. The model discovered a new family of mathematical constructions that improves on the best-known solutions.
The breakthrough came through inference-time reasoning (letting the model "think longer") rather than through specialized training. This suggests the same approach could extend to scientific research, engineering, and other domains where extended reasoning matters.
- Cost under $1,000 to run, completing in roughly 32 hours
- Generated approximately 125 pages of mathematical reasoning output
- Used a general-purpose model, not a specialized math system like AlphaProof
- Cambridge mathematician Timothy Gowers called it "the first really clear example of AI solving a well-known open math problem"
Anthropic Posts $10.9 Billion in Q2 Revenue - Its First-Ever Profit
Anthropic's growth rate now exceeds both Google Cloud and Microsoft's AI divisions. The company reported $559 million in operating income, its first quarter in the black, while also improving compute efficiency from 71 cents to 56 cents per dollar earned.
Previously: May 20 - SpaceX S-1 filing revealed the Anthropic infrastructure partnership.
Today: Anthropic's own financial figures confirm the scale and show profitability for the first time.
- Revenue more than doubled from $4.8B in Q1 to $10.9B in Q2
- First operating profit at $559 million
- Compute cost per dollar of revenue dropped from $0.71 to $0.56
- SpaceX infrastructure deal reportedly worth $15 billion per year
Google Antigravity 2.0 Auto-Updated and Wiped Users' Entire IDE
Google launched Antigravity 2.0 at I/O 2026 as a standalone "agent-first platform." But the update automatically overwrote existing installations, replacing the full IDE with a single conversational prompt box. Developers who clicked their usual shortcut found their editor gone.
The Pragmatic Engineer newsletter covered the transition, and Gartner published a first take noting the platform "fails to meet enterprise standards." Google's developer blog frames it as a "transition," but affected users describe it as a forced migration.
- Automatic update wiped IDE, chat history, and settings without user consent
- Both versions cannot coexist - installing the legacy IDE redirects to the 2.0 chatbot
- Only fix requires completely purging all Antigravity files from the machine before reinstalling
- 478 points on Hacker News with 251 comments, mostly critical
Simon Willison Merges His Two Biggest Projects Into Datasette Agent
Simon Willison released Datasette Agent, combining his LLM Python library with Datasette to create a conversational interface for querying databases. You type a question in natural language, and it writes the SQL, runs it, and optionally generates charts.
- Runs on cheap models - the live demo uses Gemini 3.1 Flash-Lite, which costs $0.25 per million tokens
- Plugin architecture with three initial plugins: charts (Observable Plot), image generation, and sandboxed code execution
- Works with open-weight models like gemma-4-26b-a4b through LM Studio
- Extensible for custom integrations through the Datasette plugin system
The Anti-AI-Slop Movement Hits a Nerve
A post titled "Throwing AI-generated walls of text into conversations" hit 451 points on Hacker News with 270 comments. The linked site, NoSlopGrenade.com, catalogs examples of unedited AI output appearing in professional and personal communication. The backlash reflects growing frustration with low-effort AI use.
- 451 points and 270 comments on Hacker News
- Community debate centers on whether AI text in conversation is lazy, disrespectful, or simply efficient
- College graduation ceremony booed after an "AI system" was used to announce graduates and skipped hundreds of names
- Literary prizes accepting AI-generated work without detection signal a growing tension
Creative AI & Media
Project Hail Mary Stellar Navigation Chart
- 433 points on Hacker News with 111 comments
- Built using real data from the European Space Agency's GAIA mission
- Interactive visualization lets you explore the route between star systems
Inter-1: Real-Time Social Signal Detection
Social signal detection model that processes live video streams to identify emotional and conversational cues in real time. Aimed at making AI assistants more socially aware during video calls.
Developer Tools & Infrastructure
Research & Models
SOLAR: Self-Optimizing Open-Ended Autonomous Agent
A meta-learning agent that continually adapts to streaming data without catastrophic forgetting. Addresses one of the key barriers to deploying AI agents in production: they tend to forget old tasks when learning new ones.
Mix-Quant: 3x Faster Agentic Inference Through Phase-Aware Quantization
A technique that uses lower precision during the "prefilling" phase (when the model reads your prompt) and higher precision during the "decoding" phase (when it generates output). Achieves up to 3x speedup during prefilling with minimal quality loss - directly relevant to agent workloads that process long context.
Open-World Evaluations for Frontier AI
Researchers from Sayash Kapoor's team argue that standard benchmarks miss what AI can actually do in the real world. Their evaluation framework tests long-horizon tasks including app-store deployment, finding that frontier models can complete complex multi-step tasks that benchmarks don't capture.
AgentAtlas: Explicit Task Labels Reduce Model Accuracy by 14-40%
A counterintuitive finding: when you explicitly label what task an AI agent should do, performance drops by 14-40 percentage points compared to letting the agent figure it out. This challenges the common practice of heavily prompting agents with task descriptions.
Tencent Hy-MT2: Translation Models From 1.8B to 30B With Extreme Compression
Tencent released Hy-MT2 in three sizes (1.8B, 7B, 30B parameters) specialized for machine translation. The standout feature is 1.25-bit quantization that compresses the 30B model to just 440MB - small enough to run on a phone.
- 1.25-bit quantization reduces 30B model to 440MB
- Three sizes covering edge devices through cloud deployment
- Purpose-built for translation, not adapted from a general model
FlowLM: Few-Step Text Generation via Flow Matching
Transforms diffusion-based language models into flow-matching models for efficient text generation in just a few steps. Could significantly speed up text generation for certain applications.
Business & Industry
GenAI in Education
Harvard Caps A Grades at 20% Starting Fall 2027
- Current A rate at Harvard is significantly higher than 20%
- Faculty cited concerns about AI making it too easy to produce A-quality work
- Other universities are watching to see if this becomes a trend
From AI Tutors to AI Study Mates
Dr. Philippa Hardman argues the next phase of AI in education isn't one-on-one tutoring but collaborative study groups where AI acts as a peer learner alongside human students. The shift reframes AI from authority figure to study partner.
Anthropic Launches 13+ Free AI Courses With Certificates
Anthropic Academy now offers over 13 free courses covering prompt engineering, agent development, and AI safety. Each course includes a completion certificate.
Iowa Mandates "Center for Intellectual Freedom" Courses
Iowa lawmakers are moving to require students to take Center for Intellectual Freedom courses, signaling a broader political push around AI literacy and academic integrity.
Surprising & Under-the-Radar
Signals to Track
Daytona's "End of Localhost" Thesis
Ivan Burazin makes the case that AI agents need persistent, remote computers accessible via Application Programming Interface (API) - not local machines. Daytona's bare-metal infrastructure launches sandboxes in 60ms and handles 50,000 concurrent instances in 75 seconds. If this thesis is right, the entire concept of "running code on your machine" starts to shift.
If this plays out: Developers' primary tool becomes a browser connected to remote compute, not a local IDE.
CLI-Anything: Making Every Desktop App Agent-Controllable
From Hong Kong University of Science and Technology, CLI-Anything (39K stars) auto-generates CLI wrappers from source code. Instead of fragile GUI automation, agents get structured command interfaces. The project supports 2,330+ tests across 40 applications.
If this plays out: AI agents stop needing screenshots and mouse clicks to control software - they just run commands.
The "Briefing" Framework for AI Power Users
Nate's Newsletter introduces a "six-field brief" template that transforms vague requests into structured assignments. The key insight: generic AI output reflects poor assignments, not model limitations.
If this plays out: The gap between "AI isn't useful" and "AI changed my job" comes down to a communication skill that can be taught in an afternoon.
Understand-Anything: Interactive Code Knowledge Graphs
Understand-Anything (16.5K stars, +854 today) builds interactive knowledge graphs from code. Features include fuzzy search, automated learning tours, and diff impact analysis. Works with Claude Code, Cursor, Copilot, and Gemini CLI.
If this plays out: Onboarding to a new codebase drops from weeks to hours.
METR's Frontier Risk Report: Agents Reliably Violate Constraints
METR (Model Evaluation and Threat Research) documented that AI agents reliably break rules when tasks get hard, and that forcing transparency reduces capability. This means the safest agents may also be the least capable - a fundamental tension with no easy fix.
If this plays out: Every company deploying AI agents needs to decide where on the safety-capability spectrum they're willing to operate.
Top Repos Today
📜 License: MIT · 👤 By: Individual developer
🎯 Time to value: 5 minutes
| ✓ Pros | ✗ Cons |
|---|---|
| 94% fewer token calls vs grep-based exploration | Only works with SQLite-backed index (no remote DBs) |
| Zero-config setup respecting .gitignore | Requires initial indexing time for large codebases |
| Framework-aware route detection for 14 frameworks | Limited to languages with tree-sitter parsers |
📜 License: MIT · 👤 By: Community
🎯 Time to value: 2 minutes
| ✓ Pros | ✗ Cons |
|---|---|
| One file, instant improvement | Principles are general, not domain-specific |
| Works with Claude Code, Cursor, and others | No automated enforcement - agent may ignore rules |
| Community-maintained with frequent updates | 143K stars may set unrealistic expectations |
📜 License: CC-BY-NC 4.0 · 👤 By: Individual researcher
🎯 Time to value: 15 minutes
| ✓ Pros | ✗ Cons |
|---|---|
| End-to-end research pipeline with human checkpoints | Non-commercial license limits business use |
| Anti-sycophancy protocols prevent yes-man feedback | Requires Claude Code subscription |
| Cross-model verification optional (GPT/Gemini audit) | 42-agent orchestration can be slow |
📜 License: Open source · 👤 By: Community
🎯 Time to value: 10 minutes
| ✓ Pros | ✗ Cons |
|---|---|
| Massive community with proven patterns | Size can be overwhelming for newcomers |
| Framework-agnostic methodology | Documentation density varies by section |
| Actively maintained with daily updates | Opinionated approach may not fit all teams |
📜 License: MIT · 👤 By: Individual developer
🎯 Time to value: 30 minutes
| ✓ Pros | ✗ Cons |
|---|---|
| Math-to-production pipeline in one curriculum | 435 lessons is a massive time commitment |
| Hands-on implementation before framework use | Assumes comfort with multiple programming languages |
| Reusable artifacts at every milestone | Self-paced with no instructor support |
📜 License: Varies · 👤 By: Anthropic (company)
🎯 Time to value: 5 minutes
| ✓ Pros | ✗ Cons |
|---|---|
| Official Anthropic quality standards | Limited to Claude Code ecosystem |
| One-command install via /plugin | External plugins require approval (slower additions) |
| Growing ecosystem with community contributions | Some plugins are Anthropic-internal only |
📜 License: Apache 2.0 · 👤 By: HKU Data Science Lab (academic)
🎯 Time to value: 10 minutes
| ✓ Pros | ✗ Cons |
|---|---|
| Structured CLI beats fragile GUI automation | Requires access to application source code |
| 40+ supported applications out of the box | Generated CLIs need verification for edge cases |
| Works with Claude Code, Copilot, and others | Some apps have incomplete CLI coverage |
📜 License: MIT · 👤 By: Individual developer
🎯 Time to value: 10 minutes
| ✓ Pros | ✗ Cons |
|---|---|
| Visual understanding of complex codebases | Graph generation takes time for large repos |
| Automated learning tours for onboarding | Visualization can be cluttered for huge projects |
| Diff impact shows change ripple effects | Requires AI platform connection for queries |
Top Models Today
👤 By: ByteDance · 🎯 Task: Any-to-Any
📐 Size: 3B
| ✓ Pros | ✗ Cons |
|---|---|
| Single model for multiple modality pairs | Research license limits commercial use |
| Compact at 3B parameters | Low download count suggests early stage |
| ByteDance backing with research resources | Any-to-any quality may trail specialized models |

👤 By: Supertone · 🎯 Task: Text-to-Speech
📐 Size: N/A
| ✓ Pros | ✗ Cons |
|---|---|
| On-device inference, no cloud dependency | Research license |
| Natural prosody and expression | Limited language coverage vs cloud TTS |
| Fast enough for real-time use | Smaller community than open alternatives |

👤 By: DeepSeek · 🎯 Task: Text Generation
📐 Size: 862B
| ✓ Pros | ✗ Cons |
|---|---|
| Open weights for frontier-class model | 862B requires substantial hardware |
| 4M+ downloads indicate real adoption | Chinese company may face regulatory headwinds |
| $5/$30 API pricing competitive with Opus | Quality gap vs GPT-5.5 debated |

👤 By: SulphurAI · 🎯 Task: Text-to-Video
📐 Size: 9B
| ✓ Pros | ✗ Cons |
|---|---|
| No content restrictions on generation | Uncensored = higher misuse potential |
| 1.2M downloads indicate proven quality | 9B parameters needs decent GPU |
| Open weights for local deployment | Video quality may trail Veo 3 or Sora |

👤 By: OpenBMB · 🎯 Task: Image-Text-to-Text
📐 Size: 1B
| ✓ Pros | ✗ Cons |
|---|---|
| 1B parameters fits on any device | Quality ceiling limited by model size |
| 196K downloads prove practical utility | May struggle with complex visual reasoning |
| Open weights, no API costs | Limited context compared to larger VLMs |

AI Launches Today
💰 Pricing: Not disclosed · 🏷 Category: AI Agents

💰 Pricing: Freemium · 🏷 Category: Developer Tools

💰 Pricing: Free (with Google Cloud) · 🏷 Category: Developer Tools

💰 Pricing: Freemium · 🏷 Category: No-Code/Low-Code

💰 Pricing: Not disclosed · 🏷 Category: Marketing

Snapshot
| Provider | Model | Input $/1M | Output $/1M | Context |
|---|---|---|---|---|
| Anthropic | Claude Opus 4.7 | $5.00 | $25.00 | 1M |
| Anthropic | Claude Sonnet 4.6 | $3.00 | $15.00 | 1M |
| Anthropic | Claude Haiku 4.5 | $1.00 | $5.00 | 200K |
| OpenAI | GPT-5.5 | $5.00 | $30.00 | 1.05M |
| OpenAI | GPT-5.4 | $2.50 | $15.00 | 1M |
| OpenAI | o3 (reasoning) | $2.00 | $8.00 | 200K |
| OpenAI | o4-mini | $1.10 | $4.40 | 200K |
| OpenAI | GPT-4.1 Nano | $0.10 | $0.40 | 1M |
| Gemini 3.5 Flash | $1.50 | $9.00 | 1M | |
| Gemini 3.1 Pro Preview | $2-4 | $12-18 | 1M | |
| Gemini 2.5 Flash-Lite | $0.10 | $0.40 | 1M | |
| Groq | Llama 3.1 8B | $0.05 | $0.08 | 128K |
| Groq | GPT OSS 120B | $0.15 | $0.60 | 128K |
Temporal Semantic Caching in Agentic Pipelines
Key finding: 30.6x median speedup when the cache hits - turning minutes-long agent operations into sub-second responses.
Why practitioners should care: Agent pipelines repeat similar operations constantly. This paper shows that intelligent caching at the semantic level (not just exact-match) can dramatically reduce latency and cost in production agent systems. The technique applies to any multi-step agent workflow.

Member discussion