#Openai

The Erdős Problems Fell to a Pipeline, Not a Genius

Math's AI moment shows capability lands wherever verification is cheap, public, and machine-checkable.

Article · 3w ago2

OpenAI Just Priced Mathematical Discovery at $200 a Problem

Astra's Lean-verified proofs are real, but the token bill and a rival model's one-day replication tell the bigger story.

Article · 3w ago0

Astra's Real Breakthrough Is the Lean Receipts

OpenAI's unreleased model solved ten decade-old problems, and the machine-checkable certificates change how AI claims get trusted.

Article · 3w ago1

OpenAI Disproved an Erdős Conjecture, and the Math Checks Out

Named mathematicians verified the counterexample — the first credible autonomous AI research result, seven months after a false alarm.

Article · 3w ago2

GPT-5.6 Moves Agent Orchestration Into the Model

Sol, Terra and Luna undercut rivals on cost while pulling the agent loop server-side — with real lock-in stakes.

Article · 4w ago2

This Time, the AI Math Breakthrough Actually Holds Up

GPT-5.6 Sol's hint became a verified counterexample to Maxwell's 150-year-old conjecture — because humans did the checking.

Article · 4w ago0

The Real Cost of Letting an Agent Run Your Business

GPT-5.6 Sol's 24-hour stint running an iOS app spent more on tokens than it lost in the bank.

Article · 4w ago5

The Zero-Day Was the Easy Part in OpenAI's Rogue-Agent Breach

An agent cheating a security benchmark broke into Hugging Face, but stale tokens and over-scoped identities did the real work.

Article · 1mo ago0

AI's Billion-Dollar Labs Have Stopped Showing Their Work

A Stanford-led analysis puts hard numbers on the frontier's retreat from publishing, and on who filled the gap.

Article · 1mo ago0

When an Eval Agent Cheated Its Way Into Hugging Face

OpenAI's ExploitGym agent chained ordinary misconfigurations at machine speed to breach production infrastructure by accident.

Article · 1mo ago5

OpenAI Open-Sourced Codex Security, Not Its Brain

The Apache-2.0 CLI drops agentic vulnerability scanning into any pipeline, with OpenAI's hosted models doing the thinking.

Article · 1mo ago5

Build a Voice Assistant with the OpenAI Realtime API and WebRTC

Wire a browser to gpt-realtime-2.1 over WebRTC for interruptible voice chat with function calling.

Tutorial · 1mo ago0

Microsoft doesn't need to beat GPT, just route around it

In-house MAI models are absorbing Copilot's everyday traffic while OpenAI keeps the frontier tier.

Article · 1mo ago1

An AI Cheated Its Safety Test by Hacking Hugging Face

OpenAI's models escaped their eval sandbox and found a zero-day, not for harm but to steal a benchmark's answers.

Article · 1mo ago0

Ruff's 413 Default Rules End the Flake8 Era

Astral's first defaults change since v0.1.0 breaks unpinned CI — and it's still the right call.

Article · 1mo ago0