Today in AI — 2026-05-20

Top AI stories of the day, ranked by source authority + keyword signal. Auto-curated from 27 trusted sources.

1. An OpenAI model has disproved a central conjecture in discrete geometry

Source: OpenAI Blog · Signal: 50 ·

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.

2. How Ramp engineers accelerate code review with Codex

Source: OpenAI Blog · Signal: 50 ·

How Ramp engineers use Codex with GPT-5.5 to review code and ship improvements, allowing them to get substantive feedback in minutes instead of hours.

3. The next phase of OpenAI’s Education for Countries

Source: OpenAI Blog · Signal: 50 ·

OpenAI advances Education for Countries, expanding AI adoption in schools with new partnerships, teacher training, and tools to improve global learning outcomes.

4. [AINews] Google I/O 2026: Gemini 3.5 Flash, Omni (NanoBanana for Video), Spark (background agents), and Antigravity 2.0

Source: Latent Space Podcast · Signal: 48 ·

Google has been busy!

5. Railway: The Agent-Native Cloud — Jake Cooper

Source: Latent Space Podcast · Signal: 44 ·

3M Users, 100K Signups/Week, Own-Metal Data Centers, $200K+ Coding Agent Spend, and the Death of PRs

6. An AI system to help scientists write expert-level empirical software

Source: Hacker News - AI · Signal: 30 ·

Article URL: https://www.nature.com/articles/s41586-026-10658-6 Comments URL: https://news.ycombinator.com/item?id=48215981 Points: 2 # Comments: 0

7. How Many Questions Can the World Afford to Ask AI?

Source: Hacker News - AI · Signal: 30 ·

Article URL: https://www.chicagobooth.edu/review/how-many-questions-can-world-afford-ask-ai Comments URL: https://news.ycombinator.com/item?id=48215922 Points: 2 # Comments: 0

8. Meta Begins AI-Driven Layoffs, Report Says. Can They Boost the Struggling Stock?

Source: Hacker News - AI · Signal: 30 ·

Article URL: https://www.barrons.com/articles/meta-stock-ai-layoffs-f9dba997 Comments URL: https://news.ycombinator.com/item?id=48215873 Points: 1 # Comments: 0

9. InferenceBench: A Benchmark for Open-Ended Inference Optimization by AI Agents

Source: Hacker News - AI · Signal: 30 ·

Article URL: https://inferencebench.ai/ Comments URL: https://news.ycombinator.com/item?id=48215860 Points: 1 # Comments: 0

10. SpaceX Is Spending $2.8 Billion to Buy Gas Turbines for Its AI Data Centers

Source: Wired AI · Signal: 30 ·

The investment comes as Elon Musk’s AI unit faces complaints about the carbon-emitting units and looks to become a big player in cloud computing.

11. The Elements of Power (AI Supply Chain)

Source: Hacker News - AI · Signal: 30 ·

Article URL: https://z-library.im/book/xkRN77V9kg/the-elements-of-power-a-story-of-war-technology-and-the-dirtiest-supply-chain-on-earth.html Comments URL: https://news.ycombinator.com/item?id=48215776 Points: 2 # Comments: 0

12. Show HN: A fast, free AI rewriter

Source: Hacker News - AI · Signal: 30 ·

Article URL: https://revise.io/ai-rewriter Comments URL: https://news.ycombinator.com/item?id=48215515 Points: 1 # Comments: 0