matematiikka

Tekoäly teki kaksi läpimurtoa vuosikymmeniä vanhoissa matematiikan ongelmissa

Muutamassa viikossa tekoäly on saavuttanut kaksi merkittävää tulosta puhtaassa matematiikassa: se on todistanut konjektuurin, joka on hämmentänyt asiantuntijoita yli 20 vuoden ajan, ja edistänyt yhtä tieteenalan tunnetuimmista ratkaisemattomista ongelmista.

Anthropic: Claude lähes kaksinkertaisti Riemannin hypoteesin keskeisen raja-arvon

Anthropicin Claude-tekoälyn julkaisematon tutkimusversio on tehnyt historian suurimman yksittäisen parannuksen Riemannin hypoteesiin liittyvään keskeiseen matemaattiseen raja-arvoon. Se nosti Riemannin zeeta-funktion kriittisellä suoralla sijaitsevien epätriviaalien nollakohtien osuuden todistetun alarajan 41,6 prosentista 67,2 prosenttiin.

OpenAIn Astra-mallin matematiikkatulokset poikivat plagiointisyytöksiä

OpenAIn seuraava suuri tekoälymalli, työnimeltään Astra, on ratkaissut 10 pitkään avoinna ollutta ongelmaa matematiikan ja teoreettisen tietojenkäsittelytieteen aloilla. Julkistusta ovat kuitenkin varjostaneet syytökset tutkimusvilpistä: matemaatikkojen mukaan yhtiö jätti viittaamatta aiempiin tutkimuksiin.

Kriitikot: OpenAI:n Astra-matematiikkaväitteet ovat liioiteltuja

OpenAI ilmoitti 1. elokuuta, että sen julkaisematon Astra-malliperhe tuotti ratkaisuja 10 pitkään avoinna olleeseen ongelmaan matematiikassa ja teoreettisessa tietojenkäsittelytieteessä, julkaisten 249-sivuisen käsikirjoituksen ja täysin varmennetut Lean 4 -todistussertifikaatit GitHubissa. Tulokset kattavat aloja, kuten korkeampiulotteinen geometria, koodausteoria, ryhmäteoria, kvanttikompleksisuus ja äärimmäisyyskombinatoriikka,…

OpenAI: Astra-malli ratkaisi 10 pitkään avoinna ollutta matemaattista ongelmaa 2 000 dollarilla

OpenAI paljasti lauantaina, että sen sisäinen Astra-malli tuotti uusia tuloksia 10 matematiikan ja teoreettisen tietojenkäsittelytieteen ongelmaan, jotka olivat pysyneet ratkaisemattomina vähintään vuosikymmenen. Yhtiö julkaisi koneellisesti tarkistettavat todistukset jokaisen väitteen tueksi. Yhtiö raportoi 10 ratkaisun token-kustannukseksi noin 2 000 dollaria nykyisillä…

Anthropic väittää tekoälynsä yltäneen puoleen OpenAI:n matemaattisista läpimurroista vuorokaudessa

OpenAI ilmoitti lauantaina, että sen seuraavan suuren tekoälymallin sisäinen versio, nimeltään Astra, on ratkaissut tai edistynyt merkittävästi 10 pitkään avoinna olleessa matematiikan ja teoreettisen tietojenkäsittelytieteen ongelmassa. Vain 24 tunnin sisällä Anthropicin tutkija Levent Alpöge vastasi väittämällä, että hän käytti julkisesti…

OpenAI sanoo Astra-mallinsa ratkaisneen 10 avointa matemaattista ongelmaa

OpenAI ilmoitti 1. elokuuta, että sen seuraavan suuren malliperheen sisäinen versio Astra on tuottanut ratkaisut kymmeneen pitkään avoinna olleeseen matematiikan ja teoreettisen tietojenkäsittelyn ongelmaan noin 2 000 dollarin kokonaispäättelykustannuksilla Sol API -hinnoilla laskettuna.

