🧮 OpenAI оның жаңа моделі математикалық есептерді адамдар дәлелдемелерді тексере алатындай жылдамырақ шешетінін айтты. Компанияның айтуынша, оның ішкі моделі зерттеушілер жылдар бойы жұмыс істеп келе жатқан 100-ден астам ашық математикалық есептердің шешімін тапты. Олардың ішінде Навье-Стокс теңдеулеріне қатысты есеп бар. Енді басты шектеу AI емес, адамның тексеру жылдамдығы болды. OpenAI дәлелдемелерді қарап шығу, оның маңыздылығын бағалау және қандай нәтижелер жариялануға дайын екенін шешу үшін белгілі математиктердің тәуелсіз тобын жинады. Дереккөз