Tech & AI · Coverage Brief · August 2, 2026

OpenAI releases ten AI-generated mathematical advances for scrutiny

OpenAI says an internal version of its next major model produced advances on ten long-stalled problems in mathematics and theoretical computer science. The company released a paper and Lean 4 formalizations for outside scrutiny, but the significance of the results still depends on expert review rather than OpenAI’s announcement alone.

Left 0 Center 2 Right 0

How outlets across the spectrum are covering this story. We link out — headlines belong to their publishers; the summary above is ours.