আমরা একটি অভ্যন্তরীণ ফ্রন্টিয়ার মডেল দ্বারা উত্পাদিত নতুন গাণিতিক ফলাফলের একটি বিস্তৃত পরিসর প্রকাশ করছি। আমরা Institute for Advanced Study-এ স্বাধীন অ্যাডভাইজরি গ্রুপ অন ম্যাথমেটিক্স অ্যান্ড আর্টিফিশিয়াল ইন্টেলিজেন্সের সাথে পরামর্শ করছি সর্বোত্তম অনুশীলনগুলি বিকাশের জন্য। এই প্রকাশের জন্য, আমরা ফলাফলগুলি একটি Git Hub রিপোজিটরিতে প্রকাশ করছি, কাগজ সংশোধন এবং উদ্ধৃতির জন্য প্রোটোকল সহ।
আমরা Lean-এ অনেক প্রমাণের ফর্মালাইজেশন শেয়ার করছি, একটি প্রোগ্রামিং ভাষা যা গাণিতিক প্রমাণগুলি কম্পিউটার দ্বারা পরীক্ষা করার অনুমতি দেয়। আমরা মডেলের যুক্তির 10টি সারসংক্ষেপ এবং ব্যয়িত কম্পিউটের অনুমানও প্রকাশ করছি। গড় ফলাফল প্রায় তিন ঘন্টা Chat GPT Pro চিন্তার সমতুল্য কম্পিউট ব্যবহার করেছে।
আমরা চাই এই অগ্রগতি মানব জ্ঞানের সীমানা ঠেলে দিক। আমরা AI দ্বারা উত্পাদিত প্রধান ফলাফলগুলি বোঝার জন্য কর্মশালা, সম্মেলন এবং বিশেষ প্রোগ্রামগুলির একটি সিরিজ অর্থায়ন করব। আমরা এই ফলাফলগুলি উত্পাদিত মডেলটি দায়িত্বশীলভাবে প্রকাশ করার জন্য কাজ করছি এবং সম্প্রদায়ের প্রতিক্রিয়ার উপর কাজ চালিয়ে যাব।
উৎস: Hacker News · সারাংশ: HeadlinesBriefing