Ramanujan-maskine genererer automatisk formodninger for fundamentale konstanter

Et team af forskere ved Israel Institute of Technology har bygget, hvad de beskriver som en Ramanujan-maskine - en enhed, der automatisk genererer formodninger (matematiske udsagn, der foreslås som sande udsagn) for fundamentale konstanter. De har skrevet et papir, der beskriver deres enhed og har uploadet det til arXiv preprint server. De har også oprettet en webside for folk, der ønsker at tillade netværket at bruge deres computers procescyklusser, foreslå et bevis eller udvikle kode mod nye matematiske strukturer.

Ramanujan-maskinen er opkaldt efter den berømte indiske matematiker Srinivasa Ramanujan, en selvlært matematiker, der voksede op i Indien og blev "opdaget" af matematikeren G.H. Hardy. Efter at have flyttet til England, han blev fast inventar i Cambridge, hvor han rystede matematikverdenen op med sin uortodokse matematik – i stedet for at banke løs på matematiske beviser, han opnåede resultater til berømte problemer gennem intuition og lod derefter andre finde beviserne for dem. På grund af dette, han blev nogle gange beskrevet som en formodningsmaskine, trække formler ud af den blå luft, som om de modtog fra et højere væsen - nogle gange i drømme. I denne nye indsats, forskerne i Israel har forsøgt at kopiere denne tilgang ved hjælp af computerkraft.

Ramanujan-maskinen er mere et koncept end en egentlig maskine - den eksisterer som et netværk af computere, der kører algoritmer dedikeret til at finde formodninger om fundamentale konstanter i form af fortsatte brøker - disse er defineret som brøker af uendelig længde, hvor nævneren er en vis mængde plus en brøkdel, hvor en sidstnævnte brøk har en lignende nævner, osv.) Formålet med maskinen er at komme med formodninger (i form af matematiske formler), som mennesker kan analysere, og forhåbentlig vise sig at være sand matematisk. Holdet, der skabte maskinen, håber, at deres idé vil inspirere fremtidige generationer af matematikere - til det formål, de bemærker, at alle nye algoritmer, beviser eller formodninger udviklet af en deltager vil blive opkaldt efter dem. Forskerne bemærker, at deres maskine allerede har opdaget snesevis af nye formodninger.

© 2019 Science X Network