ஃபெர்மாவின் தற்போதைய நிரூபணத்தை கணினி சரிபார்க்கக்கூடிய குறியீடாக ஏஐ மாற்றுகிறது
Where it stands
ஆந்த்ரோபிக் (Anthropic) ஃபெர்மாவின் கடைசித் தேற்றத்தின் (Fermat’s Last Theorem) கணினி மூலம் சரிபார்க்கப்பட்ட பதிப்பை வெளியிட்டுள்ளது. நிறுவனம் செப்டம்பர் 4, 2026 அன்று இந்த பணியை அறிவித்தது. கிளாட் (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
கணினி எதைச் சரிபார்த்தது என்பதை ஆராய்ச்சி வெளியீடு விவரிக்கிறது
ஆந்த்ரோபிக் செப்டம்பர் 4, 2026 அன்று முறைப்படுத்தலை அறிவித்தது. களஞ்சியம் தேற்றக் கூற்று மற்றும் சரிபார்ப்பு பதிவுகளை வழங்குகிறது. சோதனைகள் லீனின் கணித நூலகத்தில் உள்ள நிலையான கூற்றுடன் முடிவை இணைக்கின்றன. நம்ப வேண்டிய அனுமானங்கள் மற்றும் சோதனை கருவிகளையும் களஞ்சியம் விவரிக்கிறது. இந்த சோதனைகள் முறையான துல்லியத்தைப் பற்றியது. மனிதர்கள் படித்துப் புரிந்துகொள்ளக்கூடிய பகுத்தறிவு விளக்கத்திற்குக் குறியீடு மாற்றாகாது.
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