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

ریاضیدان ترنس تائو درباره ChatGPT نظر می‌دهد

ترنس تائو، ریاضیدان استرالیایی-آمریکایی با مشخصات چینی و برنده جایزه فیلد، به تازگی اعلام کرده است که تصمیم گرفته است ابزارهای هوش مصنوعی را به روند کاری خودش اضافه کند، از جمله GPT-4 و دیگران. در ۱۰ آوریل، تائو در شبکه اجتماعی غیرمتمرکز Mastodon نوشت: "امروز اولین روز بود که می‌توانستم با اطمینان بگویم که GPT-4 موجب صرفه‌جویی قابل توجهی در کار پرخاشگر من شده است. من در حال حاضر منتظر یکپارچگی AI با ابزارهای نرم‌افزاری مختلف هستم، به طوری که حتی مرحله برش و الصاق هم می‌تواند حذف شود."

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

تائو همچنین نکات کلیدی ChatGPT در حل مسائل ریاضی را کشف کرده است، که می‌تواند تلفظ پیشنهادی اسامی مختلف در زبان‌های مختلف را به صورتی که نیاز به دانش فونتیک ندارد، توصیف کند. علاوه بر این، می‌توان از ChatGPT خواست تا یک پشته از مراجع به دست آمده از MathSciNet را تبدیل به فرمت .\bibitems در محیط مراجع LaTeX کند.

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

ترنس تائو همچنین برخی موردهای کاربردی کوچک دیگر ChatGPT را که به تازگی کشف کرده است، منتشر کرده است. "اولاً، بسیار خوب در تجزیه سند برای قالب برنامه‌نویسی (در این مورد API برای جستجوی arXiv) عمل می‌کند و سپس پرس‌وجوی به درستی قالب‌بندی شده را برای آن کد بازمی‌گرداند (و در نهایت چندین کد پایتون کارآمد برای فراخوانی این API به صورتی که درخواست کرده‌ام، ارائه داد، اگرچه باید بسته‌ای را به صورت دستی نصب کنم تا اجرا شود)."

"ثانیاً (و در اینجا تصویر نشان داده نشده است)، از آن خواستم تا چند سؤالی که یک دانشجوی باهوش ممکن است در کلاس جبر خطی کارشناسی پرسیده شود (برای که چند موضوع نمونه ارائه کرده بودم)، ارائه دهد و چند مثال خوبی را ارائه کرد که ایده‌هایی برای جهت‌گیری‌های ممکن برای دوره و همچنین سؤالات ممکن برای تکلیف ارائه داد."

"بطور کلی، من در حال یافتن اینکه در حالی که این ابزارهای هوش مصنوعی به طور مستقیم به من در وظایف اصلی مانند تلاش برای حل یک مسئله ریاضی نحوه‌ای کمک نمی‌کنند، برای انواع گوناگونی از وظایف جانبی (اما همچنان مربوط به کار) بسیار مفید هستند (اگرچه بعضی اوقات با بعضی تنظیمات دستی پس از آن)."
@harmoniclib

اگر فرد مطلعی در بین شما عزیزان هست که مایل می‌باشد با هم یک گفتگوی علمی( این گفتگو را در کانال منتشر می کنیم) در زمینه‌ی کاربردهای chatgpt در ریاضیات ، داشته باشیم،
لطفا پیام دهد.
👇👇👇
@meisami_mah

مراحل خلاقانه ساخت یک طرح مجرد از یک موجود طبیعی
ایده‌ای بسیار عالی برای طراحی نماد یا لوگو
@harmoniclib

The 1st KMS Workshop on Applied Mathematics (KMSAM2023) will be held virtually on May 07-09, 2023, with the main scope of helping to advance scientific research within the broad field of applied mathematics. This workshop will focus on major trends and challenges in "Dynamical Systems" and "Geometrical and Topological Data Analysis", presenting works aiming at identifying new directions of research. We hope the workshop will provide a unique opportunity for in-depth technical discussions and the exchange of ideas in all areas involving mathematical and computational sciences.

https://www.kurdmathsoc.org/1st-kms-workshop

اولین کارگاه انجمن ریاضی کرد در ضمینە ریاضیات کاربردی با همکاری دانشگاه باکینگهام انگلستان ودانشگاههای اقلیم کردستان عراق در روزهای ٧-٩ ماه می برگذار میشود. برای ثبت نام بە سایت انجمن مراجعە کنید.
@harmoniclib

قضیه‌ی ابوالوفا بوزجانی
@harmoniclib

از کانال دکتر حسین زارع

TA in Mathematics:
از یه واقعیت دردناک پرده بردارم؟

اساتید رشته‌ی ریاضی هم دارن مهاجرت می‌کنن.

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

توی همین سه‌چهار روز اخیر، خبر مهاجرت چندتای دیگه از اساتید ریاضی رو شنیدم.
https://t.iss.one/TAinMathematics

کارگاه آنالیز و توپولوژی

👇👇👇👇

https://t.iss.one/analysistopology

تجزیه‌ی فوریه یک پنج ضلعی
@harmoniclib

نمودار مکان حرکت خودشید در ماه‌های مختلف

شما هیچ مسئولیتی در قبال به دست آوردن هر آن چه دیگران از شما انتظار دارند، ندارید‌. من هیچ مسئولیتی ندارم تا شبیه کسی باشم که آن‌ها از من انتظار دارند.
این اشتباه آن‌هاست، نه شکست من.

ریچارد فاینمن
فیزیکدان معروف
@harmoniclib

اگر در سر سودای بردن جایزه‌ی فیلدز ریاضیات و یا نوبل را دارید حتما این فیلم را ببینید.
@harmoniclib

شکل گسترده چند چندوجهی
@harmoniclib