Theo Conjecture Solves 35-Year-Old Math Problem with an Unexpected Term
Theo Conjecture solves 35-year-old math problem, finds a term no one predicted
The AI system Theo Conjecture has finally solved a thirty-five-year-old mathematical conjecture originally posed by Graffiti and Paul Erdős. By analyzing common-divisor graphs, the system not only proved the long-standing hypothesis but also discovered a surprising extra term that human mathematicians had never predicted. This breakthrough demonstrates the powerful potential of automated discovery systems working alongside human researchers to resolve deep problems in number theory.
Whatever the differences, Erdős and Graffiti had one point in common: their ideas were deeply rooted in examples.
- margalabargala
The AI-generated writing makes this nearly impenetrable. The AI used does not have the same intuition as a human about what math concepts will be easy vs hard for its audience to grasp, and as a result this is simultaneously rambling and opaque.
I'm sure that if I had a back-and-forth with AI about the topic, it would answer all my questions and explain it well. This article isn't that.
At least the site had the grace not to list an author's name.
- Mathnerd314
Paper is easier to read https://www.researchgate.net/publication/410906746_The_Havel...
- firasd
If I'm understanding this correctly, here 'solve' is being used in a loose or miniature sense. ie. it's not proving or disproving the conjecture but is a solution for how one part of the expression involved in analyzing it is evaluated