Axiom Math AI এজেন্ট দিয়ে গণিতের প্রমাণ নিজে থেকে যাচাই করছে
Axiom Math নামের একটি স্টার্টআপ বলছে, তাদের AI এজেন্ট বিখ্যাত গণিত গ্রন্থাগার Stacks Project-কে কম্পিউটার দিয়ে যাচাই করে নিশ্চিত করেছে। কোম্পানির যুক্তি, AI যখন অনেক যাচাই-না-করা গাণিতিক প্রমাণ তৈরি করছে, তখন স্বয়ংক্রিয়ভাবে যাচাই করা আরও জরুরি হয়ে উঠেছে। তাদের বাজি হলো শুধু বেশি প্রমাণ তৈরি করা নয়, প্রমাণ যাচাই করার উপর জোর দেওয়া।
সহজ শব্দকোষAxiom Math, formally verified, Stacks Project
- Axiom Math
- একটি স্টার্টআপ যা এমন AI এজেন্ট তৈরি করে যারা গাণিতিক প্রমাণ যাচাই করে, সংশ্লিষ্ট প্রতিবেদন অনুযায়ী।
- formally verified
- একটি কম্পিউটার প্রোগ্রাম দিয়ে যাচাই, যা নিশ্চিত করে প্রমাণের প্রতিটি ধাপ যুক্তিগতভাবে সঠিক।
- Stacks Project
- উন্নত গণিতের বিষয় নিয়ে একটি বড়, বিনামূল্যের অনলাইন রেফারেন্স বই, যা অনেক গণিতবিদ মিলে একসাথে লিখেছেন।
বার্নিং পটেটো স্কোর: 70%