হারমোনিক, রবিনহুড সিইওর এআই স্টার্টআপ, অ্যারিস্টটলকে সফ্টওয়্যার এবং চিপ-ডিজাইন যাচাইকরণে প্রসারিত করেছে

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

গণিত প্রমাণ থেকে কোড পর্যন্ত

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

রয়টার্স উল্লেখ করেছে যে গবেষকরা সম্প্রতি পিএইচপি-তে জটিল বাগগুলি উন্মোচন করতে এই ধরণের প্রযুক্তি ব্যবহার করেছেন, তাদের প্যাচ করার জন্য বিশ্বব্যাপী তাড়াহুড়ো করে। নকশা পর্যায়ে ত্রুটি ধরা, গাণিতিক চেক পরিবর্তে একা পরীক্ষা, বাজার হারমোনিক পরিবেশন করতে চায়.

চার ঘণ্টার ফিউশন কেস

হারমোনিক মার্কিন ফিউশন ল্যাব DIII-D-এর দিকে ইঙ্গিত করেছে, যা বলেছে যে এরিস্টটল তার চুল্লি-নিয়ন্ত্রণ সফ্টওয়্যারের অংশটি চার ঘন্টার মধ্যে পুনর্নির্মাণ করতে ব্যবহার করেছে, একটি গবেষণাপত্র এবং একটি 254-শব্দ প্রম্পট থেকে। উদাহরণটি একটি যুক্তির মডেল দেখানোর জন্য বোঝানো হয়েছে যা কেবল কোড লেখে না তবে এটি একটি স্পেসিফিকেশনের বিরুদ্ধে পরীক্ষা করে।

পটভূমি এবং কি দেখতে হবে

হারমোনিক গত নভেম্বরে $1.45 বিলিয়ন মূল্যায়নে $120 মিলিয়ন উত্থাপন করেছে, যা Nvidia এর উদ্যোগের হাত, Sequoia এবং Ribbit Capital দ্বারা সমর্থিত। প্রতিবেদনে নতুন তহবিল বা এই সম্প্রসারণের সাথে যুক্ত নতুন গ্রাহকদের উল্লেখ করা হয়নি। এরপরে যা গুরুত্বপূর্ণ তা হল যাচাইকরণ সরঞ্জামগুলি গবেষণা প্রদর্শন থেকে চিপ এবং সফ্টওয়্যার কোম্পানির দৈনন্দিন উন্নয়ন কাজের মধ্যে স্থানান্তরিত হয় কিনা এবং গ্রাহকরা সেই অতিরিক্ত নিশ্চিততার জন্য অর্থ প্রদান করবেন কিনা।