GPT-5 läpäisi juuri sen, mitä tutkijat kutsuvat "Gödel-testiksi". Tämä tarkoittaa, että kyse ei ole vain oppikirjaongelmien ratkaisemisesta, vaan avoimien matematiikan olettamusten ratkaisemisesta, joiden selvittäminen normaalisti veisi taitavalta tohtoriopiskelijalta päiviä. Uudessa artikkelissa GPT-5:tä testattiin viidellä ratkaisemattomalla optimointiolettamuksella. Se ratkaisi 3/5. Yhdestä ongelmasta se jopa tuotti erilaisen pätevän todisteen kuin tutkijat odottivat. Olemme virallisesti siirtyneet aikakauteen, jolloin eturintaman tekoäly ei vain opi matematiikasta, vaan tekee matematiikkaa. Seuraukset ovat valtavat: • Edistyminen ongelmissa, jotka hämmentävät ihmisiä päiviä tai viikkoja • Tekoäly edistää aitoa matemaattista löytöä • Esimakua siitä, miten tutkimus itsessään muuttuu 2030-luvulla Ihmiset aliarvioivat tätä edelleen. Lauseita todistavien mallien vaikutus on tuskin alkanut uppoutua. Tämä on raja "hienon automaattisen täydennyksen" ja todellisen tieteellisen päättelyn välillä.