অভ্যন্তরীণ সংস্করণ গণিত এবং তাত্ত্বিক কম্পিউটার বিজ্ঞানে দশটি উল্লেখযোগ্য অগ্রগতি তৈরি করার পরে OpenAI Astra, একটি অপ্রকাশিত সিস্টেম যা এটিকে "আমাদের পরবর্তী প্রধান মডেল" বলে অভিহিত করে তার পর্দাটি ফিরিয়ে দিয়েছে৷ কোম্পানিটি গাণিতিক ফলাফলের নথিভুক্ত একটি গবেষণা পোস্টের ভিতরে এই ঘোষণাটিকে আটকে দিয়েছে, যারা ব্রেকিং এআই নিউজ নিবিড়ভাবে অনুসরণ করে তাদের কাছ থেকে উত্তেজনা এবং যাচাই-বাছাই উভয়েরই প্ররোচনা দেয়।

ওপেনএআই লিখেছে যে সমস্যাগুলি অ্যাস্ট্রাকে ক্র্যাক করতে সাহায্য করেছিল "কমপক্ষে এক দশক ধরে তাদের কেন্দ্রীয় ফলাফলগুলিতে কোনও অগ্রগতি হয়নি, এবং বেশিরভাগ ক্ষেত্রে, অনেক বেশি সময় ধরে," ওপেনএআই লিখেছেন। ফলাফলগুলি উচ্চ-মাত্রিক জ্যামিতি, কোডিং তত্ত্ব, গাণিতিক সার্কিট জটিলতা, গ্রুপ তত্ত্ব, কোয়ান্টাম জটিলতা, জালি ক্রিপ্টোগ্রাফি এবং চরম সংমিশ্রণ সহ ক্ষেত্রগুলিকে বিস্তৃত করে — এমন অঞ্চল যেখানে অগ্রগতি সাধারণত বছরের মধ্যে পরিমাপ করা হয়, একক গবেষণা চালানো হয় না।

যাচাইকৃত প্রমাণ, শুধু উত্তর নয়

গণিতে অনুমান করা একটি চ্যাটবট থেকে Astra এর আউটপুটকে যা আলাদা করে তা হল যাচাইকরণ। ওপেনএআই বলেছে যে মানব গবেষকরা পান্ডুলিপি হিসাবে আর্গুমেন্ট প্রস্তুত করতে একই মডেল ব্যবহার করেছেন এবং অ্যাস্ট্রা তারপরে প্রতিটি যুক্তিকে লীন শংসাপত্র হিসাবে আনুষ্ঠানিক করেছে। Lean হল একটি ওপেন-সোর্স প্রুফ অ্যাসিস্ট্যান্ট যা মেশিন-চেক করতে পারে গাণিতিক আর্গুমেন্ট, যার মানে অন্য গণিতবিদদের বিশ্বাসের ভিত্তিতে ফলাফল নিতে হবে না - সেকেন্ডের মধ্যে সফ্টওয়্যার দ্বারা স্বাধীনভাবে যাচাই করা যেতে পারে।

যে পার্থক্য গুরুত্বপূর্ণ. একটি ভাষার মডেল একটি প্রশংসনীয় প্রমাণ তৈরি করতে পারে যাতে একটি সূক্ষ্ম, মারাত্মক ত্রুটি রয়েছে। প্রতিটি যুক্তিকে Lean-এ অনুবাদ করে, OpenAI একটি বিপণন দাবিকে একটি যাচাইযোগ্য শিল্পকর্মে রূপান্তরিত করেছে। ব্লিপিংকম্পিউটার অনুসারে, যা বিশদ বিবরণ দিয়েছে, নির্দিষ্ট অগ্রগতির মধ্যে রয়েছে নন-সফিক গ্রুপের অস্তিত্বের প্রমাণ, গ্রুপ তত্ত্বের একটি বড় উন্মুক্ত প্রশ্নের সমাধান করা; Connes এর অনমনীয়তা অনুমান একটি disproof; উচ্চ-মাত্রিক গোলক প্যাকিংয়ের জন্য নতুন সীমানা; এবং ফলাফলগুলি মূলত বিশিষ্ট গণিতবিদ পল এরডস দ্বারা উত্থাপিত বেশ কয়েকটি সমস্যার সমাধান করে।

