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

automated-theorem-proving

band: coolmomentum: stable score: 0.003

temperature history

Episodes (3)

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

Independent expert review will determine whether Theo produced a valid and novel solution to the reported 35-year-old mathematical problem.

expirednovelscott: low

Shengtao Guo, Ethan X. Fang, and Junwei Lu claim Odin discovered a proof giving a dimension-independent bound for the Komlós signing problem and square-root Beck–Fiala discrepancy, potentially establishing a major mathematical discovery by an AI research agent.

seednovelscott: low

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