Erdos-ongelmat ovat selvä esimerkki malleista, jotka ylittävät kynnyksen. Ajatus siitä, että tekoäly voisi ratkaista yksin, saati monta, olisi ollut vuosi sitten järjetön (o1 oli aivan uusi), ja nyt GPT-5.2 Pro on ratkaissut useita Erdos-ongelmia viime viikkoina.
Neel Somani
Neel Somani18 tuntia sitten
Olen ratkaissut toisen Erdos-ongelman (#281) pelkästään GPT 5.2 Prolla – aiempia ratkaisuja ei löytynyt. Terence Tao kutsuu sitä "ehkä yksiselitteisimmäksi esimerkiksi" siitä, miten tekoäly ratkaisee avoimen ongelman:
Selvennykseksi: GPT-5.2 Pro ei ratkaise näitä itsenäisesti, vaan se tulee henkilön kehotuksesta, ja se usein iterointia käyttää Lean-toimintoa.
Näyttää siltä, että tähän ongelmaan on löytynyt aiempi todiste, vaikka se oli erilainen kuin se, jonka kirjoittaja antoi GPT-5.2 Pro löysin.
110