“An OpenAI model has disproved a central conjecture in discrete geometry” (log scaling of inner-monologue compute in probability solving Erdős’s planar unit distance problem)

submitted by /u/gwern
[link] [comments]

Liked Liked