Tokens & Signals for 5/20/2026. We scanned ~1,200 Twitter accounts (1238 tweets), 13 subreddits (54 posts), Hacker News (13 stories), 7 newsletter posts, 5 podcast episodes, 195 Discord messages, and leaderboard data for you. Estimated reading time saved: ~12 hours.
� OpenAI's reasoning model just **disproved the 80-year-old Erdős unit distance conjecture**—the first time AI has autonomously cracked a landmark open math problem. https://x.com/gdb/status/2057182650784452925
* Alibaba's new Qwen 3.7-Max is turning heads with 4x performance jumps, 35-hour autonomous execution, and 1,000+ tool calls per run. x.com/xiong_hui_chen/status/2056936165450842593
* Meta is cutting 8,000 jobs (10% of its workforce) to go all-in on AI—canceling 6,000 open roles and shuffling 7,000 employees into new AI divisions. x.com/kimmonismus/status/2057069652636012880
* SpaceX is eyeing a massive June 2026 IPO, tapping Goldman Sachs for a potential $2T+ valuation. x.com/tbpn/status/2056884476291010776
* @karpathy on his new role at Anthropic: "Teaching Claude to teach itself how to pretrain. The ouroboros of AI research." x.com/kimmonismus/status/2056849167721603509
* Gemini 3.5 Flash is landing with a thud—users are calling out a 3.5x price hike and sluggish coding performance compared to the competition. reddit.com/r/singularity/comments/1tidr4p/gemin...
* @GergelyOrosz on the Google Cloud account deletion mess: "This is the second major accidental account wipe in two years, and it's making enterprise teams nervous." x.com/GergelyOrosz/status/2057014364473864421
* Cohere dropped Command A+ under an Apache 2.0 license—a strong new open-weights option built for agentic workflows. x.com/nickfrosst/status/2057133957502660785
* Kling AI's 95-minute feature film "Born of the Tide" just hit Cannes on a sub-$500k budget. AI film production is getting dangerously good, dangerously fast. x.com/Kling_ai/status/2056942592982741074
Best to Build With Today
* Coding — claude-opus-4-6-thinking-auto currently leads for complex agentic loops and reasoning.
* Reasoning — claude-opus-4-6-thinking-auto is the top performer on LiveBench.
* Chat — gemini-3-1-pro remains the ELO king for general conversation.
* Open-source — command-a-plus-05-2026-bf16 (Cohere) is your new go-to for high-performance agentic tasks with a permissive license.
* Math — gpt-5-5-xhigh is the current heavyweight for numerical logic.
Deeper Dives
🧠 Models & Research
OpenAI Model Solves Open Math Conjecture
An internal OpenAI reasoning model autonomously disproved the Erdős unit distance conjecture—a discrete geometry problem that's been sitting unsolved since 1946. The AI found a proof showing that unit-distance pairs exceed linear growth, cracking an 80-year-old mystery without any human guidance.
Why it matters: General-purpose AI can now independently conduct scientific discovery at the highest levels of mathematics. That's genuinely new territory.
� Twitter� Hacker News
Qwen 3.7-Max Released for Agentic Frontier
Alibaba's latest flagship is built for long-horizon autonomous tasks—35-hour execution windows, 1,000+ tool calls, and 4x performance gains over the previous generation. It's quickly becoming the strongest Chinese model on the market.
Why it matters: The pace of improvement here is relentless, and it's putting serious pressure on Western frontier labs.
� Twitter� Hacker News
Mixed Reception for Gemini 3.5 Flash
Google pushed Gemini 3.5 Flash into general availability, but the community isn't exactly thrilled. The 3.5x price hike combined with inconsistent coding performance—especially compared to rivals like Sonnet 3.6—has developers grumbling.
Why it matters: As the "intelligence race" matures, developers are getting a lot pickier about price-to-performance. You can't just ship and expect applause anymore.
� Reddit� Twitter
💼 Industry & Business
SpaceX Selects Goldman Sachs for IPO
SpaceX is targeting a June 2026 IPO at a valuation north of $2 trillion, planning to raise up to $80 billion for new rocket systems and space-based AI data centers.
Why it matters: If it goes through, this would be the largest IPO in tech history—a signal of just how massive the private space and AI infrastructure bet has become.
� Twitter
Meta Layoffs Hit 8,000 Employees
Meta is cutting 10% of its workforce to pour capital into AI engineering—canceling 6,000 open roles and moving 7,000 employees into new divisions like the Agent Transformation Accelerator.
Why it matters: When a company this size reshuffles thousands of people and kills thousands of open roles in a single move, it's not a pivot. It's a statement.
� Reddit
Google Cloud Deletes Customer Account
Google Cloud accidentally deleted the entire cloud account of infrastructure provider Railway—and this isn't the first time. The 2024 wipeout of the UniSuper pension fund's account is still fresh in people's minds, and enterprise teams are starting to ask hard questions about GCP reliability.
Why it matters: Enterprise trust in Google's cloud stability is eroding, and every incident like this sends developers shopping for alternatives.
� Twitter� Hacker News
🚀 Products & Launches
Kling AI Showcase at Cannes
"Born of the Tide" is a fully AI-produced feature film—95 minutes, under $500k. For context, a typical Hollywood production runs $50M or more.
Why it matters: We're crossing the threshold where AI-generated feature films can actually compete with traditional Hollywood economics. That's going to get uncomfortable for a lot of people.
� Twitter
Launches
* Cohere Command A+ — An Apache 2.0 licensed MoE model optimized for agentic tasks, supporting 48 languages.
* Stable Audio 3 — New open-weights models for high-fidelity music and sound effect generation.
* Google AI Studio Mobile — A new mobile interface for AI Studio that lets you prototype and "vibe code" on the go.
Closing thought: From cracking 80-year-old math problems to producing feature films for pocket change, the gap between human imagination and machine execution is closing faster than anyone expected. Buckle up.