منطق و اثبات
هوش مصنوعی وارد دنیای ریاضیات شد؛ استارتاپ Axiom Math با سرمایه ۶۴ میلیون دلاری شروع به کار کرد
استارتاپ نوظهور Axiom Math با هدف ساخت «ریاضیدان هوش مصنوعی» و حل مسائل پیچیده ریاضی راهاندازی شد. این شرکت که توسط Carina Hong تأسیس شده، توانست ۶۴ میلیون دلار سرمایه جذب کند و تیمی از پژوهشگران برجسته AI را گرد هم آورد. مدل AI این استارتاپ قادر است مسائل ریاضی سخت را حل کرده و اثبات ارائه دهد و کاربردهای گستردهای در علوم، مهندسی، مالی و رمزنگاری دارد.
مشاهده خبر
پربحث ترین ها
- صدور مجوز اپراتورهای هوش مصنوعی؛ گام جدید دولت برای توسعه اقتصاد دیجیتال
- هوش مصنوعی، موتور محرک افزایش بهرهوری در زنجیره حملونقل کشور
- رونمایی از دستیار هوشمند صنعت حملونقل در کشور با محوریت هوش مصنوعی
- افتتاح نهمین نمایشگاه حملونقل با تمرکز بر هوش مصنوعی و تقویت جایگاه لجستیکی ایران
- رصدخانه نخبگان با هوش مصنوعی وارد فاز عملیاتی شد
- مهدی خسروی: تحول نمایشگاههای ایران با هوش مصنوعی؛ از ثبتنام هوشمند تا تجربه دیجیتال
- راهاندازی نخستین اپراتور هوش مصنوعی و داده در کشور تا پایان سال
- رونمایی Ideagen از Mazlan؛ ورود نسل تازه Agentic AI به مدیریت انطباق با قوانین
- OpenAI وضعیت «Code Red» اعلام کرد؛ رقابت شدید با Google Gemini اوج گرفت
- Fujitsu از فناوری نوین پیشبینی رفتار انسان و اشیاء برای ارتقای ایمنی همکاری انسان و ربات رونمایی کرد
- کسب رتبه سوم بریکس توسط تیم دانشگاه تهران با طرح ترکیبی انسان–ماشین در مدلسازی احتراق
- ایران در آستانه جهش دیجیتال؛ عارف: کشور میتواند هاب منطقهای فناوری اطلاعات شود
- آغاز صدور پروانه اپراتور هوش مصنوعی در کشور گام جدید دولت در توسعه اقتصاد دیجیتال
- علیبابا با عینک هوش مصنوعی Quark وارد بازار گجتهای پوشیدنی شد
- هشدار نسبت به عقبماندگی ایران در هوش مصنوعی تأکید بر ضرورت سرمایهگذاری فوری
پیشنهادی:
- آموزش هوش مصنوعی به زبان فارسی: دورههای آنلاین برای علاقهمندان در ایران
- قانون جدید کالیفرنیا: چتباتها باید خود را معرفی کنند
- Meta با خرید Limitless و قراردادهای خبری جدید، وارد موج تازه هوش مصنوعی شد
- آنتروپیک و گوگل در آستانه قرارداد چنددهمیلیارددلاری ابری
- کنفرانس بینالمللی هوش مصنوعی در دانشگاه سیستان و بلوچستان
- چتبات سنا؛ دستیار هوشمند جدید سایت آهنبرکت با امکانات پیشرفته
- عامراندیش هوشمند : پیشرو در توسعه محصولات هوش مصنوعی ایرانی
- تراشه M5 اپل
- برگزاری دومین کنفرانس بینالمللی پیشرفتها در هوش مصنوعی و علم داده در بوشهر
- گوگل با رونمایی از Gemini 3، پیشتازی در هوش مصنوعی را هدف گرفته است
- سمعکهای هوشمند مبتنی بر هوش مصنوعی؛ تجربهای تازه از شنیدن که زندگی را تغییر میدهد
- تغییر مسیر بزرگ اروپا در قوانین فناوری؛ کمیسیون اروپا بهدنبال بازطراحی مقررات هوش مصنوعی و حریم خصوصی
- کمک MIT به مدارس برای هدایت دانشآموزان در دنیای پیچیده هوش مصنوعی
- استارتاپ هوش مصنوعی Anthropic با خرید Bun زیرساخت کدنویسی هوشمندش را تقویت کرد
- هوش مصنوعی در آموزش جهانی: فرصتها، چالشها و چهار ابتکار موفق