OpenAI's artificial intelligence announced that it has solved one of the Millennium Prize Problems – the Navier-Stokes equations, but five of the remaining puzzles still remain unsolved, raising controversies regarding the potential use of the work of other mathematicians. (translated)
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
