پژوهشگران با بررسی ۲۵ مدل زبانی بزرگ، الگویی در فعالیت درونی برخی مدل‌ها شناسایی کرده‌اند که با حالت‌های شبیه درد ارتباط دارد؛ با این حال، نتایج این مطالعه به م

اوپن ای آی از تشکیل یک گروه مشورتی مستقل جدید خبر داد که در «مؤسسه مطالعات پیشرفته» در پرینستونِ نیوجرسی مستقر خواهد بود.

وزیر علوم، تحقیقات و فناوری، در رأس هیأتی از جمهوری اسلامی ایران، به‌منظور شرکت در چهارمین مجمع جهانی یونسکو درباره اخلاق هوش مصنوعی (GFEAI ۲۰۲۶) عازم ریاض، پایتخت عربستان سعودی شده است.

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

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

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

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

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

مهر/ ۲۵ ریاضیدان برتر جهان نامه ای سرگشاده منتشر و استدلال کردند آزمایشگاه های هوش مصنوعی به دلیل رقابت با یکدیگر برای حل چالش های مشهور این حوزه، کار و دستاوردهای فکری آنها را تهدید می کنند. همه امضاکنندگان برندگان مدال فیلدز هستند که این جایزه معادل نوبل ریاضیات تلقی می شود. تریستان باک مستر پروفس

۲۵ ریاضیدان برجسته جهان در نامه‌ای نسبت به تأثیر هوش مصنوعی بر پژوهش‌های ریاضی هشدار دادند.

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

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

شرکت OpenAI پس از بالا گرفتن اعتراض ریاضی‌دانان و اتهام این شرکت به مصادره دستاوردهای علمی، از حمایت مالی رویداد علمی «Caltech Mathathon» کناره‌گیری کرد؛ رویدادی که قرار بود نقش هوش مصنوعی در پیشرفت علم ریاضیات را بررسی کند.

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

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

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

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

OpenAI اعلام کرد که یکی از مسائل جایزه یک میلیون دلاری هزاره را با استفاده از یک مدل منتشرنشده حل کرده است. این مدل با هدایت حدود ۱۰,۰۰۰ عامل هوش مصنوعی، در مدت

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

تهران- ایرنا- غلامرضا رکنی لموکی؛ استاد دانشکده ریاضی، آمار و علوم کامپیوتر دانشگاه تهران در مقاله‌ای پژوهشی ضمن بررسی رابطه میان باور، علم، ریاضیات و هوش مصنوعی، مواردی همچون نقش ساختارهای فکری، فرهنگی و تاریخی در شکل‌گیری مکاتب علمی و برداشت انسان از مفاهیمی مانند ریاضیات، هوشمندی و هوش مصنوعی را …

ایسنا/ شرکت «اوپن‌ای‌آی» مدعی شد که یک مسئله ریاضی‌ را پس از ۱۰۰ سال حل کرده است، اما این ادعا به واکنش از سوی پژوهشگران رقیب انجامید که گفتند آنها نیز در حال حل همین مسئله بوده‌اند. شرکت «اوپن‌ای‌آی» (OpenAI) گفت پس از صرف میلیون‌ها دلار روی پروژه مبتنی بر هوش مصنوعی، یک مسئله بزرگ ریاضی را که نزدی

شرکت سازنده چت‌جی‌پی‌تی سراغ یکی از سخت‌ترین معما‌های ریاضی رفت؛ نتیجه، دنیای علم را غافلگیر کرد.

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

شرکت هوش مصنوعی OpenAI راه حل یک معمای ریاضی ۲۰۰ ساله را تنها در ۸۸ ساعت کشف کرد.

زومیت/ هوش مصنوعی آنتروپیک تنها در ۱۱ روز موفق به فرموله کردن «قضیه آخر فرما» شد. کلود یک اثبات ۱۳ میلیون خطی و بررسی‌شده توسط رایانه برای این قضیه مشهور تولید کرده است که دستاوردی مهم برای دنیای ریاضیات به شمار می‌رود. به نقل از نیچر، قضیه آخر فرما، یکی از مشهورترین نتایج ریاضی نیم‌قرن اخیر، برای ن

شرکت اوپن‌ای‌آی با استفاده از مدل قدرتمند GPT-6 Astra و 10 هزار عامل هوش مصنوعی، موفق به حل مسئله ریاضی «ناویه استوکس» شد؛ دستاوردی که پس از یک قرن، دنیای ریاضیات را تکان داد اما جنجال‌های بزرگی درباره کپی‌برداری از داده‌های پژوهشگران برانگیخت.

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

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

اوپن‌ای‌آی مدعی شد مسئله‌ای ریاضی را پس از یک قرن حل کرده است، اما پژوهشگران رقیب با بیان اینکه خودشان نیز در حال کار بر روی این مسئله بوده‌اند، به این ادعا...

این ادعا به سرعت جنجال‌برانگیز شد. «تریستان باکمستر»(Tristan Buckmaster) ریاضی‌دان و استاد «دانشگاه نیویورک» گفت اوپن‌ای‌آی پس از شنیدن این که او و یکی دیگر...

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

OpenAI اعلام کرد سیستم داخلی این شرکت توانسته برای مسئله «وجود و همواری» ناویر-استوکس، یکی از هفت مسئله جایزه هزاره، راه‌حل ارائه کند.

شفقنا- شرکت OpenAI ادعا می‌کند که یک مسئله ریاضی‌ را که دهه‌ها بشر را سردرگم کرده بود، حل کرده است. به گزارش سرویس ترجمه شفقنا؛ گاردین نوشت: شرکت OpenAI ادعا می‌کند که پس از صرف میلیون‌ها دلار برای این تلاش مبتنی بر هوش مصنوعی، یک مسئله بزرگ ریاضی را که نزدیک به یک قرن انسان [ ]

هوش مصنوعی آنتروپیک تنها در ۱۱ روز موفق به فرموله کردن «قضیه آخر فرما» شد.

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

دنیای اقتصاد: شرکت اوپن‌ای‌آی از جدیدترین مدل هوش مصنوعی خود، GPT-6 Astra رونمایی کرد؛ مدلی که به ادعای این شرکت توانایی بی‌نظیری در کدنویسی، حل مسائل ریاضی و کنترل مستقیم مرورگرها و ابزارهای کامپیوتر و در بسیاری از موارد، عملکرد بهتری از انسان‌ها دارد. به‌گزارش وایرد، این مدل به‌زودی در اختیار مشترکان …

با نزدیک شدن به ساعت برگزاری دربی ۱۰۷، مدل‌های هوش مصنوعی و تحلیلگران داده، پیش‌بینی‌های خود را از نتیجه این دیدار حساس ارائه کرده‌اند. بر اساس پیش‌بینی ریاضی یک مدل بین‌المللی، شانس پیروزی پرسپولیس ۳۸٪، تساوی حدود ۳۵٪ و شانس برد استقلال نزدیک به ۲۷٪ برآورد شده است . این در حالی است که کارشناسان فوتبال …

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

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

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

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

یک پزشک چینی با استفاده از 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) را به‌طور تحلیلی اثبات کند.

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

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

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

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

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

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

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

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

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