SDSignal Desk

The file

Latest

Sourced AI briefs in publish order — newest first. Citeable originals live on the homepage under From Signal Desk.

AIOct 6, 2026OpenAI

Sharing AI progress in mathematics

The most important line in OpenAI's new math release isn't the result count, it's the Lean proofs that let a computer, not an overworked referee, do the first round of checking.

AIOct 6, 2026OpenAI

Advancing computer use with Ironclad

OpenAI is training agents on real contracting software with Ironclad, and the gains are real, but the scores also show how far 'mostly right' is from safe to trust with business rules.