this one is going to be messy

What means "solved by AI"?

That an AI was involved in finding a solution or that no or little work was done by humans?

@MikeAckermann That no or little work was done by humans, at least that's what I was thinking when I wrote the question

@LuisV what about AI using human sources that made progress?

Because humans have made some amount progress on all of the problems as far as I can know

@TobyBW I think that if the AI made progress and solved the problem by itself it still counts as the AI solving it, regardless of the advancement of the solution prior to the AI solution. For example if a mathematician takes all there is to know about one of the problems, and then solves it from there, I think we would still say that he solved it. That's the same way in which I see the AI solution.