Remix.run Logo
▲ becquerel 3 hours ago

I know it's old hat now, because it happened over a week ago, but it's amusing that Millennium Problems are now just benchmarks we use for discussing models.

▲closetheloopdev 2 hours ago | parent [-]

It was not just about models, but also techniques, and mainly the human guts to trust their models and follow through to solve one of the hardest math problems many experts had been musing over for more than 26 years since the million-dollar prizes for these problems were announced. For me, it was an amazing moment to witness indeed!