Which AI lab's model will be the first to solve a Millennium Problem?

Which AI lab's model will be the first to solve a Millennium Problem? — prediction market on Manifold. Compare outcome prices, view full order books, and track price history across all markets in this event.