Bir neçə il əvvəl, ilk dəfə ictimaiyyətdə riyaziyyat haqqında danışmağa başladığımda, algəbrik say nəzəriyyəsi professoru məni bir kənara çəkdi və bir neçə kəskin xəbərdarlıq verdi: "Dünyanın riyaziyyatçılardan qorxduğu Hannah. Belə saxlayalım.
Yumşaq desək, bir az snob idi. Mathshad qorxu verici bir mistikdir və mən, görünür, onu təhlükəyə salırdım. İnterneti izləyərək video və podcastlar yaratmaqdan daha çox hörmətli bir tədqiqat karyerasına diqqət yetirməkdən.
O vaxtdan bu şərh haqqında çox düşündüm. Bir hissəsi, son illər onu tamamilə görmədən qalmaq üçün əlimdən gələni etdiyim üçün (və bu iş üçün bir "New Scientist" qəzetini almaq çox gözəl bir mükafat kimi hiss olunur).
Amma onun snobluğunun altında məhv olanda, bir şeydə haqlı olduğunu düşünməyə başladım. Son bir neçə həftə ərzində bunu hiss etməmişəm, çünki süni intellekt agentlərinin bir qrupunun ən məşhur uzunmüddətli problemlərimizi həll etməklə məşğul olduğu üçün.
Əlbəttə ki, bu son bir neçə həftə ərzində OpenAI-nin bu problemləri həll etmək üçün insan cəhdlərinə qarşı olan yüzlərlə riyaziyyat probleminin sübutlarını tapdığını elan etdiyi barədə danışıram.
Furuz, xüsusilə, Navier-Stokes tənliklərinin parçalana biləcəyi sübut (bir əks nümunə tapmaq yolu ilə) ilə başladı. Bu xüsusi daş riyaziyyat cəmiyyəti üçün o qədər böyük bir problem idi ki, minillik dönümündə Clay Riyaziyyat İnstitutu bunu həll edə bilən hər kəsə 1 milyon dollar verəcəyini vəd etdi.
Xülasə — davamını mənbədə oxuyun.
