21:43
2026-07-29
runtimewire.com
artificial-intelligence
FirstPrinciples researcher posts AI-assisted preprint on 1989 graph conjecture
FirstPrinciples researcher Randy Davila used the company's Theo Conjecture system and OpenAI Codex to produce a proof of a 1989 graph conjecture by Paul Erdos and William Staton, according to a July 2…