2026 ခုနှစ် စက်တင်ဘာလ 4 ရက်နေ့ ကြာသပတေးနေ့တွင် Claude သည် သင်္ချာဆိုင်ရာ အကျော်ကြားဆုံးရလဒ်များထဲမှ တစ်ခုဖြစ်သည့် Fermat's Last Theorem ၏ ပထမဆုံးသော ကွန်ပြူတာစစ်ဆေးသည့် အထောက်အထားကို ထုတ်လုပ်ခဲ့ပြီး 11 ရက်အတွင်း အလိုအလျောက်လုပ်ဆောင်ကာ Lean ပရိုဂရမ်းမင်းဘာသာစကားဖြင့် ကုဒ်လိုင်းပေါင်း 13 သန်းရေးသားခဲ့ကြောင်း Anthropic မှ ကြေညာခဲ့သည်။

အဆိုပါမှတ်တိုင်သည် ထုတ်ဝေပြီး နာရီပိုင်းအတွင်း Hacker News ကို သုတေသနပြုသည့်အသိုင်းအဝိုင်းတွင် ချက်ခြင်းအာရုံစိုက်လာခဲ့သည်။ သီအိုရီ၏တရားဝင်အထောက်အထားတစ်ခုသည် နှစ်ရှည်အသိုက်အဝန်းကြိုးပမ်းအားထုတ်မှုတစ်ခုပြုလုပ်ရန် မျှော်လင့်ထားသည်။ ယင်းအစား၊ ဒါဇင်ပေါင်းများစွာသော ပူးပေါင်း Claude အေးဂျင့်အဖွဲ့တစ်ဖွဲ့သည် နှစ်ပတ်အတွင်း အလုပ်ပြီးမြောက်ခဲ့သည်။ ယနေ့ခေတ်တွင် AI စွမ်းရည်များ ရပ်တည်နေသည့်အကြောင်း နောက်ထပ်အကြောင်းအရာအတွက်၊ ကျွန်ုပ်တို့၏ နောက်ဆုံးပေါ် AI တိုးတက်မှုများ ကို ကြည့်ပါ။

Fermat ၏ နောက်ဆုံးသီအိုရီသည် ဘာလဲ — နှင့် အဘယ်ကြောင့် အနှစ် 350 တိုင် သက်သေပြခဲ့သည်

Fermat ၏နောက်ဆုံးသီအိုရီအရ အပြုသဘောဆောင်သောကိန်းပြည့် a, b, နှင့် c သည် ညီမျှခြင်း aⁿ + bⁿ = cⁿ ထက် 2 ထက်ကြီးသော မည်သည့်တန်ဖိုးအတွက်မဆို အပြုသဘောဆောင်သော ကိန်းပြည့် a, b နှင့် c တို့ကို ကျေနပ်စေသည်ဟု ဖော်ပြထားသည်။ အနားသတ်သည် ကျဉ်းလွန်းသဖြင့် ပါဝင်ရန် အထောက်အထား။

ရာစုနှစ်သုံးစုကျော်ကြာအောင် သက်သေပြရန် ကြိုးပမ်းမှုတိုင်းသည် အယုံအကြည်မရှိခဲ့ပေ။ Anthropic ၏အကောင့်အရ 1908 ခုနှစ်တွင်ကြေငြာခဲ့သော ဂျာမန်ရွှေတံဆိပ် 100,000 ဆုသည် ၎င်း၏ပထမတစ်နှစ်တည်းတွင် မှားယွင်းသောကြိုးစားမှု 621 ကြိမ်ရရှိခဲ့သည်။ Sir Andrew Wiles သည် နောက်ဆုံးတွင် မှန်ကန်သောသက်သေကို 1993 ခုနှစ်တွင်တင်ပြခဲ့သည် — ပြန်လည်သုံးသပ်သူများသည် နှစ်လအတွင်း အရေးကြီးသောကွာဟချက်ကို စိစစ်ရန်အတွက်သာ ဖော်ပြခဲ့သည်။ Wiles သည် ၎င်း၏ကျောင်းသားဟောင်း Richard Taylor နှင့် သက်သေပြရန်အတွက် 1995 ခုနှစ် မေလတွင် 129 မျက်နှာပါသော ဗားရှင်းကို ထုတ်ဝေခြင်းမပြုမီ အထောက်အထားကို ပြုပြင်ရန် လနှင့်ချီ၍ အားထုတ်ခဲ့သည်။

Claude သည် 13 သန်းလိုင်းသက်သေကို မည်သို့တည်ဆောက်ခဲ့သနည်း။

