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.