Kun tekoäly ratkaisi matemaattisen pulman, joka piinasi ihmisasiantuntijaa viikkoja

Luin juuri uskomattoman tarinan tekoälyn ongelmanratkaisusta. Pakko jakaa se teille. Donald Knuth, tuo legendaarinen tietotekniikan pioneeri ja "Tietokoneohjelmoinnin taide" -kirjan kirjoittaja, julkaisi paperin nimeltä "Claude's Cycles". Otsikko sai minut hieraisemaan silmiä.

Pulma, joka vei Knuthin voitolle

Knuth kamppaili ohjattujen hamiltonin syklien kanssa kolmiulotteisessa pisteverkossa. Jokainen piste yhdistyy kolmeen naapuriin tarkalla tavalla. Tehtävä: löydä kolme polkua, jotka käyvät läpi kaikki pisteet tasan kerran ja kattavat kaikki yhteydet.

Pienet tapaukset ratkesivat. Yleinen ratkaisu arvoitukseksi viikoiksi.

Claude Opus astuu kuvaan

Kollega Filip Stappers heitti pulman Anthropicin Claude Opus 4.6:lle. Ei odottanut ihmeitä. Mutta Claude ryhtyi systemaattiseen työhön.

Se jakoi homman 31 vaiheeseen. Aloitti perussyötöllä, joka epäonnistui. Siirtyi monimutkaisempiin ideoihin. Uudelleenmääritteli ongelman, bongasi piilotettuja kuvioita ja rakensi ratkaisua pala palalta.

Erityisen nerokasta oli "kuituhaaroitus" vaiheessa 15. Se pilkoi ongelman fiksuun osiin. Ei pelkkää raakavoimaa, vaan aitoa matemaattista näkemystä.

Ratkaisun riemu

Vaiheessa 31 tuli läpimurto. Claude keksi rakenteen, joka pätee kaikkiin parittomiin lukuihin yli 2. Ratkaisu yksinkertainen, koodattavissa muutamalla rivillä. Ja se toimi.

Stappers testasi luvuilla 3–101. Täydellinen osuma joka kerta.

Merkitys – ja rajat

Älä pelästy, että tekoäly syrjäyttää matemaatikot. Knuth korostaa: tarvittiin vielä tiukka todistus, jonka hän itse laati. Claude löysi kuvion, mutta syy vaati ihmisaivoja.

Tärkeää on yhteistyö. Tekoäly tutki systemaattisesti ja tunnisti kuvioita. Ihmiset toivat intuition ja todistukset. Uusi työkalu arkkuun, ei korvike.

Todellisuus oli sotkuinen

Knuthin kertomus rehellinen. Stappers käynnisti Clauden uudelleen virheiden takia. Muistutti dokumentoimaan. Tekoäly jumitti ja sössi koodia.

Yhteistyö vaatii hikeä. Ei taikatemppua. Mutta tulos yllätti.

Jatkossa?

Parilliset luvut auki. Claude ei pärjännyt. Ihmisen luovuus ja intuitio tarpeen.

Tällaiset tarinat innostavat. Tekoälystä tulee huippupomoassistentti: tutkii tiloja, bongaa ideoita, ehdottaa unohdettuja polkuja.

Knuth tiivisti: "Hatut pois Claudelle!" Ja hatut pois ihmisille, jotka osasivat ohjata ja tulkita.