အဆိုပါပရောဂျက်ကို Columbia University မှ Anthropic researcher အဖွဲ့မှ AI formalization အတွက် ကိရိယာများ ဖန်တီးပေးသည့် Anthropic researcher Tianyi Peng မှ Claude သည် Wiles ၏ သက်သေကို စက်ဖြင့် စစ်ဆေးနိုင်သော ပုံစံသို့ ပြောင်းလဲခြင်းတွင် တိုးတက်မှု ရှိမရှိ စမ်းသပ်ရန် စတင်ခဲ့သည်။

ချဉ်းကပ်မှုတစ်ခု ပြောင်းလဲပြီးမှသာ ကြိုးပမ်းမှု အောင်မြင်ခဲ့သည်။ အေးဂျင့်များ၏ ကနဦးကြိုးပမ်းမှုများ မအောင်မြင်သဖြင့် ပရောဂျက်၏အခြေအနေကို ခြေရာခံကာ ထိရောက်စွာ ပူးပေါင်းဆောင်ရွက်ခြင်းကို ရပ်တန့်သွားကြောင်း Anthropic အစီရင်ခံစာတွင် ဖော်ပြထားသည်။ Peng နှင့် Columbia ရှိ ပူးပေါင်းဆောင်ရွက်သူများ ဒီဇိုင်းထုတ်ထားသော သင်္ချာကို တရားဝင်ဖြစ်စေရန်အတွက် ပွင့်လင်းသော ပူးပေါင်းဆောင်ရွက်သည့် ပလက်ဖောင်းတစ်ခုဖြစ်သည့် Prove2Me နှင့်အတူ အောင်မြင်မှုများ ထွက်ပေါ်လာခဲ့သည်။ ပလက်ဖောင်းသည် သက်သေပြရမည့်အရာကို ဆုံးဖြတ်ရန် အေးဂျင့်များအသုံးပြုသည့် သီအိုရီဖော်ပြချက်များ၏ တိကျသော acyclic ဂရပ်ကို ထိန်းသိမ်းထားပြီး၊ သက်သေအထောက်အထားများနှင့် သီအိုရီတစ်ခုစီ၏ သဘာဝဘာသာစကားဖော်ပြချက်များမှတစ်ဆင့် Lean စုစည်းမှုကို အရှိန်မြှင့်ပေးကာ အေးဂျင့်များ၏ သီအိုရီမ်တစ်ခုစီ၏ သဘာဝဘာသာစကားဖော်ပြချက်များမှတစ်ဆင့် ရလဒ်များကို ရှာဖွေပြီး ပြန်လည်အသုံးပြုခွင့်ပေးသည်။

Claude Code-based multi-agent ကြိုးကို အသုံးပြု၍ အေးဂျင့်အဖွဲ့သည် Claude Fable 5.1 နှင့် အကြမ်းဖျင်းအားဖြင့် နှိုင်းယှဉ်ဖော်ပြသော Anthropic ၏ အတွင်းပိုင်းသုတေသနပုံစံတစ်ခုမှ အကြမ်းဖျင်းအားဖြင့် အထွက်တိုကင်ခြောက်ဘီလီယံခန့်ကို အေးဂျင့်အဖွဲ့မှ သုံးစွဲခဲ့သည်။ လူသား၏ထည့်သွင်းမှုကို ရံဖန်ရံခါအဆင့်မြင့်ညွှန်ကြားချက်များတွင် ကန့်သတ်ထားပါသည် — Anthropic သည် "Jacobian အစီအစဥ်ကဲ့သို့ ဦးစားပေးအသံဖြစ်သည်" ကဲ့သို့သော စာတိုများကို ကိုးကားပြီး Mazur သီအိုရီကို မကြာမီလုပ်ဆောင်ရန် တောင်းဆိုချက်တစ်ခုဖြစ်သည်။ ပလပ်ဖောင်း၏ အမြစ်သီအိုရီသည် သက်သေအဖြစ်သို့ ပြောင်းသွားသောအခါ သြဂုတ်လ 18 ရက်နေ့ 02:00 UTC တွင် အထောက်အထား ပြီးဆုံးခဲ့သည်။

