OpenAI's general-purpose reasoning model disproved a discrete geometry conjecture Paul Erdős posed in 1946 — the first o...

OpenAI's general-purpose reasoning model disproved a discrete geometry conjecture Paul Erdős posed in 1946 — the first open math problem credibly solved by an AI not purpose-built for mathematics.https://www.nerdheadz.com/blog/openai-erdos-unit-distance-problem-general-purpose-reasoning#ai #machinelearning

Read Original

Related