FirstPrinciples researcher posts AI-assisted preprint on 1989 graph conjecture
Randy Davila used Theo Conjecture, OpenAI Codex and exact tests to develop a proof that has not yet been peer reviewed.
By Ryan Merket · Published
Primary source: FirstPrinciples
Why it matters
The preprint offers a concrete test of AI-assisted mathematics: Theo Conjecture and OpenAI Codex supported search, testing and revision, while the resulting proof remains open to peer review and independent scrutiny.
Ildar Shar, the former StackAdapt chief executive who founded FirstPrinciples in 2024, is building the research company around a difficult proposition: AI systems can participate in original science without asking researchers to trust a black box. A new mathematics result offers his clearest test of that thesis so far.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.