လမ်းတစ်လျှောက်တွင် Claude သည် သီအိုရီပေါင်း 30,300 ကို သက်သေပြခဲ့ပြီး ၎င်းတို့ထဲမှ 29,500 ကို နောက်ဆုံးသက်သေအဖြစ် သက်သေပြခဲ့သည်။ Lean ၏ လိုင်းပေါင်း 13 သန်းတွင်၊ ရလဒ်သည် တရားဝင်လုပ်သင်္ချာ၏ အဓိကအသိုက်အဝန်းစာကြည့်တိုက်ဖြစ်သည့် Mathlib ၏ အရွယ်အစားထက် ငါးဆပိုများသည်။ အထောက်အထားသည် Henri Darmon၊ Fred Diamond နှင့် Richard Taylor တို့၏ Wiles ၏ ရိုးရှင်းသောအငြင်းပွားမှုကို ရှင်းရှင်းလင်းလင်းဖော်ပြပြီး Kevin Buzzard ဦးဆောင်သော Imperial College London တရားဝင်ရေးပရောဂျက်၏အပိုင်းအစများကို လိုက်လျောညီထွေဖြစ်စေသည်။

ခိုင်လုံသောသက်သေသည် အဘယ်ကြောင့်မေးခွန်းကိုဖြေရှင်းသနည်း။

ရလဒ်ကို အဆုံးအဖြတ်ပေးသည့်အရာမှာ ခုံသမာဓိဖြစ်သည်။ Lean ကဲ့သို့သော သက်သေလက်ထောက်များသည် အထောက်အထားတစ်ခု၏ ယုတ္တိဗေဒကို အယ်လဂိုရီသမ်နည်းဖြင့် အတည်ပြုပြီး Claude ၏သက်သေပြချက်သည် Lean ၏စံ axioms သုံးခုကိုသာအသုံးပြုကြောင်း Anthropic ကဖော်ပြသည်၊ သီအိုရီ၏ဖော်ပြချက်သည် Mathlib ၏ကိုယ်ပိုင်ဖော်မြူလာသီအိုရီနှင့်ကိုက်ညီကြောင်း နှိုင်းယှဉ်သူမှအတည်ပြုပေးပါသည်။ ကုမ္ပဏီသည် GitHub ရှိ အများသူငှာ သိုလှောင်မှုတွင် အထောက်အထားကို ထုတ်ပြန်ခဲ့သည်။

ရလဒ်ကို ပြန်လည်သုံးသပ်သူ Buzzard သည် ပြတ်ပြတ်သားသားဖြစ်သည်- "Anthropic သုတေသီများက 11 ရက်သာ အချိန်ယူခဲ့ရသည့် ဤထူးကဲသော အလိုအလျောက်ပုံစံပြောင်းလဲခြင်းအောင်မြင်မှုသည် သင်္ချာဗေဒမှလွဲ၍ အခြားယူဆချက်များမရှိဘဲ Fermat ၏ နောက်ဆုံးသီအိုရီကို သက်သေပြခဲ့သည်။"

မနုဿသည် အသစ်အဆန်းကို မှန်ကန်စွာ နေရာချရန် သတိထားပါ။ အသစ်အဆန်းသင်္ချာဘာသာရပ်ကိုထုတ်လုပ်ပေးသည့် Riemann အယူအဆအပေါ် AI မောင်းနှင်သည့်အလုပ်နှင့်မတူဘဲ၊ ဤနေရာတွင် သင်္ချာအသစ်မှာ ဘာမျှမရှိပါ - အောင်မြင်မှုသည် စိစစ်ခြင်း၊ ဂဏန်းပေါင်းစက်က ဂဏန်းသင်္ချာကိုစစ်ဆေးသည့် ရှိပြီးသားအထောက်အထားကို စစ်ဆေးခြင်းဖြစ်သည်။ Lean — Anthropic မဟုတ်ဘဲ — မှန်ကန်မှုအပေါ် နောက်ဆုံး အခွင့်အာဏာဖြစ်သည့် Lean သည် ၎င်း၏ မော်ဒယ်အပေါ် ကုမ္ပဏီ၏ ကိုယ်ပိုင်အကဲဖြတ်မှုတွင် အရေးဆိုမှု မတည်ပါ။

သင်္ချာနဲ့ AI သုတေသနအတွက် ဘာကိုဆိုလိုလဲ။