ওপেনএআই উল্লেখ করেছে যে এই সমাধানগুলি খুঁজে পেতে মোট টোকেনগুলির জন্য বর্তমান API হারে মোটামুটি $2,000 খরচ হবে - আধুনিক গাণিতিক আবিষ্কারের কম্পিউট পদচিহ্ন সম্পর্কে একটি আকর্ষণীয় ডেটা পয়েন্ট, এবং যেটি কেবলমাত্র ল্যাবগুলির পরিবর্তে ভাল-তহবিলপ্রাপ্ত একাডেমিক দলগুলির নাগালের মধ্যে সীমান্ত-স্তরের গবেষণা স্থাপন করে৷

গণিতবিদদের প্রতিক্রিয়া

থমাস ব্লুম, ম্যানচেস্টার ইউনিভার্সিটির একজন গণিতবিদ যিনি Erdős-সমস্যা রেফারেন্স সাইট erdosproblems.com চালান, দ্য ডিকোডার অনুসারে, X-এ ফলাফলকে "বড় খবর" বলে অভিহিত করেছেন। তিনি মে মাসে প্রকাশিত একক দূরত্ব অনুমানের বিপরীত উদাহরণের চেয়ে এগুলিকে আরও তাৎপর্যপূর্ণ রেট দিয়েছেন। "সম্ভবত ইউনিট দূরত্বের প্রমাণের চেয়ে বড় নয়, তবে নির্মাণের ক্ষেত্রে এটি বড়," ব্লুম লিখেছেন।

ব্লুম সেই ফ্রেমিংয়ের বিরুদ্ধেও পিছু হটলেন যে AI গণিতবিদদের প্রতিস্থাপন করছে, যুক্তি দিয়েছিলেন যে এই দাবির কোনো মানে হয় না যখন সিস্টেমটি এক শতাব্দীরও বেশি তত্ত্বের উপর আঁকেন, এটি গণিতবিদদের দ্বারা তৈরি করা হয়েছিল এবং গণিতবিদরা যা কিছু লিখেছেন তার উপর প্রশিক্ষিত ছিলেন।

নোয়াম ব্রাউন, পরীক্ষা-সময়ের যুক্তি প্রযুক্তির পিছনে একজন গবেষক Astra নির্ভর করে, আরও পরিমাপ করা হয়েছিল। "দুঃখজনকভাবে, কোন সহস্রাব্দ পুরস্কার সমস্যা (এখনও)," তিনি X-তে পোস্ট করেছেন, সাতটি বিখ্যাত সমস্যার কথা উল্লেখ করে যার জন্য ক্লে ম্যাথমেটিক্স ইনস্টিটিউট প্রতিটি $1 মিলিয়ন অফার করে - 2000 সালে পুরস্কার ঘোষণার পর থেকে শুধুমাত্র একটি সমাধান করা হয়েছে।

সবাই মুগ্ধ হয়নি। এআই সমালোচক গ্যারি মার্কাস একটি সাবস্ট্যাক পোস্টে মডেলটিকে "আশ্চর্যজনক - কিন্তু ব্যাপকভাবে বিক্রিত" বলে অভিহিত করেছেন, যখনই একটি সীমান্ত ল্যাব একটি মাইলফলক দাবি করে তখনই সন্দেহের একটি পরিচিত লাইন। প্রকৃত প্রযুক্তিগত অর্জন এবং প্রচারমূলক ফ্রেমিংয়ের মধ্যে টান সম্ভবত অ্যাস্ট্রা কীভাবে প্রাপ্ত হয় তা নির্ধারণ করে।

দীর্ঘ কাজের জন্য একটি নতুন মডেল পরিবার

