Uusimpien tekoälymallien panos tieteelle

AI-News.ru:n artikkeli käsittelee viimeaikaisten tekoälymallien panosta tieteeseen, erityisesti matematiikkaan. Se viittaa Terry Taon (21. heinäkuuta 2026) julkaisuun vastaesimerkistä Jacobin konjektuurille, jossa tekoälymallit, kuten Claude Fable 5 ja ChatGPT, olivat osallisina. Toinen preprint (arXiv:2607.18186) esittää todistuksen, joka pätee ulottuvuuksissa n≥3, ja jossa on käytetty apuna ChatGPT:tä ja Claudea. Microsoftin tutkijan artikkeli (arXiv:2607.18619) kuvaa vaihtoehtoista todistusta nelivärilauseelle käyttäen GPT-5.6 Sol -mallia. Lisäksi arXiv:2607.18655 liittyy Claude Fable 5:een, ja arXiv:2607.19675 kuvaa todistuksen, jossa on käytetty OpenAI Codexia ja joka viittaa vuoden 1964 ongelmaan. Muita töitä ovat tekoälyn johtama raja De Giorgin konjektuurille (arXiv:2607.18174) virheterminä O(T^-1), SYK-mallia käsittelevä artikkeli (arXiv:2607.18998), jossa on käytetty GPT-5.6:ta, sekä Giovanni Fornin todistus jaksollisen kiertoradan olemassaolosta biljardille monikulmioissa (arXiv:2606.10102). Kirjoittaja mainitsee myös oman työnsä, jossa on käytetty GPT:tä.