Trendaavat aiheet
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
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.

18 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
Johtavat
Rankkaus
Suosikit
