YES

YES

YES

NO

NO

NO

YES

YES

At least one of the six left Millennium problems is found with a counter-example

A unified framework for gravitation and quantum theory is proposed that is not string theory

At least one of the six left Millennium problems is undecidable

Neural Networks are explainable and can be trained without gradient descent with better performance.

No AI will be powerful enough to directly (as a necessary condition) lead to a significant discovery in math.

P vs. NP will be trivial (i.e., provable using simple methods taught in undergrad classes, e.g., with a counter-example)

NO

NO