သက်ရောက်မှုတွေက နှစ်ဖက်စလုံးကို ဖြတ်သွားတယ်။ သင်္ချာပညာရှင်များအတွက်၊ အလိုအလျောက်ပုံစံပြောင်းခြင်းသည် ရှိရင်းစွဲအသိပညာ၏ အစုအဝေးတွင် အမှားအယွင်းများကို ဖမ်းမိနိုင်ပြီး ရလဒ်အသစ်များအတွက် ဒိုင်လူကြီးဝန်ကို သိသိသာသာ ပေါ့ပါးစေကာ နှစ်များစွာကြာမြင့်နိုင်သည့် လုပ်ငန်းစဉ်တစ်ခုဖြစ်သည်။ "ယခု FLT ၏ အလိုအလျောက် တရားဝင်ခွင့်ပြုခြင်း ဖြစ်နိုင်ပါက၊ ခေတ်မီသင်္ချာစာပေများကို အလိုအလျောက် တရားဝင်ဖြစ်အောင် ကျွန်ုပ်တို့ ခြေလှမ်းကြီးလှမ်းလိုက်ပါပြီ" ဟု Buzzard က "Anthropic သည် ကျွန်ုပ်ကို အနိုင်ယူခဲ့သည်" ဟု ခေါင်းစဉ်တပ်ထားသည့် နောက်ဆက်တွဲ ဘလော့ဂ်ပို့စ်တွင် ရေးသားခဲ့သည်။

AI ဓာတ်ခွဲခန်းများအတွက်၊ ရလဒ်သည် နည်းပညာ၏ နာမည်ဆိုးနှင့်အကျော်ကြားဆုံး အားနည်းချက်များထဲမှ တစ်ခုတွင် တရားဝင်ကိရိယာများ ချုပ်ကိုင်နိုင်သည်ဟု အကြံပြုထားသည်။ Lean ရေးခြင်းသည် Claude သည် ဆန်းသစ်သောရလဒ်များကို သက်သေပြရန် အထောက်အကူဖြစ်ပုံရပြီး အေးဂျင့်များသည် ကိန်းဂဏာန်းပုံသဏ္ဍာန်များရေးသည်နှင့်အမျှ အယူအဆများကို လွတ်လပ်စွာစစ်ဆေးရန် တစ်စိတ်တစ်ပိုင်းတရားဝင်အထောက်အထားများကို အသုံးပြုကာ အေးဂျင့်များက ကိန်းဂဏာန်းပုံသဏ္ဍာန်များကို သက်သေပြရန် ကူညီပုံပေါ်ကြောင်း Anthropic မှ မှတ်ချက်ပြုသည်။ ကုမ္ပဏီသည် ဝင်ရောက်ရန် အတားအဆီးပြိုကျနေပြီဟု စောဒကတက်သည်- အသေးစားစမ်းသပ်မှုတစ်ခုတွင်၊ ကိုယ်ပိုင် Claude Max အစီအစဉ်သုံးခုသည် Vinogradov ၏ Three Primes Theorem ကို သုံးရက်အတွင်း တရားဝင်အဖြစ် ပူးပေါင်းဆောင်ရွက်သည့် အေးဂျင့်များအတွက် လုံလောက်ပါသည်။

သတိပေးချက်များသည် မှန်ကန်နေပါသည်။ သက်သေပြချက်တွင် ရည်ရွယ်ချက်-တည်ဆောက်ထားသော ပလပ်ဖောင်းတစ်ခု၊ တိုကင်ပေါင်း ဘီလီယံပေါင်းများစွာ လိုအပ်ပြီး ပုံမှန်မဟုတ်သော သန့်ရှင်းသော အောင်မြင်မှုစံနှုန်းတစ်ခု လိုအပ်သည် — ရှိနှင့်ပြီးသား အဖြေကီးတစ်ခုကို စစ်ဆေးခြင်းသည် သီအိုရီအသစ်များကို ရှာဖွေခြင်းထက် ပိုမိုလွယ်ကူသည်။ သို့သော် AI စနစ်များသည် ယခုအခါ ရှေ့တန်း၌ သင်္ချာပညာကို တရားဝင်အောင်နိုင်ပြီဟူသော သရုပ်ပြမှုတစ်ခုအနေဖြင့် ၃၅၈ နှစ်ကြာ ပြဿနာကို ဆန့်ကျင်သည့် ၁၁ ရက်ကြာ တတ်နိုင်သမျှ ပြတ်ပြတ်သားသား ဖော်ထုတ်နိုင်ခဲ့သည်။

---

AI ၏ရှေ့တွင်နေရန်

နောက်ဆုံးပေါ် AI သတင်းများ၊ ခွဲခြမ်းစိတ်ဖြာမှုနှင့် အောင်မြင်မှုများ—အားလုံးကို တစ်နေရာတည်းတွင် ရယူပါ။

AI သတင်းအပြည့်အစုံကို ဖတ်ရှုရန် →