Dirbtinis intelektas ir matematika
Matematikos pasaulyje dirbtinio intelekto pagalbininkai ilgą laiką veikė kaip komanda. Keli modeliai dirbo kartu, taisydami vieni kitus, o tyrėjai ieškojo tinkamų formuluočių. Šis metodas buvo vadinamas „orkestracija”. Be šio sudėtingo proceso rimtų įrodymų pasiekti nepavykdavo.
Istorinis dirbtinio intelekto pasiekimas
Tačiau neseniai ši schema buvo pažeista. OpenAI sukurtas pokalbių robotas gavo vieną klausimą – ar teisinga hipotezė, kurią 1946 m. suformulavo garsus vengrų matematikas Pal Erdėšas? Ir per vieną ilgą 125 puslapių svarstymą ją paneigė. Be orkestracijos ir be papildomų nurodymų. Sebastienas Bubeckas, matematikas iš OpenAI, teigė, kad tai pirmas atvejis istorijoje, kai dirbtinis intelektas savarankiškai pasiekė svarbų mokslinį rezultatą.
Pal Erdėšo palikimas
Pal Erdėšas buvo legendinis vengrų matematikas, per savo gyvenimą paskelbęs daugiau nei 1500 straipsnių ir palikęs apie tūkstantį neišspręstų užduočių. Viena iš jų – užduotis apie vienodo ilgio atstumus. Erdėšas suformulavo formulę, kaip šis skaičius auga didėjant taškų skaičiui, ir teigė, kad geresnio būdo nėra.
Dirbtinio intelekto sprendimas
Dirbtinis intelektas sprendė užduotį naudodamas algebrinę teoriją. Jis pasirinko taškus, kurių koordinatės yra tam tikrų lygčių sprendimai, ir sudarė konfigūraciją, kurioje vienodų porų buvo daugiau nei Erdėšo siūlomoje. Keisčiausia tai, kad modelis nebuvo specializuotas matematikai, o buvo įprastas eksperimentinis „mąstantis” bendro pobūdžio modelis.
Ateities iššūkiai
Erdėšas paliko apie tūkstantį neišspręstų užduočių. Atrodo, kad jos rado vertą priešininką dirbtinio intelekto pavidalu. Skaityti daugiau
