They gave the algorithm to the original authors of the papers to review, I bet their reaction was similar to yours.
replyAnd the claimed algorithm solves the counting problem, i.e. determining the number of different solutions, which in many cases is much harder than just determining whether a solution exists or finding one of the solutions.
replyYeah, this really blew me away. I took a graduate computational complexity course and the original prof had to drop out due to health reasons. We got another professor from a completely different field who was basically as green in the field as we were, but with far better research chops. It turned the course into kind of a long-running lab where we just kind of did whatever we wanted. We spent a lot of time just philosophizing (mostly uselessly) about the ETH. I am very chuffed to see this result.
replyAnd who says AI doesn't create open problems. This unlocks thousands of high quality open problems.
replyTurns out the 'opne' in open AI wasn't referring to open source, but open problems!
It's not AI that has created those open problems. It has simply shown that some conjecture is false and that leads naturally to problems in a sense already posed.
replyA very different thing is proposing a framework and in it identifying interesting questions. So far AI has only worked within existing frameworks addressing problems already posed. That may change in the future, but it would be a genuine and qualitative evolution.
deleted
reply