مراسم تجلیل از مدال‌آوران المپیادهای علمی جهان ۲۰۲۶ در رشته‌های ریاضی، فیزیک، شیمی، زیست‌شناسی، اقتصاد، هوش مصنوعی، جغرافیا و کامپیوتر به همت معاونت امور جوا...

مراسم تجلیل از مدال‌آوران المپیاد‌های علمی جهانی ۲۰۲۶ در رشته‌های ریاضی، فیزیک، شیمی، زیست‌شناسی، اقتصاد، هوش مصنوعی، جغرافیا و کامپیوتر با حضور علیرضا رحیمی...

برنا - گروه اجتماعی؛ مراسم تجلیل از مدال‌آوران المپیاد‌های علمی جهانی ۲۰۲۶ در رشته‌های ریاضی، فیزیک، شیمی، زیست‌شناسی، اقتصاد، هوش مصنوعی، جغرافیا و کامپیوتر...

مدال آوران المپیاد ریاضی و هوش مصنوعی در برنامه بدون تعارف حرف های ناگفته شان را بیان کردند.

یک پزشک چینی با استفاده از ChatGPT با حل یک مسئله پیچیده ریاضی که ریاضیدانان دو دهه است نتوانسته‌اند آن را حل کنند، دنیای ریاضی را متحیر کرد.

ریاضی‌دانان با استفاده از مدل‌های هوش مصنوعی تلاش کرده بودند حدس کرویزیکس (Crouzeix’s Conjecture) را حل کنند، اما مدل‌ها در پاسخ می‌گفتند این مسئله قبلاً حل شده است.

به گزارش صبا، این کارگردان سینما در این متن نوشت: «موفقیت نوجوانان ایرانی در رقابت‌های جهانی علمی و حضور آنان در سومین المپیاد جهانی هوش مصنوعی ۲۰۲۶ بار دیگر پرسشی مهم را پیش روی ایران قرار داده است: کشوری که می‌تواند استعدادهایی در سطح رقابت‌های جهانی ریاضی، رایانه و هوش مصنوعی پرورش دهد، تا چه

OpenAI با استفاده از مدل پیشرفته و منتشرنشده خود، Astra، موفق به حل ۱۰ مسئله ریاضی شده است که برخی از آنها دهه ها ذهن ریاضیدانان را به خود مشغول کرده بودند. این

OpenAI با استفاده از مدل پیشرفته و منتشرنشده خود، Astra، موفق به حل ۱۰ مسئله ریاضی شده است که برخی از آنها دهه ها ذهن ریاضیدانان را به خود مشغول کرده بودند. این

شفقنا رسانه- امروز سالروز درگذشت جان فون نویمان، ریاضی‌دان و دانشمند علوم کامپیوتر مجارستانی-آمریکایی، است؛ شخصیتی که بسیاری از متخصصان از او با عنوان پدر معماری کامپیوتر مدرن یاد می‌کنند. به گزارش شفقنا رسانه از زومیت، جان فون نویمان، ریاضی‌دان و دانشمند علوم کامپیوتر مجارستانی-آمریکایی در ۲۸ دسامبر …

جیکوب سیمرمن، ریاضی‌دان برجسته و برنده‌ی مدال فیلدز، کرسی دانشگاهی خود را برای کار روی ایمنی هوش مصنوعی رها کرد.

هوش مصنوعی جدید Astra موفق به حل ۱۰ مسئله‌ی ریاضی پیچیده شده است که برخی از آن‌ها برای دهه‌ها بدون پاسخ باقی مانده بودند.

به گفته OpenAI، مدل Astra اثبات‌های خود را با هزینه محاسباتی تقریبی دو هزار دلار، بر اساس نرخ Sol API، تولید کرده و برای تمامی نتایج، گواهی‌های Lean ارائه داده است؛ گواهی‌هایی که امکان تأیید مستقل اثبات‌ها را از طریق کامپایلر Lean، بدون نیاز به اعتماد به مدل یا توسعه‌دهندگان آن، فراهم می‌کنند.

رکنا: هوش مصنوعی 10 مسئله مهم ریاضی و کوانتوم را حل کرد.

توسعه‌دهندگان اوپن‌ای‌آی به دستاورد علمی بزرگی در زمینه‌ی ریاضیات و علوم کامپیوتر دست یافته‌اند. هوش مصنوعی جدید اوپن‌ای‌آی به نام Astra که نسخه‌ی بعدی مدل‌ه...

توسعه‌دهندگان اوپن‌ای‌آی به دستاورد علمی بزرگی در زمینه‌ی ریاضیات و علوم کامپیوتر دست یافته‌اند. هوش مصنوعی جدید اوپن‌ای‌آی به نام Astra که نسخه‌ی بعدی مدل‌های بزرگ این حوزه به شمار می‌رود، موفق شد ۱۰ مسئله‌ی ریاضی را که حداقل به مدت یک دهه هیچ پیشرفتی در حل آن‌ها حاصل نشده بود، با موفقیت حل کند.

توسعه‌دهندگان اوپن‌ای‌آی به دستاورد علمی بزرگی در زمینه‌ی ریاضیات و علوم کامپیوتر دست یافته‌اند. هوش مصنوعی جدید اوپن‌ای‌آی به نام Astra که نسخه‌ی بعدی مدل‌های بزرگ این حوزه به شمار می‌رود، موفق شد ۱۰ مسئله‌ی ریاضی را که حداقل به مدت یک دهه هیچ پیشرفتی در حل آن‌ها حاصل نشده بود، با موفقیت حل کند.

