machina — computation quarterlyv.19_2026-07

MACHINA

/var/log/frontier.log

$ benchmark --reasoning --unassisted

…loading 2,041 unsolved problems

> solved: 3 · novel proofs: 1 · verified by humans: 1

> reviewer note: "we did not expect lemma 4."▮

// COVER STORY · P.14

THE FIRST PROOF NOBODY WROTE

A machine-generated theorem cleared peer review this spring. The mathematicians who checked it describe a strange new kind of reading.

[22] chips that compute in light [38] the weights leak economy [55] COBOL's immortality