مدل‌ها
خالق ChatGPT راهکار حل صدها مسئله ریاضی را منتشر کرد؛ جنجال دوباره هوش مصنوعی
OpenAI مجموعه‌ای از مقالات ریاضی را منتشر کرد که به گفته‌ی گروه مشاوره‌ی مستقل، شامل حل «صدها» پرسش است.
پژوهش
هوش مصنوعی OpenAI راه‌حل صدها مسئله باز ریاضی را منتشر کرد
OpenAI با انتشار ۷۲۲ دستنوشته، راه‌حل‌هایی برای صدها مسئله حل‌نشده ریاضی ارائه کرده؛ رویدادی که جامعه علمی را شگفت‌زده و نگران کرده است.
اخبار
ابتکار MIT for America؛ گامی بلند برای آموزش STEM و هوش مصنوعی در آمریکا
مؤسسه فناوری ماساچوست با ابتکار MIT for America به دنبال تقویت آموزش STEM از مهدکودک تا کالج محلی است؛ با تأکید بر ریاضی، ساخت و استفاده سازنده از هوش مصنوعی.
پژوهش
هوش مصنوعی به پیشرفت تازه‌ای در حل مسائل باز ریاضی دست یافت
OpenAI نتایج جدیدی از مدل پیشرفته خود برای حل مسائل باز ریاضی منتشر کرده و اثبات‌های صوری همراه با جزئیات پژوهش را در گیت‌هاب به اشتراک گذاشته است.
پژوهش
شکل ریاضی معروف «کلاه اسمیت» راز تازه‌ای از فیزیک نور فاش کرد
پژوهشگران دانشگاه توکیو با الهام از شکل ریاضی «کلاه اسمیت»، الگوهای کایرال غیرمنتظره‌ای در نور کشف کردند که می‌تواند به فناوری‌های نوری پیشرفته منجر شود.
پژوهش
هوش مصنوعی OpenAI راهکاری برای مسئله هزاره ناویر-استوکس ارائه کرد
OpenAI ادعا کرده با هوش مصنوعی راهحلی برای مسئله ناویر-استوکس یافته و آن را با اثبات صوری در زبان Lean منتشر کرده است. این خبر توجه جامعه ریاضیات را برانگیخته است.
پژوهش
هوش مصنوعی گره‌های ریاضی را باز می‌کند؛ دستاورد OpenAI
OpenAI نتایج جدیدی در حل مسائل باز ریاضیات و علوم نظری رایانه منتشر کرد. نگاهی به پیشرفت‌های Geometry، رمزنگاری و پیچیدگی.
پژوهش
هوش مصنوعی OpenAI یک حدس مهم ۸۰ ساله در هندسه گسسته را رد کرد
مدل جدید هوش مصنوعی OpenAI با رد یک حدس مرکزی در هندسه گسسته، مسئله فاصله واحد را پس از ۸۰ سال حل کرد و نقطه عطفی در ریاضیات مبتنی بر هوش مصنوعی رقم زد.
آموزش
هوش مصنوعی در آموزش ریاضی و علوم: رابط‌های تعاملی و بصری
ChatGPT با اضافه‌کردن توضیحات بصری تعاملی، راهکارهای نوینی برای یادگیری ریاضیات و علوم ارائه می‌دهد؛ دانش‌آموزان می‌توانند فرمول‌ها و مفاهیم را به صورت زنده بررسی کنند.
پژوهش
OpenAI در چالش First Proof: پیشرفت‌های هوش مصنوعی در حل مسائل ریاضی
OpenAI در حال انتشار تلاش‌های مدل‌های هوش مصنوعی برای حل چالش‌های ریاضی First Proof است. این مقاله به بررسی روش‌های نمونه‌سازی و سعی‌های شواهد در سطح پژوهشی می‌ایستد.