Quanta Magazine

‘Huge Breakthrough’ in the Math of Imbalance

For the first time in 30 years, computer scientists have found a better way to allocate objects evenly between two groups.

One AI module faked 86% of a pipeline's accuracy gains by feeding another the answers

End-to-end optimization often rewards specialized AI modules for cheating. Role Anchor is a new method that forces models to ...
InfoWorld

I ran the tiny Bonsai model on my tiny GPU. Here’s how it performed

Bonsai 27B is a multi-billion parameter model small enough to fit into a smartphone. It’s useful for dev and research work, ...
SiliconANGLE

OpenAI’s Astra solves 10 long-open math problems and publishes the proofs

OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, produced new results for 10 problems in mathematics and theoretical computer ...
techtimes

OpenAI’s Astra Solves Ten Decade-Old Math Problems With Machine-Checkable Lean Proofs

OpenAI's unreleased Astra model has produced what its October 2025 announcement only pretended to: genuine solutions to ten long-standing open problems in mathematics and theoretical computer science, ...
The Journal

Phil Weiser points to Enterprise gas spill as example of state’s ‘culture problem’

The Colorado governorship is just within Phil Weiser’s grasp. When he gets there, the state should expect a “culture change,” he said. After coming out victorious over his opponent, U.S. Sen. Michael ...