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

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

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

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

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

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

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

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

آخرین خبر/ آموزش محاسبه مساحت گلبرگ. به پیج اینستاگرامی «آخرین خبر» بپیوندید instagram.com/akharinkhabar

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

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

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

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

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

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

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

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

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

اگر هنگام حل یک مسئله ریاضی یا انجام محاسبات ساده در حضور دیگران دچار تپش قلب، تعریق یا فراموشی ناگهانی می‌شوید، احتمال دارد با «اضطراب ریاضی» روبه‌رو باشید؛...

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

در گروه بلژیک هنوز همه‌چیز از نظر ریاضی ممکن است و همین مسئله باعث شده بازی همزمان مصر و ایران، به یکی از دغدغه‌های اصلی شیاطین سرخ پیش از دیدار با نیوزیلند تبدیل شود.

در گروه بلژیک هنوز همه‌چیز از نظر ریاضی ممکن است و همین مسئله باعث شده بازی همزمان مصر و ایران، به یکی از دغدغه‌های اصلی شیاطین سرخ پیش از دیدار با نیوزیلند تبدیل شود.

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

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

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