SDSignal Desk

Desk

AI

Broad artificial intelligence coverage.

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.