তথ্যটি স্বাধীনভাবে নিশ্চিত করেছে যে Astra একটি নতুন মডেল পরিবার যা দীর্ঘদিন ধরে চলমান কাজের চাপের জন্য নির্মিত। OpenAI এটিকে একটি সিস্টেম হিসাবে বর্ণনা করে যা একাধিক AI এজেন্টকে একটি বৃহত্তর সমস্যার বিভিন্ন অংশে সহযোগিতা করতে দেয় — এমন একটি নকশা যা সেকেন্ডের চেয়ে ঘন্টা বা দিন সময় নেয়, যেমন একটি উপপাদ্য প্রমাণ করা বা একটি বড় কোডবেস রিফ্যাক্টর করা।

ব্লিপিংকম্পিউটার রিপোর্ট করেছে যে ওপেনএআই সিদ্ধান্ত নেয়নি যে মডেলটি GPT-5.7, GPT-6, নাকি অন্য নামে হিসেবে পাঠানো হবে। সিইও স্যাম অল্টম্যান ইতিমধ্যেই ওয়াশিংটন, ডিসি-তে অ্যাস্ট্রা প্রদর্শন করেছেন, দ্য ডিকোডার রিপোর্ট করেছে, সংস্থাটি নীতিনির্ধারকদের সামনে রাখার জন্য সিস্টেমটিকে যথেষ্ট পরিপক্ক বলে মনে করে।

একটি সরকারী পর্যালোচনা বাধা

সম্ভবত সবচেয়ে ফলপ্রসূ বিশদটি নিয়ন্ত্রক। দ্য ডিকোডারের মতে, অ্যাস্ট্রা হবে এমন প্রথম মডেলের মধ্যে যারা একটি পরিকল্পিত মার্কিন সরকারের পর্যালোচনা প্রক্রিয়ার মধ্য দিয়ে যাবে যার জন্য জনসাধারণের প্রকাশের আগে সরকারী অনুমোদন প্রয়োজন। এটি লঞ্চের টাইমলাইনে রাজনৈতিক অনিশ্চয়তার একটি স্তর যুক্ত করে যা পূর্ববর্তী ফ্ল্যাগশিপ মডেলগুলি কখনই মুখোমুখি হয়নি - এবং ওপেনএআই কীভাবে অ্যাস্ট্রার সক্ষমতাগুলিকে চিহ্নিত করে তার জন্য বাজি ধরে।

একটি ভয়ঙ্কর ওপেন-ওয়েট রেসের মধ্যেও অভিষেক হয়। কয়েকদিন আগে, থিঙ্কিং মেশিন ল্যাব তার ইনকলিং-স্মল ওপেন-ওয়েট মডেল প্রকাশ করেছে এবং চীনা ল্যাবগুলি ওপেন-ওয়েট ফ্রন্টিয়ার সিস্টেমগুলিকে ধাক্কা দিয়ে চলেছে। Astra ওপেনএআই-এর বাজির সংকেত দেয় যে মালিকানাধীন, বৃহৎ-স্কেল যুক্তি — Lean-এর মতো টুল দ্বারা যাচাই করা — সবথেকে বড় সাফল্যের পথ থেকে যায়৷

আপাতত, Astra অপ্রকাশিত রয়ে গেছে। কিন্তু এর গাণিতিক আত্মপ্রকাশ ইতিমধ্যেই কথোপকথনকে পুনর্বিন্যাস করেছে যে ফ্রন্টিয়ার এআই সিস্টেমগুলি বিশুদ্ধ বিজ্ঞানে অবদান রাখতে পারে এবং জনসাধারণের তাদের সাথে থাকা দাবিগুলিকে কতটা নিবিড়ভাবে যাচাই করা উচিত।

এআই থেকে এগিয়ে থাকুন

Astra এবং বিস্তৃত ফ্রন্টিয়ার-মডেল রেসের মতো উন্নয়নের সাথে তাল মিলিয়ে চলতে চান? [সর্বশেষ AI উন্নয়নের] (https://aibuzzwire.news) জন্য আমাদের হাব বুকমার্ক করুন।

আরও এআই খবর পড়ুন →