منطق و اثبات
هوش مصنوعی وارد دنیای ریاضیات شد؛ استارتاپ Axiom Math با سرمایه ۶۴ میلیون دلاری شروع به کار کرد
استارتاپ نوظهور Axiom Math با هدف ساخت «ریاضیدان هوش مصنوعی» و حل مسائل پیچیده ریاضی راهاندازی شد. این شرکت که توسط Carina Hong تأسیس شده، توانست ۶۴ میلیون دلار سرمایه جذب کند و تیمی از پژوهشگران برجسته AI را گرد هم آورد. مدل AI این استارتاپ قادر است مسائل ریاضی سخت را حل کرده و اثبات ارائه دهد و کاربردهای گستردهای در علوم، مهندسی، مالی و رمزنگاری دارد.
مشاهده خبر
پربحث ترین ها
- صدور مجوز اپراتورهای هوش مصنوعی؛ گام جدید دولت برای توسعه اقتصاد دیجیتال
- هوش مصنوعی، موتور محرک افزایش بهرهوری در زنجیره حملونقل کشور
- رونمایی از دستیار هوشمند صنعت حملونقل در کشور با محوریت هوش مصنوعی
- افتتاح نهمین نمایشگاه حملونقل با تمرکز بر هوش مصنوعی و تقویت جایگاه لجستیکی ایران
- رصدخانه نخبگان با هوش مصنوعی وارد فاز عملیاتی شد
- مهدی خسروی: تحول نمایشگاههای ایران با هوش مصنوعی؛ از ثبتنام هوشمند تا تجربه دیجیتال
- راهاندازی نخستین اپراتور هوش مصنوعی و داده در کشور تا پایان سال
- رونمایی Ideagen از Mazlan؛ ورود نسل تازه Agentic AI به مدیریت انطباق با قوانین
- OpenAI وضعیت «Code Red» اعلام کرد؛ رقابت شدید با Google Gemini اوج گرفت
- Fujitsu از فناوری نوین پیشبینی رفتار انسان و اشیاء برای ارتقای ایمنی همکاری انسان و ربات رونمایی کرد
- کسب رتبه سوم بریکس توسط تیم دانشگاه تهران با طرح ترکیبی انسان–ماشین در مدلسازی احتراق
- ایران در آستانه جهش دیجیتال؛ عارف: کشور میتواند هاب منطقهای فناوری اطلاعات شود
- آغاز صدور پروانه اپراتور هوش مصنوعی در کشور گام جدید دولت در توسعه اقتصاد دیجیتال
- علیبابا با عینک هوش مصنوعی Quark وارد بازار گجتهای پوشیدنی شد
- هشدار نسبت به عقبماندگی ایران در هوش مصنوعی تأکید بر ضرورت سرمایهگذاری فوری
پیشنهادی:
- حمایت ایران از فناوریهای نوظهور با گرنت یک میلیون دلاری
- فناوریهای کوانتومی؛ فراخوان بنیاد ملی علم ایران برای پژوهشها
- آغاز عصر تازه دادهمحوری در ایران با پلتفرم ملی بومی
- مدیران فناوری: بزرگترین مانع هوش مصنوعی ناآگاهی مدیران ارشد است
- هوش مصنوعی در ایران؛ آغاز فراخوانهای جدید معاونت علمی ریاست جمهوری
- امنیت سایبری در عصر هوش مصنوعی؛ چرا «امنیت حملهمحور» ضروری شده است؟
- NeurIPS 2025: تازهترین دستاوردهای هوش مصنوعی و یادگیری ماشین
- تغییر مسیر بزرگ اروپا در قوانین فناوری؛ کمیسیون اروپا بهدنبال بازطراحی مقررات هوش مصنوعی و حریم خصوصی
- Kyndryl و HSO همپیمان شدند برای انقلاب AI در سلامت؛ دادهمحورتر کردن مراقبتهای درمانی
- ترامپ در مسیر یکپارچهسازی قوانین هوش مصنوعی: دستور اجرایی ملی در راه است
- AidKit برنده جایزه Best Use of AI در Globee Awards 2025 شد
- پژوهش «غیراخلاقی» دربارهی هوش مصنوعی در ردیت زیر آتش انتقادها
- همراه اول با IVA: نخستین دستیار پاسخگویی هوشمند تمام فارسی در ایران
- هوش مصنوعی ۲۰۲۵؛ نگاهی به گزارش شاخص استنفورد
- سرمایهگذاری Disney در OpenAI؛ آغاز عصر جدید هوش مصنوعی در صنعت سرگرمی