what does "solved by AI" mean? does an AI being involved in any part of the process count or does it have to be the majority contributor?

@Balasar to me, it's one of those where the people presenting the proof say "without AI, we wouldn't have been able to solve it".

https://youtu.be/cru2bkqwSYk?si=VVOcdZTEoTGusCMK&t=1012

https://youtu.be/E6hCFDfkijU?si=vYi-hxSvlQl-8-NZ&t=1079

https://x.com/apples_jimmy/status/1938024622177604082

Note: text says "end of 2028" but market closes end of 2027.

There's a wide gray zone between "solved by an algorithm all on its own" and "a mathematician used computer to help with an intermediate step in the solution" - where do you draw the line on this? The wording of the title suggests you'd only count if an algorithm solves the problem all on its own - is that right? Would that still count if a special algorithm was purpose built for the problem at hand or would that count as "human with help from an algorithm"?

@MartinModrak Something along the lines of the 4-colour theorem would not count. AlphaTensor would count since it is not just an enumeration of all combinations, it required learning a set of parameters that somehow captured the essence of the problem and then solved it. A prompt simply asking the question in terms that an undergraduate maths student could understand and the AI producing the correct solution as a response would very much count.

@LukaszWiklendt You named some things that would count and some things that wouldn't, but not how we could evaluate a novel scenario.