Can a general AI model find a connection no mathematician thought to look for? An OpenAI reasoning model, not one built to prove theorems, disproved Erdős's 1946 unit-distance conjecture by attacking a geometry problem with deep tools from number theory, a link between distant fields that human mathematicians then had to check.https://benjaminhan.net/posts/20260606-model-disproves-discrete-geometry-conjecture/?utm_source=mastodon&utm_medium=social#AI #AIforScience #Mathematics #OpenAI
Related
Keeping people safe by making things up? How does that work? https://news.sky.com/story/derbyshire-police-officer-invest...
Keeping people safe by making things up? How does that work? https://news.sky.com/story/derbyshire-police-officer-investigated-for-using-ai-to-create-evidence-in-multiple-cases-135...
Interview: Swift Student Challenge winners talk app inspiration, presenting to Tim Cook and John Ternus, moreWhile at Ap...
Interview: Swift Student Challenge winners talk app inspiration, presenting to Tim Cook and John Ternus, moreWhile at Apple Park this week for WWDC, I had the opportunity to sit do...
What the US government did to #Fable is quite serious and has repercussions across the whole AI industry. This may delig...
What the US government did to #Fable is quite serious and has repercussions across the whole AI industry. This may delight anti-AI people, but it is really not good for the economy...