An OpenAI model has disproved a central conjecture in discrete geometry

https://openai.com/index/model-disproves-discrete-geometry-conjecture/

#HackerNews #OpenAI #Disproof #DiscreteGeometry #MathResearch #AIInnovation

Inspired by the No-three-in-line-Problem https://en.wikipedia.org/wiki/No-three-in-line_problem i studied a much simpler case and came up with a mini-conjecture:

Definition: A position on a Grid is called "blocked" if there would be three in Line, if a point is placed there.

Conjecture: You can't place n points on a n x n Grid without blocking a point or putting 3 in a line for n > 4.

Any hints on proving or disproving it? I am pretty sure it is true.

#math #NoThreeInLineProblem #DiscreteGeometry

(edited after comments)