📡 AINEWS RADAR 2026-10-11 16:37 UTC

formal-mathematics

band: coolmomentum: stable score: 0.007

temperature history

Episodes (2)

fcesco claims GPT-6 Astra produced a valid proof of the Berge–Fulkerson conjecture for C(20) graphs, which would extend frontier-model-assisted theorem proving to a new bounded graph-theory result.

expiredknownscott: low

Expert review will determine whether Proof Atlas's AI-agent-produced Lean formalization validly strengthens Terence Tao's Collatz result to natural density with an explicit 436 ln N bound without proving the full conjecture.

expiredconvergesscott: medium

Trajectory notes

2026-09-06T23:49:50Z: gpt6-astra-berge-fulkerson-c20-proof closed (faded) — Scott’s Evidence Package, Verification Loops, and Provenance-Coupled Work pages already require inspectable artifacts and independent checks for claims like this. With no supplied proof, model identification, definition of C