Jake Boggan przez niemal 24 lata zajmował się hipotezą Barnette'a w teorii grafów - problemem który go fascynował od czasów, gdy studiował matematykę w Budapeszcie wśród światowych autorytetów. Teraz dowiedział się, że problem 180 został rozwiązany przez system AI, co wywołało w nim złożone emocje.Podczas swojej kariery Boggan spędził tysiące godzin na tym problemie, pracując nad nim na i off, jednocześnie zajmując się innymi dziedzinami. Zeszłego lata nawet przez kilka dni sądził że znalazł rozwiązanie. Teraz, usłyszawszy że hipoteza została udowodniona przez AI, odczuwa dziwną smutek - porównuje swoje uczucia do nagłej wiadomości o śmierci byłej dziewczyny.Ten moment symbolizuje szerszą przemianę w świecie nauki i matematyki. Systemy AI stają się coraz bardziej zdolne do rozwiązywania problemów którymi zajmowali się naukowcy przez dziesięciolecia. Historia Boggana pokazuje nie tylko zdolności techniczne AI, ale też emocjonalny wymiar tej transformacji - wiele osób może czuć podobne uczucia, gdy ich życiową pracę przejmuje algorytm.
Narzędzia
Simon Willison