Ramanujan maskin
Ramanujan -maskinen är ett specialiserat mjukvarupaket, utvecklat av ett team av forskare vid Technion : Israeliska Institutet för tekniska institut, för att upptäcka nya formler inom matematik. Den har fått sitt namn efter den indiske matematikern Srinivasa Ramanujan eftersom den ska imitera Ramanujans tankeprocess i hans upptäckt av hundratals formler. Maskinen har producerat flera gissningar i form av fortsatta bråkexpansioner av uttryck som involverar några av de viktigaste konstanterna i matematik som e och π (pi) . Några av dessa gissningar som producerats av Ramanujan-maskinen har senare visat sig vara sanna. De andra fortsätter att finnas kvar som gissningar. Mjukvaran konceptualiserades och utvecklades av en grupp studenter från Technion under ledning av Ido Kaminer, en fakultetsmedlem för elektroteknik i Technion. Detaljerna om maskinen publicerades online den 3 februari 2021 i tidskriften Nature .
Enligt George Andrews , en expert på matematiken i Ramanujan, även om en del av resultaten som produceras av Ramanujan-maskinen är fantastiska och svåra att bevisa, är resultaten som produceras av maskinen inte av Ramanujans kaliber och så kallar programvaran för Ramanujan-maskinen är något upprörande. Doron Zeilberger , en israelisk matematiker, har ansett att Ramanujan-maskinen är ett förebud om en ny metod för att göra matematik.
Formler upptäckta av Ramanujan-maskinen
Följande är några av formlerna som upptäckts av Ramanujan-maskinen och som senare har visat sig vara sanna:
Följande är några av de många formlerna som antas av Ramanujan-maskinen vars sanning eller falskhet ännu inte har fastställts:
I det sista uttrycket, siffrorna 4, 14, 32, 58, . . . definieras av sekvensen för och siffrorna 8, 72, 288, 800, . . . genereras med formeln för .
externa länkar
- Webbplatsen för Ramanujan-maskinprojektet: The Ramanujan Machine: Använda algoritmer för att upptäcka ny matematik
- på YouTube