یک استارتاپ نوظهور در حوزه هوش مصنوعی به نام Axiom Math که هدف بزرگی در سر دارد ساخت مدلی برای حل مسائل پیشرفته ریاضی و تولید اثبات‌ مسئله  در ماه‌های اخیر با جلب توجه بسیار، رسماً پا به میدان گذاشته است. این شرکت که توسط Carina Hong، ریاضیدان جوان و نخبه تأسیس شده، به سرعت تیمی قدرتمند از پژوهشگران برجسته از شرکت‌های بزرگ AI را گرد هم آورده و موفق شده در دور تأمین سرمایه اولیه (seed funding) مبلغ ۶۴ میلیون دلار جذب کند.

 هوش مصنوعی برای ریاضیات سخت

Axiom Math قصد دارد چیزی فراتر از مدل‌های متداول AI بسازد  آن‌ها می‌خواهند «ریاضیدانی هوش مصنوعی» داشته باشند: مدلی که قادر باشد مسائل پیچیده ریاضی را حل کند، برای آن‌ها اثبات (proof) تولید کند و حتی نظریه‌ها یا حدس‌های نو بسازد. بنیان‌گذار این شرکت می‌گوید ریاضیات فضای «sandbox» مناسب برای آزمون «هوش فوق‌العاده» (superintelligence) است.

این یعنی نه فقط کاربردهای معمول AI (مثل تولید متن، ترجمه، یا هوش محاوره‌ای)، بلکه کاربردهای جدی علمی اثبات قضایا، اعتبارسنجی نظریه، طراحی الگوریتم و کار روی چالش‌های بنیادین ریاضی  هدف اصلی Axiom است.

 از Big Tech تا نخبگان ریاضی

تیم Axiom Math ترکیبی از افرادی با تجربه بالا در حوزه هوش مصنوعی و ریاضیات نظری است. تعدادی از اعضای تیم قبلاً در بخش‌های پژوهشی شرکت‌های مطرح AI فعالیت کرده‌اند. این ترکیب  نخبگان AI همراه با ریاضیدانان حرفه‌ای به Axiom این امکان را می‌دهد که هم جنبه فنی ساخت مدل را پوشش دهد و هم از نظر نظری و علمی، توانایی مقابله با دشوارترین مسائل ریاضی را داشته باشد.

Carina Hong (۲۴ ساله) که مدیرعامل و بنیان‌گذار استارتاپ است، پیشینه تحصیلی فوق‌العاده‌ای دارد؛ مطالعه ریاضیات و فیزیک، پژوهش در سطح بالا، و انگیزه برای پیش‌برد مرزهای دانش. او پس از ترک مقطع دکتری در دانشگاه استنفورد، Axiom Math را در مارس ۲۰۲۵ راه انداخت. جذب اعضای برجسته AI و ریاضی برای این پروژه، نشان‌دهنده جدیت و بلندپروازی این استارتاپ است.

 جذب سرمایه و ارزیابی شرکت

در دور seed، Axiom Math موفق شد ۶۴ میلیون دلار از سرمایه‌گذاران جذب کند و بر اساس گزارش‌ها ارزش شرکت در این مرحله تقریباً ۳۰۰ میلیون دلار ارزیابی شد. سرمایه‎گذاران اصلی شامل چند شرکت سرمایه‌گذاری جسورانه هستند که معتقدند توانایی مدل Axiom Math در «منطق و اثبات»  نه فقط حدس زدن یا الگوریتم می‌تواند کاربردهایی جدی در حوزه‌های علمی، مهندسی، مالی و رمزنگاری داشته باشد.

با این بودجه، Axiom قصد دارد توسعه مدل را تسریع کند، تیم پژوهشی خود را گسترش دهد، و تلاش کند تا اثبات ضبط‌شده (formal proofs) برای مسائل دشوار ریاضی عرضه کند کاری که اگر موفق شود، می‌تواند انقلابی در نحوه پژوهش و توسعه علمی به‌وجود آورد.

 از رمزنگاری تا نرم‌افزار و علوم پایه

در صورتی که Axiom Math به هدفش برسد، کاربردهای احتمالی آن بسیار گسترده‌اند. از اعتبارسنجی سخت‌افزار و نرم‌افزار، طراحی الگوریتم‌های پیچیده، تا استفاده در رمزنگاری، امور مالی کوانت (quantitative finance)، علوم پایه، فیزیک نظری و تحقیق و توسعه پیشرفته — جایی که منطق دقیق و اثبات‌پذیری مهم‌اند.

بنیان‌گذاران معتقدند این مدل نه فقط یک ابزار کمکی برای انسان، بلکه می‌تواند به منبع خلق دانش جدید و حل مسائل باز مونده برای دهه‌ها تبدیل شود.

 آغاز عصری جدید در AI علمی

راه‌اندازی Axiom Math و جذب این حجم سرمایه، نشانه‌ای از این است که حوزه هوش مصنوعی دارد از مراحل کاربرد سطحی (مثل محتوا، ترجمه، تحلیل ساده) عبور می‌کند و وارد فاز «AI علمی» می‌شود  جایی که AI می‌تواند در کارهای تحقیقاتی عمیق مشارکت کند.

برای دانشجویان، پژوهشگران و فعالان حوزه تکنولوژی: این یعنی فرصت برای همکاری، یادگیری و حتی ایجاد پروژه‌های نوآورانه وجود دارد. اگر Axiom موفق شود، ممکن است مرز بین «انسان ریاضیدان» و «ریاضیدان مصنوعی» کمرنگ شود، و این خود تحولی بزرگ در نحوه تولید دانش خواهد بود.

برای مشاهده جدیدترین اخبار ، به پایگاه خبری هوش مصنوعی ایران مراجعه کنید.