Theo Conjecture solves 35-year-old math problem, finds a term no one predicted

(firstprinciples.com)

35 points | by otalp 14 hours ago ago

9 comments

  • margalabargala 13 hours ago ago

    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 12 hours ago ago
  • firasd 13 hours ago ago

    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

  • KaiserPro 13 hours ago ago

    I thought this turned out to be a bug in the solver?

  • pretzellogician 13 hours ago ago

    The article isn't great. But it's nice to know about TxGraffiti! I always wondered what happened with Graffiti.

  • eulgro 9 hours ago ago

    The website is unusable, scrolling is slow as hell.

  • BigTTYGothGF 13 hours ago ago

    One program makes up questions, another one solves them.

  • Chinjut 13 hours ago ago

    This article appears to be AI-written slop.