Live data from Hacker News

Unsolved Problem by Fields Medalist Breached by Two High School Students

htx.com

1–10 of 61 posts

Re: Unsolved Problem by Fields Medalist Breached by Two High School Students

#2
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.

Re: Unsolved Problem by Fields Medalist Breached by Two High School Students

#4

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.

Agree this is a broad statement for any use of AI for any purpose. Open ended prompts / requests are bound to lead to misleading results, hallucinated responses, waste of tokens, etc

Re: Unsolved Problem by Fields Medalist Breached by Two High School Students

#7
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.”

Re: Unsolved Problem by Fields Medalist Breached by Two High School Students

#9
post #3

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

Yeah it s because they have a strong prior on unsolved problems being unsolvable.

Once the idea of AI routinely solving conjectures enters the training data this encouragement will disappear like 2023-era prompt engineering did.

Post reply on HN