Kuuluisa einstein-laatta yllättää fysiikan maailmassa

Niin kutsuttu einstein-laatta eli hattu-laatta, matemaattinen erikoisuus, joka ratkaisi vuosikymmeniä vanhan ongelman äärettömien pintojen peittämisestä ilman toistuvia kuvioita, on nyt tuottanut yllätyksen fysiikan maailmassa. Tokion yliopiston tutkijat ovat havainneet, että laattaan perustuvat nanorakenteet tuottavat ennennäkemätöntä kiraalista valon diffraktiota, mikä avaa…

Nelja matemaatikkoa palkittiin Fields-mitalilla Philadelphiassa

Kansainvälinen matemaatikkojärjestö IMU julkisti vuoden 2026 Fields-mitalien saajat torstaina matemaatikkojen kansainvälisen kongressin avajaisissa Philadelphiassa. Palkinnon sai neljä matemaatikkoa, joiden työ ulottuu harmonisesta analyysistä osittaisdifferentiaaliyhtälöihin, symplektiseen geometriaan ja lukuteoriaan.

RedNoten tekoälymalli saavutti historian ensimmäisen täyden pistemäärän matematiikkaolympialaisissa

Kiinalainen sosiaalisen median alusta RedNote ilmoitti tiistaina, että sen tekoälymalli dots-note-3.0 saavutti täydet 42 pistettä 42:sta tällä viikolla Shanghaissa päättyneissä 67. kansainvälisissä matematiikkaolympialaisissa (IMO). Saavutus tekee siitä ensimmäisen tekoälyjärjestelmän, joka on saanut kilpailussa virheettömän tuloksen ratkaisemalla kaikki kuusi tehtävää täysin…

Anthropicin tutkija kumosi 87 vuotta vanhan matemaattisen konjektuurin tekoälyn avulla

Heinäkuun 19. päivän vastaisena yönä matemaatikko Levent Alpöge julkaisi X-palvelussa lyhyen viestin, joka saattaa olla vaikein tekoälyn avulla ratkaistu matemaattinen ongelma. Käyttämällä Anthropicin Claude Fable 5 -mallia, Alpöge tuotti vastaesimerkin, joka kumoaa Jacobin konjektuurin, yhden algebrallisen geometrian pitkäaikaisimmista avoimista kysymyksistä.

Arkeologit tulkitsivat ensimmäistä kertaa mayatähtitieteilijän nimen

Arkeologit, jotka työskentelevät Xultunin muinaisilla mayaraunioilla Koillis-Guatemalassa, ovat ensimmäistä kertaa tulkinneet mayatähtitieteilijä-matemaatikon nimen: Sak Tahn Waax, eli "Valkorintainen kettu". Maanantaina Antiquity-lehdessä julkaistu löytö yhdistää yksilön nimeltä alkuperäiseen tieteelliseen työhön — tämä on ensimmäinen kerta klassisen mayakauden aikana.

Altman vihjaa GPT-5.6:n ’keksineen uutta matematiikkaa’ mallin odottaessa laajaa julkaisua

OpenAI:n toimitusjohtaja Sam Altman herätti laajaa huomiota viikonloppuna julkaistuaan X:ssä, että hänen vanhemman lapsensa ensimmäinen kaksisanainen lause jätti hänet "suunnilleen yhtä hämmästyneeksi" kuin GPT-5.6:n uuden matematiikan löytäminen.

Nobel-palkittu ja tekoäly ratkaisivat vuosikymmenen vanhan fysiikan todistuksen

Matemaattinen konjektuuri, joka on hämmentänyt fyysikoita yli kymmenen vuoden ajan, on todistettu kahden teoreettisen fyysikon ja tekoälyjärjestelmän epätodennäköisen yhteistyön avulla. Heinäkuun 1. päivänä Journal of Statistical Mechanics: Theory and Experiment -lehdessä julkaistu artikkeli dokumentoi, kuinka Anthropicin Claude vaikutti todistukseen keskeisellä…