11–20 of 55 posts
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?)
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.
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.
You still have to be able to verify the solution to say that it's solved, so I'd say no.
You seem to be imagining completely independent areas of competence, but I don't think that's a reasonable interpretation of what they wrote.
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
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?)
AI is not going away so people will have to get used to it just like they will have to get used to it in software engineering. The alternative is being less productive than people who are happy to use AI to write software & do mathematical research.
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
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.
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.”