Lipalo tsa mochini o mocha? Mekhoa e metle le ho hloka thuso
Ho ea ka litsebi tse ling, mechine e ka qapa kapa, haeba u rata, ea sibolla lipalo tse ncha ka ho feletseng tseo rōna batho re e-s’o ka re li bona kapa ra li nahana. Ba bang ba pheha khang ea hore mechine ha e iqapele letho, e ka emela feela liforomo tseo re li tsebang ka tsela e fapaneng, ’me ha e khone ho sebetsana ka katleho le mathata a mang a lipalo ho hang.
Haufinyane tjena, sehlopha sa bo-ramahlale ba Setsi sa Technion sa Israel le Google se hlahisitse sistimi e ikemetseng ea ho hlahisa likhopoloeo ba ileng ba e bitsa mochine oa Ramanujan ho latela setsebi sa lipalo Srinivasi Ramanujanaba qapileng likete-kete tsa liforomo tsa motheo ka khopolo ea lipalo ba nang le thuto e fokolang kapa ba sa rutehang ho hang. Sistimi e ntlafalitsoeng ke bafuputsi e fetotse liforomo tse 'maloa tsa mantlha le tsa bohlokoa hore e be li-constants tsa bokahohle tse hlahang lipalong. Pampiri e mabapi le sehlooho sena e hatisitsoe koranteng ea Nature.
E 'ngoe ea liforomo tse hlahisoang ke mochini e ka sebelisoa ho bala boleng ba ntho e sa fetoheng ea bokahohleng e bitsoang Nomoro ea Catalan, e sebetsang hantle ho feta ho sebelisa mekhoa e neng e tsejoa e kile ea sibolloa ke batho. Leha ho le joalo, bo-rasaense ba bolela seo Koloi ea Ramanujan ha ea rereloa ho tlosa lipalo ho batho, empa ho e-na le hoo ho fana ka thuso ho litsebi tsa lipalo. Leha ho le joalo, sena ha se bolele hore tsamaiso ea bona ha e na tabatabelo. Ha ba ntse ba ngola, Mochini "o leka ho etsisa intuition ea lipalo ea litsebi tse kholo tsa lipalo le ho fana ka malebela bakeng sa lipotso tse ling tsa lipalo."
Sistimi e etsa likhakanyo mabapi le boleng ba li-constants tsa bokahohleng (joalo ka) tse ngotsoeng e le liforomo tse ntle tse bitsoang likaroloana tse tsoelang pele kapa likaroloana tse tsoelang pele (1). Lena ke lebitso la mokhoa oa ho hlalosa palo ea sebele e le karoloana ka mokhoa o khethehileng kapa moeli oa likaroloana tse joalo. Karolo e tsoelang pele e ka ba le moeli kapa ea ba le li-quotients tse ngata haholo.i/bi; karolo ea Ak/Bk e fumanoeng ka ho lahla likaroloana tse sa fellang karolong e tsoelang pele, ho qala ho (k + 1) th, e bitsoa kth reduct mme e ka baloa ka liforomo:-1= 1, A0=b0, V-1=0,V0= 1, Ak=bkAk-1+akAk-2, Vk=bkBk-1+akBk-2; haeba tatellano ea li-reducts e fetoha moeli o lekanyelitsoeng, joale karoloana e tsoelang pele e bitsoa convergent, ho seng joalo e fapane; Karolo e tsoelang pele e bitsoa arithmetic haebai= 1, leq0 phethile, bi (i>0) - tlhaho; lipalo-palo tse tsoelang pele karoloana converges; palo e 'ngoe le e 'ngoe ea sebele e atoloha ho ea karolong e tsoelang pele ea lipalo, e lekanyelitsoeng feela bakeng sa linomoro tse utloahalang.
1. Mohlala oa ho ngola Pi e le karoloana e tsoelang pele
Algorithm ea mochini oa Ramanujan e khetha likarolo life kapa life tsa bokahohleng bakeng sa lehlakore le letšehali le likaroloana leha e le life tse tsoelang pele bakeng sa lehlakore le letona, ebe o bala lehlakore ka leng le arohane ka ho nepahala ho itseng. Haeba mahlakore ka bobeli a bonahala a nyallana, lipalo li baloa ka nepo ho netefatsa hore papali ha e bapane kapa e fosahetse. Habohlokoa, ho se ho ntse ho e-na le liforomo tse u lumellang hore u bale boleng ba li-constants tsa bokahohleng, mohlala, ka ho nepahala leha e le efe, kahoo tšitiso feela ea ho hlahloba ho lumellana ha leqephe ke nako ea ho bala.
Pele litsebi tsa lipalo li kenya tšebetsong mekhoa e joalo, li ne li tlameha ho sebelisa e seng e ntse e le teng. tsebo ea lipalo i theoremsetsa kakanyo e jwalo. Ka lebaka la likhakanyo tsa boiketsetso tse hlahisoang ke li-algorithms, litsebi tsa lipalo li ka li sebelisa ho hlahisa likhopolo tse patiloeng kapa liphetho tse "bokhabane".
Ntho e hlokomelehang ka ho fetisisa e sibollotsoeng ke bafuputsi ha se tsebo e ngata e ncha joalo ka maikutlo a macha a bohlokoa bo makatsang. Sena se lumella palo ea se Catalan kamehla, ntho e sa fetoheng ea bokahohleng eo boleng ba eona bo hlokahalang mathateng a mangata a lipalo. Ho e hlalosa e le karoloana e tsoelang pele mohopolong o sa tsoa sibolloa ho lumella lipalo tse potlakileng ho fihlela joale, ho hlola liforomo tsa pejana tse nkileng nako e telele ho sebetsa komporong. Sena se bonahala se tšoaea ntlha e ncha ea tsoelopele bakeng sa mahlale a khomphutha ho tloha ha likhomphutha li qala ho otla libapali tsa chess.
Seo AI e sa khoneng ho se etsa
Li-algorithms tsa mochini Joalokaha u ka bona, ba etsa lintho tse ling ka tsela e ncha le e sebetsang. Kaha ba tobane le mathata a mang, ha ba na thuso. Sehlopha sa bafuputsi Univesithing ea Waterloo e Canada se ile sa sibolla sehlopha sa mathata a ho sebelisa ho ithuta ka mochini. Ho sibolloa hona ho amana le taba e makatsang e hlalositsoeng bohareng ba lekholo la lilemo le fetileng ke setsebi sa lipalo sa Austria Kurt Gödel.
Setsebi sa lipalo Shai Ben-David le sehlopha sa hae ba hlahisitse mohlala oa ho ithuta ka mochini o bitsoang maximum prediction (EMX) khatisong ea makasine ea Nature. Ho ne ho ka bonahala eka mosebetsi o bonolo o ne o ke ke oa khoneha bakeng sa bohlale ba maiketsetso. Bothata bo hlahisitsoeng ke sehlopha Shay Ben-David e theohela ho bolela esale pele letšolo la papatso le nang le phaello e ngata, le lebisitsoeng ho babali ba etelang sebaka sa marang-rang khafetsa. Palo ea menyetla e kholo hoo marang-rang a marang-rang a sa khoneng ho fumana ts'ebetso e tla bolela esale pele boitšoaro ba basebelisi ba sebaka sa marang-rang, e nang le sampole e nyane feela ea data.
Ho ile ha fumaneha hore mathata a mang a hlahisoang ke marang-rang a neural a lekana le khopolo-taba e tsoelang pele e entsoeng ke Georg Cantor. Setsebi sa lipalo sa Jeremane se ile sa paka hore k'hadinale ea sete ea linomoro tsa tlhaho e ka tlase ho kh'hadinale ea palo ea linomoro tsa 'nete. Eaba o botsa potso eo a neng a sitoa ho e araba. E leng, o ile a ipotsa hore na ho na le sete se sa feleng seo cardinality e leng ka tlase ho cardinality ea sete ya dinomoro tsa sebeleempa matla a mangata sete ya dinomoro tsa tlhaho.
Setsebi sa lipalo sa Austria sa lekholong la boXNUMX la lilemo. Kurt Godel e pakile hore khopolo-taba e tsoelang pele e ke ke ea etsoa qeto tsamaisong ea hona joale ea lipalo. Joale ho ile ha fumaneha hore litsebi tsa lipalo tse qapang marang-rang a methapo ea methapo li tobane le bothata bo tšoanang.
Kahoo, le hoja e sa bonahale ho rōna, joalokaha re bona, ha e na thuso ho sa tsotellehe mefokolo ea motheo. Bo-rasaense ba ipotsa hore na ho na le mathata a sehlopha sena, joalo ka li-infinite sets, mohlala.
