Ignore the next Millenium Problem is solved. Will the next Millenium Problem to be solved after that contain artificial intelligence (any sort of black box function that helped a mathematician or conducted the solution entirely). Some sort of brute force algorithm obviously doesn't count.
I'll prefer to defer to the authors/reviewers/specialists whether it involved Artificial Intelligence.
Alternative phrasing: after this related market resolves, what would be the answer if we immediately recreated that market?
Related: https://manifold.markets/MP/will-artificial-intelligence-be-par
In the (IMO unlikely) event that the next Millenium Problem is solved using AI and the one after it is not, this market resolves NO.
Since the answer to this market may be subjective, I will not bet on it.
@FutureOwl I can say on my part, that my trading bot had a bug and bought three times as much NO as it was supposed to.