ഫെർമാറ്റിന്റെ നിലവിലുള്ള തെളിവിനെ എഐ കമ്പ്യൂട്ടറിന് പരിശോധിക്കാവുന്ന കോഡാക്കി മാറ്റുന്നു
Where it stands
ആന്ത്രോപിക് (Anthropic) ഫെർമാറ്റിന്റെ അവസാന സിദ്ധാന്തത്തിന്റെ (Fermat’s Last Theorem) കമ്പ്യൂട്ടർ പരിശോധിച്ച പതിപ്പ് പുറത്തിറക്കി. കമ്പനി 2026 സെപ്റ്റംബർ 4 ന് ഈ പ്രവർത്തനം പ്രഖ്യാപിച്ചു. ക്ലോഡ് (Claude) 11 ദിവസത്തിനുള്ളിൽ സ്ഥാപിതമായ ഗണിതത്തെ ലീൻ പ്രൂഫ് ഭാഷയിലേക്ക് (Lean proof language) വിവർത്തനം ചെയ്തു. ഫലത്തിൽ ഏകദേശം 13 ദശലക്ഷം കോഡ് വരികൾ അടങ്ങിയിരിക്കുന്നു. ആൻഡ്രൂ വൈൽസ് (Andrew Wiles) ഇതിനകം തന്നെ സിദ്ധാന്തം തെളിയിച്ചിരുന്നു; പുതിയ നേട്ടം യന്ത്ര പരിശോധനയാണ്. പരിശോധനകൾ എങ്ങനെ നടത്തിയെന്ന് പുറത്തിറക്കിയ റിപ്പോസിറ്ററി വിശദീകരിക്കുന്നു. ഫലം നിലവിലുള്ള ഗണിതത്തെ പരിശോധിച്ചുറപ്പിക്കുന്നു. നിർമ്മിത ബുദ്ധി (AI) മുമ്പ് പരിഹരിക്കപ്പെടാത്ത ഒരു പ്രശ്നത്തിന്റെ തെളിവ് കണ്ടെത്തിയെന്ന് ഇത് കാണിക്കുന്നില്ല.
Background
ഒരു പ്രസ്താവന എന്തുകൊണ്ട് സത്യമായിരിക്കണമെന്ന് ഒരു ഗണിതശാസ്ത്ര തെളിവ് വിശദീകരിക്കുന്നു. ചില ഉദാഹരണങ്ങൾ പരിശോധിക്കുന്നതിലൂടെ സാധ്യമായ ഓരോ സംഖ്യയെയും കുറിച്ചുള്ള ഒരു പ്രസ്താവന തെളിയിക്കാൻ കഴിയില്ല. ഫെർമാറ്റിന്റെ സിദ്ധാന്തം 2 നേക്കാൾ വലിയ പൂർണ്ണസംഖ്യാ ഘാതങ്ങളെ (whole-number powers) സംബന്ധിച്ചുള്ളതാണ്. വൈൽസിന്റെ തെളിവ് 1995 ൽ പ്രസിദ്ധീകരിച്ചു. ഫോർമലൈസേഷൻ (Formalisation) ഗണിതശാസ്ത്രപരമായ ന്യായവാദം ഒരു കമ്പ്യൂട്ടറിന് പരിശോധിക്കാൻ കഴിയുന്ന കൃത്യമായ ഭാഷയിൽ മാറ്റിയെഴുതുന്നു. ഒരു പ്രൂഫ് അസിസ്റ്റന്റ് ലോജിക്കൽ ഘട്ടങ്ങൾ പരിശോധിക്കുന്നു; ഒരു ചാറ്റ്ബോട്ടിന്റെ ആത്മവിശ്വാസമുള്ള ഗദ്യത്തിന് അത്തരമൊരു ഉറപ്പും നൽകാൻ കഴിയില്ല.
How it developed
-
1995: publication of Wiles’s proofHow it started
സ്ഥാപിതമായ സിദ്ധാന്തം ആരംഭ പോയിന്റ് നൽകുന്നു
വൈൽസിന്റെ തെളിവ് 1995 ൽ പ്രസിദ്ധീകരിച്ചു. പുതിയ പ്രോജക്റ്റ് ഗണിതശാസ്ത്ര ന്യായവാദത്തിന്റെ സ്ഥാപിത രീതി പിന്തുടരുന്നു. ആ ന്യായവാദം ലീനിൽ (Lean) പ്രകടിപ്പിക്കുക എന്നതായിരുന്നു ദൗത്യം, അല്ലാതെ ആദ്യമായി സിദ്ധാന്തം കണ്ടെത്തുകയായിരുന്നില്ല.
-
4 September 2026 release; 7 September Nature coverageNew fact
കമ്പ്യൂട്ടർ എന്താണ് പരിശോധിച്ചതെന്ന് റിസർച്ച് റിലീസ് വിശദീകരിക്കുന്നു
ആന്ത്രോപിക് 2026 സെപ്റ്റംബർ 4 ന് ഫോർമലൈസേഷൻ പ്രഖ്യാപിച്ചു. റിപ്പോസിറ്ററി സിദ്ധാന്ത പ്രസ്താവനയും പരിശോധനാ രേഖകളും നൽകുന്നു. ലീനിന്റെ മാത്തമാറ്റിക്സ് ലൈബ്രറിയിലെ സ്റ്റാൻഡേർഡ് പ്രസ്താവനയുമായി പരിശോധനകൾ ഫലത്തെ ബന്ധിപ്പിക്കുന്നു. വിശ്വസിക്കേണ്ട അനുമാനങ്ങളും പരിശോധനാ ഉപകരണങ്ങളും റിപ്പോസിറ്ററി വിശദീകരിക്കുന്നു. ഈ പരിശോധനകൾ ഔപചാരികമായ കൃത്യതയുമായി ബന്ധപ്പെട്ടതാണ്. മനുഷ്യർക്ക് വായിച്ച് മനസ്സിലാക്കാവുന്ന ന്യായവാദത്തിന്റെ വിശദീകരണത്തിന് കോഡ് പകരമാകുന്നില്ല.
Why it matters for UPSC
ജിഎസ് 3 ന്, ഒരു ഉത്തരം സൃഷ്ടിക്കുന്നതിനെ ഉത്തരത്തിന് പിന്നിലെ കാരണം പരിശോധിച്ചുറപ്പിക്കുന്നതിൽ നിന്ന് വേർതിരിച്ചറിയുക. എഐ സൃഷ്ടിച്ച ഗണിതം പരിശോധിക്കാൻ ഫോർമൽ വെരിഫിക്കേഷന് കഴിയും. പരിശോധിച്ചുറപ്പിച്ച ഒരു തെളിവിന് ഇപ്പോഴും മനുഷ്യ വായനക്കാർക്ക് വ്യക്തമായ വിശദീകരണം ആവശ്യമാണ്.
Key terms
Sources (3)
- Anthropic · Formalizing Fermat’s Last Theorem, research announcement 4 September 20268 Sep, 7:51 pm
- Anthropic research repository · Fermat’s Last Theorem in Lean 4: statement, verification and limitations8 Sep, 7:51 pm
- Nature · Fermat proof formalisation, 7 September 2026: public headline and opening paragraph only8 Sep, 7:51 pm