Najtrudniejszy benchmark matematyczny, czyli FrontierMath, przeszedł do historii, ostatni problem został właśnie rozwiązany. Dla porządku, wklejam niedawną opinię Terrence’a Tao (która już jakiś czas temu zniknęła ze strony FrontierMath) o tym, że się to prędko nie stanie. Chodzą słuchy o kolejnym problemie milenijnym (hipoteza Hodge’a) wiszącym w powietrzu… nadciąga złota era dla racjonalizacji. #matematyka #nauka #problemymilenijne