🔻تحولی بسیار مهم در زمینه کاربرد هوش مصنوعی و یادگیری ماشین در ریاضیات

به استناد مقاله در حال انتشار زیر، هوش مصنوعی برای اولین بار با ترکیب چند روش حل مسئله توانست با حل ۲۷ مسئله از ۳۰ مسئله المپیاد ریاضی IMO-AG-30، امتیاز معادل مدال طلای المپیاد ریاضی را کسب کند.

عنوان مقاله: Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry

نویسندگان: Shiven Sinha، Ameya Prabhu، Ponnurangam Kumaraguru، Siddharth Bhat، Matthias Bethge

منبع: پیش‌نویس arXiv با شناسه 2404.06405
تاریخ انتشار مقاله: 9th April 2024
لینک اصل مقاله در arXive:
https://arxiv.org/abs/2404.06405

مراجع: این مقاله دارای 30 مرجع است که در انتهای آن آورده شده است.

خلاصه فارسی (977 کلمه):

این مقاله به بررسی توانایی‌های روش وو (Wu's Method) در حل مسائل هندسی المپیاد ریاضی بین‌المللی (IMO) می‌پردازد. نویسندگان ادعا می‌کنند که ترکیب روش وو با روش‌های نمادین کلاسیک مانند پایگاه‌های دادهٔ استنتاجی (DD) و ردیابی زاویه، نسبت و فاصله (AR)، می‌تواند 21 مسئله از 30 مسئله در مجموعه IMO-AG-30 را حل کند. این در حالی است که الگوریتم AlphaGeometry تنها 25 مسئله را حل کرده است. بنابراین، این ترکیب روش‌های نمادین می‌تواند سطح حل مسائل یک نقره‌ای المپیاد را رقم بزند.

علاوه بر این، روش وو 2 مسئله از 5 مسئله‌ای را که AlphaGeometry نتوانسته بود حل کند، حل می‌کند. بنابراین، با ترکیب روش وو و AlphaGeometry، این مقاله یک رکورد جدید در حل 27 مسئله از 30 مسئله در IMO-AG-30 را ثبت می‌کند که این اولین سیستم هوش مصنوعی است که از سطح حل مسائل یک طلایی المپیاد فراتر می‌رود.

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

در آزمایشات، نویسندگان دریافتند که روش وو می‌تواند 15 مسئله از 26 مسئله قابل ترجمه در IMO-AG-30 را حل کند. برخی از این مسائل توسط هیچ روش دیگری حل نشده بودند. با ترکیب روش وو و DD+AR، آنها توانستند 21 مسئله را حل کنند که تنها 4 مسئله کمتر از AlphaGeometry است.

علاوه بر این، روش وو دو مسئله از پنج مسئله‌ای را که AlphaGeometry نتوانسته بود حل کند، حل کرد. بنابراین با ترکیب روش وو و AlphaGeometry، آن‌ها رکورد جدیدی با حل 27 مسئله از 30 مسئله در IMO-AG-30 به ثبت رساندند.

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


@infinitymath

🔻سخنرانی دانشکده ریاضی دانشگاه تحصیلات تکمیلی علوم پایه زنجان:

پرفسور امیدعلی شهنی کرم زاده
" آیا ریاضیات دارای سنگ روزتا است؟ "


سه شنبه ۲۸ فروردین ساعت ۱۳
سخنرانی به صورت مجازی از طریق لینک زیر برگزار خواهد شد.

لینک ورود:

https://elearn.iasbs.ac.ir/b/drs-nhg-eqm-7u5

Username:
guest.math
Password:
xdtit06T1



@infinitymath

✅ معاونت پژوهشی دانشکده علوم ریاضی دانشگاه شهید بهشتی برگزار می‌کند.

🔹 سلسله وبینارهای پژوهش در علوم ریاضی (۵)

⭕ پیمایش مرزهای آماری

🔻سخنران: دکتر نسترن شریفیان

🔸پژوهشگر پسادکتری دانشگاه گالوی ایرلند

🗓️  سه‌شنبه، ۴ اردیبهشت ۱۴۰۳
⏰ ساعت: ۱۳ الی ۱۴

🏢مکان برگزاری: تالار دانشکده علوم ریاضی

🟢 این جلسه به‌صورت مجازی نیز پخش می‌شود.

🔗آدرس جلسه در ادوبی کانکت:
https://vc14.sbu.ac.ir/marasem-riazi

🔻شرکت برای عموم آزاد است.

@infinitymath

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

https://news.1rj.ru/str/math_olympiad_problem_solving_ch

https://news.1rj.ru/str/math_olympiad_problem_solving


#پست_موقت

@infinitymath

موشک های نسل جدید اینگونه با کمک هوش مصنوعی هدف ها را میزنند.
@infinitymath

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

♨️سمینار تخصصی گروه ریاضی محض دانشگاه تربیت مدرس

🔹سخنران: Dr. Hossein Movasati
Instituto Nacional de Matematica Pura e Aplicada (IMPA) , BRAZIL

🔹عنوان: 
Detecting Gauss-Manin and Calabi-Yau differential equations

🔹تاریخ و زمان: سه شنبه ۱۱ اردیبهشت ماه ساعت ۳:۳۰ بعد از ظهر

🔹مکان: دانشگاه تربیت مدرس، ساختمان علوم پایه، طبقه چهارم، اتاق سمینار ۳۴۰۱

🔹پیوند برخط:
connect.modares.ac.ir/math
meet.google.com/qst-ppyg-wqr


@A_TMU_MATH

@infinitymath

⭕️ فهرستی از بهترین هوش های مصنوعی

Chat GPT حلال تمام مشکلات
Oloxo حوضه ی تبلیغات
Fliki ساخت تیک تاک های خفن
Capcut ساخت ویدیو های خلاقانه
Elevenlabs تولید و ادیت صدا
Remini بالا بردن کیفیت عکس
Replit ایجاد و تولید کد
Synthesia ساخت و پردازش ویدیو
Starrytars ساخت آواتار و پروفایل
Makeitern حوضه ی کسب و کار
Copy.Al نوشتن همه چیز
Gemini


@infinitymath

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

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

🔹رویداد در دو سطح و به صورت جداگانه برای اساتید و دانشجویان طراحی و برنامه ریزی شده است.

🔹 ثبت نام در بوت‌کمپ، از ۱۹ تا ۲۵ اردیبهشت ماه از طریق وبگاه بوت‌کمپ صورت خواهد گرفت.

🔹 برای اطلاعات بیشتر و آگاهی از جزییات برنامه ها به وبگاه بوت‌کمپ به آدرس زیر مراجعه کنید.

https://conference.malayeru.ac.ir/ai2024


@AI_Bootcamp_MU

به یاد مریم میرزاخانی

مقاله ای خواندنی به قلم یان وندارک٫ همسر مریم که به تازگی در شماره جدید بولتن انجمن ریاضی آمریکا منتشر و توسط بهنام هاشمی ترجمه شده است.
با تشکر از ایشان

@infinitymath

بیست دوم اردیبهشت ماه سال ۱۳۵۶ ستاره ای متولد شد که توانست در آسمان ریاضیات ایران و جهان خوش بدرخشد و نامش برای همیشه ماندگار شود. او اولین ریاضیدان زن و اولین ریاضیدان ایرانی شد که توانست به خاطر کارهاش در هندسه و سیستم های دینامیکی، مدال فیلدز، بزرگترین جایزه جهان ریاضیات را کسب کند. در توصیف بزرگی «مریم میرزاخانی» میتوان به گفته پروفسور شهشهانی اشاره کرد که کشورمان ایران در چند سده گذشته چنین ریاضیدان بزرگی در سطح جهانی نداشته است.
زادروز «مریم» به پیشنهاد کمیته بانوان انجمن ریاضی ایران و تصویب «اتحادیه جهانی ریاضیات» به عنوان «روز زنان در ریاضیات» انتخاب شد. شایسته است این روز در تمام مدارس ایران برنامه هایی به یاد مریم و نقش او در ریاضیات برگزار شود.
این ویدئو زیبا و جذاب، نگاهی کوتاه به زندگی پر بار مریم میرزاخانی انداخته است.
یادش تا ابد مانا ....

@infinitymath

🔻عطر گل «مریم» در اردیبهشت ریاضیات
نوشته: حسن ملکی

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

@infinitymath

6⃣ «بازگشت مشعل علم به موطن خود، از محمد خوارزمی تا مریم میرزاخانی»

نوشته: دکتر بیژن ظهوری زنگنه و دکتر زهرا گویا.
مجله رشد آموزش ریاضی شماره ۱۲۷.

@infinitymath

« حجه الحق امام غیاث الدین ابوالفتح عمر بن ابراهیم خیام نیشابوری» از ستارگان قدر اول عرصه دانش و ادب ایران و جهان است. به مناسبت ۲۸ اردیبهشت٫ زادروز حکیم عمر خیام نیشابوری و روز ریاضیات فهرستی از بهترین مطالب کانال «بی نهایت» که در سال های قبل درباره خیام منتشر شده است را تقدیم میکنیم. امیدواریم مورد توجه مخاطبین همیشگی کانال قرار گیرد.

💠 گزیده ای از سخنرانی زیبای پروفسور هشترودی در برنامه مرزهای دانش با عنوان "خیام، شاعر ریاضیدان".
https://news.1rj.ru/str/infinitymath/2080

💠 چند رباعی از حکیم عمر خیام، ریاضیدان و شاعر بزرگ ایرانی با صدای احمد شاملو و آواز استاد محمدرضا شجریان.
https://news.1rj.ru/str/infinitymath/2074

💠 نگاهی به معماری آرمگاه حکیم عمر خیام
https://news.1rj.ru/str/infinitymath/2066

💠 پیش گفتار حکیم عمر خیام بر کتاب جبر و مقابله:
https://news.1rj.ru/str/infinitymath/2065

💠 نسخه خطی «رساله ای در جبر» نوشته خیام در کتابخانه ملی بریتانیا
https://news.1rj.ru/str/infinitymath/2064

💠 ده نکته که درباره خیام نمی دانستید. ( کلیپ)
https://news.1rj.ru/str/infinitymath/2061

💠 گفته های دکتر کامران وفا در مورد کارهای خیام
https://news.1rj.ru/str/infinitymath/1606


به علاوه دیدن فیلم «خیام هزار ساله» نیز را پیشنهاد میکنیم.

@infinitymath

به مناسبت ۲۸ اردیبهشت ماه
زادروز حکیم عمر خیام و روز ریاضیات

قافله سالار دانش
حکیم عمر خیام در سال ۴۶۶ به خدمت جلال الدین ملکشاه درآمد و تا پایان عمر در سایه حمایت او و وزیر با تدبیرش خواجه الملک قرار داشت که برای او سالانه ده هزار دینار مقرری برقرار نمود. ملکشاه او را در زمره ندما قرار داده و خیام در دربار وی صاحب منزلت فراوان بود. داستانی که خاقانی از برخورد بین وی و خواجه وزیر کاشانی نقل میکند به خوبی گویای این معنی است. آن داستان این چنین است: « روزی خواجه وزیر کاشانی نشسته بود. عمر خیام درآمد و گفت: ای صدر جهان٫ از وجه ده هزار دینار معاش هر سال من کهتر باقی به دیوان عالی مانده است. نایبان دیوان را اشارتی بلیغ می باید تا برسانند. خواجه گفت : تو جهت سلطان عالم چه خدمت کنی که هر سال ده هزار دینار مرسوم تو باید داد؟ عمر خیام گفت:« واعجبا! من چه خدمت کنم سلطان را؟ هزار سال آسمان و اختران را در مدار و سیه به شیب و بالا جان باید کندن٫ تا از این آسیابک دانه ای درست چون عمر خیام بیرون افتاد و از این هفت شهر پای بالا و هفت دیه سر نشیب یکی قافله سالار دانش چون من درآید. اما اگر خواهی از هر دهی در نواحی کاشان چون خواجه ده ده مرد بیرون آرم و به جای او بنشانم٫ که هر یک از عهده خواجگی بیرون آید.» خواجه از جای بشد و سر در پیش افکند٫ که جواب بس پابرجای دید. این حکایت به حضرت سلطان جلال الدین ملکشاه باز گفتند٫ گفت : بالله که عمر خیام راست گفت.

برگرفته از مقدمه کتاب «می و مینا» به کوشش علی دهباشی.
@infinitymath

درباره احوال و آثار عمر خیام
سخنرانی ارزشمند حسین معصومی همدانی در بنیاد موقوفات دکتر محمود افشار
منبع:
@qadahha

@infinitymath