Paul Erdos

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…

22:35

2026-05-28

letsdatascience.com

artificial-intelligence

OpenAI Disproves Erdos Planar Unit Distance Conjecture

OpenAI announced on May 20 that an internal general-purpose reasoning model produced a proof disproving Paul Erdos's planar unit distance conjecture, a problem first posed in 1946. External mathematic…

// co-occurs with top 8 entities

OpenAI 1 Daniel Litt 1 Timothy Gowers 1 Nature 1 Scientific American 1 The Guardian 1 FirstPrinciples 1 Randy Davila 1

// topics top 4 topics

artificial intelligence 2 ai research 2 large language models 1 ai tools 1