Aug 18, 2026
Dimension-free constant two
Model / AI: GPT-5.6 Sol, Claude Opus 5, Danus, Rethlas
self-reported
Ouyang, Spector and Stockdale report that models developed proof strategies in dialogue with them. The humans redirected a complicated initial route, checked and rewrote the final argument, which proves a dimension-independent weak-type constant at most two and answers Stein's 1986 question.
Source read 2026-09-08. Read the abstract and detailed collaboration account in the source record. No formal or independent check was found.