Join the discussion

Write your take first — we'll ask for email only when you're ready to publish.

  • Hacker News
  • Great short term achievement but humanity is better served by these kids doing it without AI. The ideas have to come from the next generation (eg would we be worried if a 5 year old wrote the great American novel with AI or not?)
  • This looks like a graduate-level proof. Did these high school students really understand what they were doing? I'd like to see what they have to say.

    https://arxiv.org/pdf/2609.05341

  • I sort of wonder if effectively using AI to solve math problems is a skill in its own right, distinct from traditional mathematical skills. I don’t just mean “prompt engineering” either. More so figuring out how to combine agents with other tools and approaches in an effective way.
  • Working backwards from the Navier-Stokes solution, I was able to walk Astra through the path used to solve it. It took some formulation, starting with the problem, then challenging it to look closer at the specific path, and iterating when it got stuck, it was able to reach the solution.
  • the fact that you have to encourage these models and tell them that they can solve these problems and warm up on easier problems seems to indicate that there's something to AI pairing above and beyond prompt
    by htrp
  • What I'm curious about is how far they would've gotten without the postdoc.
  • paper:

    Title: BOUNDED RATIOS FOR LORENTZIAN POLYNOMIALS

    https://arxiv.org/pdf/2609.05341

  • Real title includes:

    > Unsolved Problem by Fields Medalist Breached by Two High School Students with AI

    My title recommendation: Fields Medalist Problem Solved With AI

    They used AI for “computation, proof idea generation, and editing assistance”.

    It’s a bit odd how they list the AIs used - “Claude Opus 5, Anthropic and ChatGPT Sol5.6 were used for calculations, proof ideas, and editorial assistance.”

Explore Birbla archives