(Xuanyu Han / Getty Images) Hänen nimensä oli Srinivasa Ramanujan, ja hänellä oli ainutlaatuinen lahja haaveilla matematiikasta, jollaista muutama, jos kukaan, oli koskaan harkinnut.
Osoittaessaan taitonsa jumalaiselle jumalattarelle, the Intialainen matemaatikko esitteli tuhansia matemaattisia ideoita ja yhtälöitä maailmalle, ja se tunnettiin erityisesti suunnittelusta olettamuksia : matemaattiset väitteet, joita ei ole vielä todistettu todeksi (jolloin ne luokitellaan lauseiksi).
Sellainen kyky – laatia tietoisia ja silti epävarmoja matemaattisia väitteitä – on harvinainen, ja suhteellisen harvat matemaatikot tekevät nimensä tällaisten tulosten perusteella, puhumattakaan teoreetikoista, joilla on vähän muodollista koulutusta.
Mutta nyt Israelin tutkijoiden kehittämä uusi algoritminen keksintö voisi auttaa meitä automatisoimaan sellaisten matemaattisten olettamusten löytämisen, joita Ramanujan kerran teki edelläkävijänä.
Nimetty Intiassa 32-vuotiaana kuolleen Ramanujanin mukaan 'Ramanujan Machine' on tietokoneistettu järjestelmä, joka pystyy generoimaan itsestään arvauksia, joihin liittyy matemaattiset vakiot : outonumeroita, kuten πja ja että näyttää siltäilmestyy kaikkialle, vaikkatäysin sattumalta.
'Fundamentaaliset matemaattiset vakiot, kuten e ja π, ovat kaikkialla läsnä monilla tieteenaloilla abstraktista matematiikasta ja geometriasta fysiikkaan, biologiaan ja kemiaan', Technionin – Israel Institute of Technologyn tutkijat. selittää äskettäin julkaistussa tutkimuksessa yksityiskohtaisesti järjestelmää.
'Kuitenkin vuosisatojen ajan uusia perusvakioihin liittyviä matemaattisia kaavoja on ollut vähän ja niitä on yleensä löydetty satunnaisesti.'
Ramanujan-kone saattaa nopeuttaa asioita hieman tällä rintamalla. Pilviin yhdistettyjen tietokoneiden yhteisön käyttämä algoritmijärjestelmä pystyy tuottamaan olettamuksia ja löytämään matemaattisia kaavoja perusvakioihin, jotka paljastavat vakioiden taustalla olevan rakenteen.
Toistaiseksi algoritmikone on luonut olettamuksia, jotka olivat helposti todistettavissa, samalla kun se on löytänyt uusia murtolukutapoja vakioiden, kuten π:n, laskemiseen ja keksinyt myös olettamuksia, joita ei ole vielä todistettu.
'Tietokone ei välitä siitä, onko kaavan todistaminen helppoa vai vaikeaa, eikä se perusta uusia tuloksia aikaisempaan matemaattiseen tietoon, vaan vain matemaattisten vakioiden lukuihin.' selittää vanhempi kirjailija ja fyysikko Ido Kaminer.
'On tärkeää huomauttaa, että algoritmi itsessään ei pysty todistamaan löytämiään olettamuksia - tässä vaiheessa tehtävä jätetään ihmismatemaatikoiden ratkaistavaksi.'
Tutkijat havaitsevat, että Ramanujan-koneella on rajoituksia; Erityisesti joissakin tapauksissa algoritmien tuottamat aiemmin tuntemattomat olettamukset voivat olla 'pelkästään matemaattisia yhteensattumia, jotka hajoavat, kun tarpeeksi numeroita on laskettu'.
Toistaiseksi on kuitenkin syytä innostua siitä, mitä nämä algoritmit mahdollistavat – erityisesti uuden algebrallisen rakenteen löytämisestä. Katalaani vakio , mikä vihjaa, että kone saattaa pystyä luomaan todellisia läpimurtoja, joita matematiikan maailma ei ole koskaan ennen nähnyt.
'Uskomme ja toivomme, että todisteet uusista tietokoneella luomista oletuksista perusvakioista auttavat luomaan matemaattista tietoa.' tutkijat selittävät .
Jos pidät ajatuksesta ja haluat olla mukana, voit saada useita etuja, jos liityt mukaan Ramanujan-kone Yhteisö. Lainaa tietokoneesi prosessointitehoa, niin saatat saada sinun mukaansa nimetyn olettamuksen.
Kaavat ja algoritmit itsessään ovat myös nimeämisoikeuksia varten riippuen kyvystäsi matemaattisiin todisteisiin tai koodin kehittämiseen.
Löydökset on raportoitu vuonna Luonto .