Please note: Most, if not all, of the articles published at this website were completed by Chat GPT (chat.openai.com) and/or copied and possibly remixed from other websites or Feedzy or WPeMatico or RSS Aggregrator or WP RSS Aggregrator. No copyright infringement is intended. If there are any copyright issues, please contact: bicycledays@yahoo.com.
OpenAI claims its new reasoning mannequin has produced an authentic mathematical proof disproving a well-known unsolved conjecture in geometry, which was first posed by Paul Erdős in 1946.
If this sounds acquainted to you, it’s as a result of this isn’t the primary time OpenAI has made such a daring declare. Seven months in the past, the AI large’s former VP Kevil Weil posted on X: “GPT-5 discovered options to 10 (!) beforehand unsolved Erdős issues and made progress on 11 others.”
It seems, GPT-5 didn’t really remedy these issues; it simply discovered present options that already existed within the literature.
Taunts from rivals like Yann LeCun and Google DeepMind CEO Demis Hassabis adopted, and Weil promptly took down his untimely submit. In the present day, at the least, it appears OpenAI didn’t make the identical mistake twice. Alongside the announcement, OpenAI revealed companion remarks in assist of the disproof from mathematicians like Noga Alon, Melanie Wooden, and Thomas Bloom, who maintains the Erdos Issues web site, and beforehand referred to as Weil’s submit “a dramatic misrepresentation.”
“For almost 80 years, mathematicians believed the very best options seemed roughly like sq. grids,” OpenAI posted on X. “An OpenAI mannequin has now disproved that perception, discovering a wholly new household of constructions that performs higher.”
The corporate mentioned this marks “the primary time AI has autonomously solved a outstanding open drawback central to a area of arithmetic.” The proof, per OpenAI, got here from a brand new general-purpose reasoning mannequin, not a system particularly designed to resolve math issues and even this drawback particularly.
OpenAI says that is important as a result of it means AI techniques are actually extra able to holding collectively lengthy, troublesome chains of reasoning and connecting concepts throughout fields in methods researchers might not have beforehand explored. That has implications for biology, physics, engineering, and drugs.
“AI helps us to extra totally discover the cathedral of arithmetic we’ve constructed over the centuries,” Bloom mentioned in an announcement. “What different unseen wonders are ready within the wings?”
Whenever you buy by means of hyperlinks in our articles, we might earn a small fee. This doesn’t have an effect on our editorial independence.
