ШІ вырашыў матэматычную задачу, якая ставіла навукоўцаў у тупік 80 гадоў

Гэта змяняе аблічча матэматычных даследаванняў.

Група даследчыкаў заявіла, што ім удалося абвергнуць даўнюю нявырашаную праблему, першапачаткова пастаўленую адным з найбольш вядомых дзеячаў сучаснай матэматыкі. Паводле іх слоў, праз 80 гадоў гіпотэза Пала Эрдэша пра колькасць розных адлегласцяў нарэшце была вырашаная, піша IFLScience.

Навукоўцы заявілі, што гэтую задачу змог вырашыць штучны інтэлект. Вынікі апублікавалі на сайце OpenAI.

«Гэта самы ўражлівы асобны вынік. Але вы бачыце, што цяпер амаль кожныя некалькі дзён з’яўляецца нейкае новае даказанне, атрыманае з дапамогай ШІ. Гэта сапраўды змяняе аблічча матэматычных даследаванняў», — сказала Нога Алон, камбінаторыстка з Прынстанскага ўніверсітэта, якая рэцэнзавала даказанне ў суправаджальным артыкуле.

Фізік і матэматык з Тэхаскага ўніверсітэта Томас Чэн у размове з журналістамі выказаў занепакоенасць тым, што ўкараненне «чорнай скрыні» ў працоўны працэс строгай матэматыкі падрывае самі асновы таго, чым павінна быць матэматыка як вобласць чалавечай дзейнасці.

У выданні нагадалі, што сутнасць гіпотэзы Эрдэша пра колькасць розных адлегласцяў заключаецца ў наступным: пры зададзенай адвольнай колькасці кропак на плоскасці якая максімальная колькасць пар, што знаходзяцца на аднолькавай адлегласці адна ад адной? Аднак навукоўцам не ўдавалася даказаць яе ўжо 80 гадоў.

Як высветлілася, існавала вельмі вагомая прычына, з-за якой ніхто не мог даказаць гэтую гіпотэзу. Калі перад OpenAI паставілі задачу вырашыць гэтую праблему, кампанія замест гэтага прадставіла тое, чаго ніхто не чакаў: супрацьпрыклад.

У выданні падкрэслілі, што знайсці супрацьпрыклад было не так ужо і складана — як напісаў у сваёй частцы суправаджальнага артыкула, прысвечанай агляду выніку, камбінатар-арыфметык з Манчэстарскага ўніверсітэта Томас Блум, гэта было «натуральным, хоць і вельмі нетрывіяльным, абагульненнем першапачатковай рашоткавай канструкцыі Эрдэша».

Вы можаце падтрымаць сайт Charter97.org наступным чынам:

РАЗЛІКОВЫ МУЛЬТЫВАЛЮТНЫ РАХУНАК ДЛЯ АХВЯРАВАННЯЎ:

Назва банка: Bank Millennium S.A.
Адрас: ul. Stanislawa Zaryna, 2A, 02-593, Warszawa
IBAN: PL97116022020000000216711123
SWIFT: BIGBPLPW
Імя ўладальніка рахунку: Fundacja “KARTA ‘97”
рызначэнне аплаты: Darowizna na cele statutowe

Звязацца з намі можна праз адрас [email protected]