امروز خیلی می‌‌شنویم که AI ها رو متهم می‌کنند به اینکه منابع خیالی و چرت و پرت گاهی ته مقالات اضافه می‌کنند، ولی ظاهرا این مشکل در قدیم هم وجود داشته، مخصوصا دهه ۹۰ میلادی در برخی رشته‌ها و گرایشات مثل
gauge theory
مقالاتی که قرار بود
to appear
ولی هیچوقت اتفاق نیفتاد.

این نتیجه هم در نظریه اعداد ظاهرا result مهمی بوده.
یه نتیجه که فقط و فقط کار انسان بوده.
https://arxiv.org/abs/2605.28781

از بین ۴۰۰، ۵۰۰ تا اثباتی که برای قضیه فیثاغورث هست می‌گن استفاده از این شکل برای اثبات یکی از ساده‌ترین اثبات‌ها است. قابل فهم برای بچه‌های کم سن و سال‌تر.
ظاهرا اثباتی بوده که چینی‌ها چند قرن قبل از فیثاغورث و دارودسته‌اش به اون رسیده بودند.

امسال جایزه تعلق گرفت به دو تا ریاضیدان، آقایان
Emmanuel Candès
و
Camillo De Lellis
به خاطر

for their breakthrough contributions to the use of deep techniques from mathematical analysis to rigorously understand applied problems in information theory, signal processing and statistics on the one hand, and to the study of singularities in geometric measure theory and fluid dynamics on the other

جناب Candès همون ریاضیدان معروف فرانسوی هستند که اون چند تا مقاله خیلی معروف رو در مورد
Compressive sensing
نوشتند و تائو سر اون جریانات قطع شدن گرنت و اینا بهش اشاره کرد.
مقاله ای در چند حوزه از ریاضیات مثل آمار و آنالیز و برنامه ریزی خطی و... که یکی از کاربردهاش توی کاهش زمان MRI بوده. قبلا انجام MRI خیلی دنگ و فنگ داشته. زمان زیاد برای انجام اون، به بیمار می گفتند تکون نخور، نفس نکش و... این دو نفر(تائو و Candès) کاری کردند که با دیتاهای کمتری بشه همون اطلاعات رو استخراج کرد.
https://www.shawprize.org/en/prizes-laureates/mathematical-sciences/year-of-laureates/2026-mathematical-sciences

کار کردن با Word اینجوریه که طرف یه
footnote
به اون اضافه کرده اومده نوشته
I am thrilled to announce...
از بقیه هم بابت کمک‌شون تشکر کرده!

یکی نوشته با توجه به اتفاقاتی که در حوزه AI و... افتاده مصاحبه برنامه نویس ها در ماه های پیش رو اینجوری می شه:
۱. بازی Wordle رو انجام بده(احتمالا برای سنجش توانایی حل مساله و خلاقیت)
۲. کامپیوترت رو نشونم بده(برای دیدن نظم و ترتیب فایل ها احتمالا)
۳. برو تو Monkeytype تایپ کن ببینم.
۴. کانال محبوب یوتیوب ات چیه؟

حالا فارغ از اینکه نظرمون نسبت به این تیپ سوال ها چی باشه، داره اشاره می کنه به تغییراتی که در اون حوزه اتفاق افتاده.

چند وقت پیش یه ریاضیدانی پرسیده بود اگه یه دانشجو برای مصاحبه دکتری بیاد و بگه با AI فلان مساله رو حل کردم، چند تا از استادها این رو براش یه امتیاز مثبت می دونند؟ اینکه ذهن ها و تفکرات با تغییرات سریع دنیای اطراف تغییر کرده یا نه؟

این رو قبلا دیده بودم و دیدم دوباره یکی معرفی کرده. درباره اویلر و کارهاش. سه بخش داره: زندگی نامه اش، قضیه هاش و اثبات های پر از جزئیاتش.
ارائه دهنده سعی می کنه ارائه جذابی هم داشته باشه و شوخی های جالبی می کنه. مثلا اشاره اش به جابه جایی قبر اویلر.
https://youtu.be/HitvLMXrPe0?is=HtCuZXBYDMBwZJ0s

اون مساله که حل شده، مساله مهمی بوده و می گن که حل اون تحسین برانگیزه، در دوره ای که AI ها دارند پشت هم مساله حل می کنند.
نمودار، توانایی و مهارت بازیکن های بازی Go رو نشون می ده در طول زمان.
می گن بعد از اون ماجرای AlphaGo ظاهرا مهارت بازیکن ها هم بیشتر شده.

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

From today, science is dead. Or maybe not!

Some reflections on how AI is changing the very practice of research or any creative endeavour.

🔗 Read more here.

----------------------------------------------
@sitpor  |  sitpor.org
instagram.com/sitpor_media

ظاهرا توی هواپیما بوده دیده یکی برای یه اثبات ساده مربوط به استقرا از ChatGPT استفاده می کنه!

یه گروهی اومدند یکی از بزرگ ترین
automated formalization
ها رو تا این تاریخ انجام دادند.
حدود ۲۵ تا کتاب در حوزه های مختلف.
حدود 500k خط کد.
بیشترشون دانشجوی PhD ریاضی بودند که مشارکت کردند در این کار.
می گن الان LLMها دارند تند تند اثبات ارائه می کنند و یه راه برای بررسی اونا
Proof Assistant
ها هستند. ولی در سطح پژوهشی gap زیادی وجود داره و ما تمرکزمون رو گذاشتیم روی کتاب ها.
ظاهرا منابع اصلی شون همون oct های MIT بوده.
https://github.com/facebookresearch/atlas-lean/

۹۰ سالگی این مقاله است...

حالا همیشه گفتیم این جور پیش بینی‌ها رو باید با احتیاط بهشون نگاه کرد. ولی وقتی تیموتی گاورز چیزی می‌گه، نمی‌شه در نظر نگرفت.
جناب گاورز گفته: تا ۲۰۹۹ کامپیوترها از انسان جلو می‌زنند. یعنی اون جنبه‌های خلاقانه‌ای که همه می‌گن فقط و فقط کار انسانه، اونا هم از پس‌اش بر میاند.
می‌گه: یه دوره طلایی کوتاه مدت داریم که تفکر اصیل و ایده‌پردازی دست انسانه و جنبه‌های تکنیکی کار با کامپیوتر.
ولی گفته: این دوره هم مثل همه دوره‌ها است و تموم می‌شه.

می‌گه: افرادی که می‌گویند "تا وقتی نتوانی چیزی را برای مادربزرگت توضیح دهی، واقعا آن را نفهمیده‌ای" یا حداقل یک مادربزرگ زنده دارند، یا خودشان مفهوم این ضرب‌المثل را نفهمیده‌اند.

در دوره AIها حتی خود میم‌ها هم عوض شدند.

The Last of Us!

این یکی هم...

می‌گن چند سال دیگه با این برگه‌ها میان دم خونه‌ها!

شعار ریاضیات بدون اصل انتخاب:
اگه نمی‌تونی تصمیم بگیری کدوم انگشت رو انتخاب کنی، کل دست رو بردار.

این کانال
Data Is Beautiful
هم ویدئوهای جذابی داره.
این عکس‌ها از ویدئویی هست به اسم
kids’ dream jobs
در آمریکا از ۱۹۲۰ تا ۲۰۲۶.
ظاهرا بچه‌ها تحت تاثیر اتفاقات زمان خودشون هستند و تحت تاثیر رسانه‌ها.