Resolves YES if any remaining Millenium Problem is solved and confirmed or widely believed to be solved with zero or minimal AI use.
I plan to interpret "zero to minimal AI use" in regards to the use of AI in creating mathematical, programmatical, and logical ideas/innovations and combining those ideas/innovations with existing concepts.
The use of AI for the speeding up tasks that are repetitive, time consuming, or otherwise considered busy work will always still allow for a YES resolution. This includes but is not limited to research/searching for relevant papers, general coding assistance, etc.
The spirit of the question should be considering whether AI contributed uniquely to the advancement/solution of the question or just was used to accelerate the speed at which the human ideas were able to be used.
I recognize there is still a somewhat high likelihood of subjectivity and as such will not be trading on this market. Feel free to ask any clarifications. I will resolve using my best judgement and will lean on public sources as required to come to a fair resolution.
If new Millenium Problems are added after market creation they will not be considered towards market resolution.