Жасанды интеллект серпілістері математиканы өзгертіп, ғалымдарды рөлін қайта қарауға мәжбүрлейді
Материал бірнеше дереккөз негізінде жасанды интеллектпен дайындалды — түпнұсқаларға сілтемелер төменде.
OpenAI 1 миллион доллар жүлдесі бар 90 жылдық математикалық есепті шешу үшін он мыңдаған агентті пайдаланды, бұл испан математиктері Диего Кордова мен Луис Мартинес-Сороаның жұмысына негізделген. Хабарландыру математик Тристан Бакмастермен дау тудырды, ол OpenAI оның Anthropic зерттеушісі Левент Альпёгемен жұмысын білгеннен кейін есепті шешуге асыққанын айтады. Бұл алшақтық жасанды интеллект көмегімен серпілістердің жеделдеуіне байланысты математиканың қарқынды өзгеруін көрсетеді.
Негізгі фактілер
- OpenAI 1 миллион доллар жүлдесі бар 90 жылдық математикалық есепті шешу үшін он мыңдаған агентті пайдаланғанын мәлімдеді.
- Шешім испан математиктері Диего Кордова мен Луис Мартинес-Сороа әзірлеген стратегияға негізделген.
- Тристан Бакмастер OpenAI оның Anthropic зерттеушісі Левент Альпёгемен жұмысын білгеннен кейін есепті шешуге асыққанын айтады.
- Anthropic Claude Ферманың Ұлы теоремасының бар дәлелін формализациялау кезінде 29 500 шағын теореманы дәлелдегенін хабарлады.
- Тамызда OpenAI басқа 10 көптен бері шешілмеген математикалық есептерде прогресс жариялады.
OpenAI серпілісі
Сейсенбіде OpenAI 1 миллион доллар жүлдесі бар 90 жылдық математикалық есепті шешу үшін он мыңдаған агентті пайдаланғанын мәлімдеді. Шешім испан математиктері Диего Кордова мен Луис Мартинес-Сороа әзірлеген стратегияға негізделген. Хабарландыру математик Тристан Бакмастердің мәлімдемелерімен көлеңкеленді, ол OpenAI оның Anthropic зерттеушісі Левент Альпёгемен жұмысын білгеннен кейін есепті шешуге асыққанын айтады. Бакмастер OpenAI жұмыс үшін мойындаудың кімге берілетініне әсер етуге тырысқанын да айтады.
Anthropic-тің формализациялау әрекеттері
Өткен аптада Anthropic Claude Ферманың Ұлы теоремасының бар дәлелін формализациялау кезінде 29 500 шағын теореманы дәлелдегенін хабарлады. Бұл жобада басқа математиктер жылдар бойы жұмыс істеген. Тамызда OpenAI басқа 10 көптен бері шешілмеген математикалық есептерде прогресс жариялады.
Математиктердің реакциясы
Корнелл университетінің математигі және авторы Стивен Строгац ғылымның қызықты екенін, бірақ онымен көптеген адамдық қиындықтар байланысты екенін айтады. Строгац 2026 жыл математика үшін annus mirabilis немесе annus horribilis ретінде есте қалады деп болжайды, өйткені көптеген оқиғалар болды. Строгацтың кітабының бірлескен авторы Алекс Таунсенд 15 жылын зерттеу математикасына арнағанына және енді бірдеңе одан асып түсе алатынына ренжігенін айтады. Таунсенд жақында сандық сызықтық алгебраның көптен бері шешілмеген есебін шешу үшін ChatGPT-ті пайдаланды.
1 дереккөз
Уақыт · артта қалуы