هوش مصنوعی جدید Astra موفق به حل ۱۰ مسئله‌ی ریاضی پیچیده شده است که برخی از آن‌ها برای دهه‌ها بدون پاسخ باقی مانده بودند.

مدل هوش مصنوعی Astra از توسعه‌دهندگان OpenAI موفق شد ۱۰ مسئله دشوار ریاضی و کوانتوم را که حداقل یک دهه بدون پیشرفت مانده بودند، حل کند.

شفقنا – یک ریاضیدان شرکت آنتروپیک با کمک مدل هوش مصنوعی Claude Fable ۵ موفق شده است برای «حدس ژاکوبین» (Jacobian Conjecture)، یکی از مشهورترین مسائل حل‌نشده ریاضیات، مثال نقضی پیدا کند؛ کشفی که نشان می‌دهد این حدس در ابعاد بالاتر از دو درست نیست و پس از ۸۷ سال مسیر پژوهش درباره آن را [ ]

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

همه مشاغل تحت تاثیر هوش مصنوعی هستند و خواهند بود، اما کدام دسته از مشاغل زودتر و دیرتر توسط هوش مصنوعی کنار زده می‌شوند؟ یک بررسی توسط مایکروسافت تاثیرپذیری مشاغل گوناگون از هوش مصنوعی را نشان می‌دهد. این مطالعه که بر اساس تحلیل ۲۰۰ هزار مکالمه ناشناس با کاربران کوپایلت انجام شده، نشان می‌دهد هوش مصنوعی …

دانشجوی دکترا با کمک هوش مصنوعی GPT-5.6 Sol مدعی حل ۶ مسئله‌ی باز اردوش در ۵ روز شد.

زومیت/ دانشجوی دکترا با کمک هوش مصنوعی GPT-5.6 Sol مدعی حل ۶ مسئله‌ی باز اردوش در ۵ روز شد. یک دانشجوی دکترا ادعا کرد که با استفاده از هوش مصنوعی GPT-5.6 Sol و ابزار Codex موفق شد طی تنها ۵ روز، ۶ مسئله‌ی باز از سری مسائل پال اردوش را حل کند. این ادعا هنوز در مجامع دانشگاهی داوری و تأیید نشده؛ اما ب

دو مدل هوش مصنوعی متعلق به شرکت‌های چینی هواوی و شیائوهونگشو در المپیاد جهانی ریاضی (IMO) سال ۲۰۲۶ به نمره‌ی کامل دست یافتند. این سیستم‌ها توانستند برای اولین‌بار تمامی مسائل را به‌طور مستقل و تحت شرایط رسمی داوری حل کنند و رکورد مهمی را به ثبت برسانند.

اقتصادنیوز: برنده جایزه نوبل فیزیک با هوش مصنوعی آنتروپیک توانست فرضیه ریاضی دوازده‌ساله گذار تراکم فیزیکی (معادله a+b=1) را به‌طور تحلیلی اثبات کند.

اقتصاد ایران: برنده جایزه نوبل فیزیک با هوش مصنوعی آنتروپیک توانست فرضیه ریاضی دوازده ساله گذار تراکم فیزیکی (معادله a+b=1) را به طور تحلیلی اثبات کند.

معاون علمی، فناوری و اقتصاد دانش‌بنیان رئیس‌جمهور با تشریح رویکرد جدید این معاونت در دو سال پایانی دولت چهاردهم، از یکپارچه‌سازی سیاست‌های حمایت از زیست‌بوم نوآوری و فناوری خبر داد و گفت: از این پس همه ارکان این زیست‌ بوم بر اساس یک راهبرد واحد فعالیت خواهند کرد و حمایت‌ها نیز بر مبنای عملکرد و میزان …

گزارش AI Index 2026 دانشگاه استنفورد یکی از مهم‌ترین تناقض‌های امروز هوش مصنوعی را در چند جمله خلاصه می‌کند. مدل‌های پیشرفته می‌توانند در آزمون‌های ریاضی، برنامه‌نویسی و استدلال علمی به سطحی نزدیک یا حتی فراتر از انسان برسند، اما هنوز در برخی وظایف ساده و شهودی شکست می‌خورند؛ وظایفی که برای انسان‌ها …

پس از ۱۷ سال، ۱۲ مدل هوش مصنوعی با استفاده از احتمالات ریاضی، شانس جابه‌جایی ۱.۱ میلیون بیت‌کوین ساتوشی و احتمال فاش شدن هویت او را بررسی کرده‌اند.

شفقنا رسانه- هوش مصنوعی جمینای حالا می‌تواند خطاهای فرمول‌نویسی در گوگل Sheets را برطرف کند. این ویژگی جدید توانایی مدیریت و بررسی تقریباً همه چیز، از محاسبات پایه ریاضی گرفته تا محاسبات بسیار پیچیده را دارد. به گزارش شفقنا رسانه از دیجیاتو، گوگل انتشار به‌روزرسانی جدیدی را برای هوش مصنوعی جمینای در …

یک استاد دانشگاه گفت: با توجه به رشد ابزارهای هوش مصنوعی، پیش‌بینی می‌شود که نیاز ما به کدنویسی کمتر خواهد شد. ممکن است ریاضی‌دانان به‌جای تمرکز صرف بر مباحث...

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

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

اساتید دانشگاه در آمریکا نسبت به کاهش درک دانشجویان از ریاضی و علوم به دلیل استفاده بیش از حد از هوش مصنوعی هشدار داده‌اند.

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

برای نزدیک به ۸۰ سال، یکی از مسائل مشهور ریاضیات که توسط ریاضیدان برجسته مجارستانی، پاول اردوس مطرح شده بود، ذهن پژوهشگران را درگیر کرده بود.