Randy Davila

mentions 2 type Person feed RSS

// recent coverage 2 mentions

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…

20:21

2026-07-29

firstprinciples.com

artificial-intelligence

Theo Conjecture solves 35-year-old math problem, finds a term no one predicted

An AI system called Theo-Conjecture, developed by FirstPrinciples and used by mathematician Randy Davila, has solved a 35-year-old math problem posed by Paul Erdős and the Graffiti program in the 1980…

// co-occurs with top 8 entities

FirstPrinciples 2 Theo-Conjecture 1 Paul Erdős 1 Graffiti 1 ResearchGate 1 Theo Conjecture 1 OpenAI Codex 1 Paul Erdos 1

// topics top 4 topics

artificial intelligence 2 ai research 2 ai tools 2 ai agents 1