3 ms·

I think the problems it solved were understood to be well known undergraduate problems. https://xenaproject.wordpress.com/2024/12/22/can-ai-do-maths-yet-though

• deleted 2y ago
  [deleted]
• whimsicalism 2y ago
  that is not the correct takeaway from the blogpost at all… 1. it suggests it’s possible that more of the problems are IMO-esque than previously thought, we don’t know how the share of solved problems is. 2. calling IMO problems “well known undergraduate problems” is a bit much
  • roboboffin 2y ago
    The actual quote is that they are easier than IMO; but maybe not directly comparable. https://x.com/littmath/status/1870848783065788644?s=46&t=foRD58qSBMLXqC-Lq0FCLQ https://x.com/littmath/status/1870848783065788644?s=46&t=foR... I think it’s more probable that it would have solve the easier problems first, rather than some hard and only some easier; although that is supposition. Reading this thread and the blog post gives more idea about what the problems might involve. It’s difficult to judge without more information on the actual results, but that means we cannot draw any strong conclusions either way on what this means.