Ett team av forskare vid Israel Institute of Technology har byggt vad de beskriver som en Ramanujan-maskin – en enhet som automatiskt genererar gissningar (matematiska påståenden som föreslås som sanna påståenden) för fundamentala konstanter. De har skrivit ett papper som beskriver sin enhet och har laddat upp det till arXiv förtrycksserver. De har också skapat en webbsida för personer som vill låta nätverket använda sin dators processcykler, föreslå ett bevis eller utveckla kod mot nya matematiska strukturer.

Ramanujan-maskinen är uppkallad efter den berömda indiske matematikern Srinivasa Ramanujan, en självlärd matematiker som växte upp i Indien och "upptäcktes" av matematikerkollegan G.H. Härdig. Efter att ha flyttat till England, han blev en fast inventarie på Cambridge, där han skakade om matematikvärlden med sin oortodoxa matematik – istället för att dunka iväg på matematiska bevis, han fick resultat av kända problem genom intuition och lät sedan andra hitta bevisen för dem. På grund av detta, han beskrevs ibland som en gissningsmaskin, dra formler ur tomma luften som om de fått från en högre varelse - ibland i drömmar. I denna nya ansträngning, forskarna i Israel har försökt replikera detta tillvägagångssätt med hjälp av datorkraft.

Ramanujan-maskinen är mer ett koncept än en verklig maskin – den existerar som ett nätverk av datorer som kör algoritmer dedikerade till att hitta gissningar om fundamentala konstanter i form av fortsatta bråk – dessa definieras som bråk av oändlig längd där nämnaren är en viss kvantitet plus en bråkdel, där ett senare bråk har en liknande nämnare, etc.) Syftet med maskinen är att komma med gissningar (i form av matematiska formler) som människor kan analysera, och förhoppningsvis visa sig vara sanna matematiskt. Teamet som skapade maskinen hoppas att deras idé ska inspirera framtida generationer av matematiker – för detta ändamål, de noterar att alla nya algoritmer, Bevis eller gissningar som utvecklats av en deltagare kommer att döpas efter dem. Forskarna noterar att deras maskin redan har upptäckt dussintals nya gissningar.

© 2019 Science X Network