
OpenAI Hands Three AI-Made Proofs to Human Referees
OpenAI says its internal models proved results on Kakeya, the Exponential Time Hypothesis and Yang-Mills. Outside experts are now checking all three.

OpenAI says its internal models proved results on Kakeya, the Exponential Time Hypothesis and Yang-Mills. Outside experts are now checking all three.

Google's Gemini 4 Argon is open to developers, businesses and paid subscribers. What it claims, which benchmark figures are Google's own, and what it will cost.

Google Play now lets adults install Android apps they built in AI Studio with no developer account. The apps stay private, unreviewed and visible only to you.

An AI demo can impress in a week, but real data, permissions and budgets take far longer. What stands between pilot and production, and how to test for it.

Google's Gemini agent keeps a company's tools, memory and rules in one place and can hand jobs to Claude. Swapping the model is easy; the platform may not be.

ArtCraft's developer is adding WordCraft, GridCraft and DeckCraft to his free Rust suite. The official page lists them as in development. What that means.

A new branch in Linus Torvalds' repository speeds up small reads of one file from many threads, and its cover letter credits Claude Code. What it means.

OpenAI and Anthropic just cut prices on their newest models, yet total demand for chips and power may keep climbing. Here is how both can be true.

NVIDIA says agent safety rules must live outside the model. We look at OpenShell, Sentry and the Hugging Face breach behind them, and at what is still unproven.

Midjourney is testing a "Rerun (Thinking)" button on its Alpha website to improve prompt accuracy, text and coherence. How it works, and what is still unknown.

OneRail's OmniSTAR uses Nvidia software to choose, order by order, the lowest-cost delivery option that meets the promised service. The speed claim is 10 times.

A new branch in Linus Torvalds' repository speeds up small reads of one file from many threads, and its cover letter credits Claude Code. What it means.

Resetting your progress on purpose sounds wrong. Here is what prestige really does, what you keep, and how to know when the time is right.

An AI demo can impress in a week, but real data, permissions and budgets take far longer. What stands between pilot and production, and how to test for it.

NVIDIA says agent safety rules must live outside the model. We look at OpenShell, Sentry and the Hugging Face breach behind them, and at what is still unproven.

Korean reports say Samsung asked suppliers for 20–30% fewer phones in Q4 as memory prices climb. Samsung has not confirmed the numbers. Here is what we know.