دوره ۱۵ ام المپیاد ریاضی دختران اروپا در فرانسه برگزار شد. مسابقه ای که فقط دخترها می تونند شرکت کنند(البته از سراسر دنیا)
طبق انتظار چین اول شد(تنها دختری هم که نمره کامل گرفته چینی بوده)، رومانی دوم، ترکیه سوم و تونس هم آخر(شصت و هفتم)
سخت ترین سوال، سوال ۶ بوده.
لینک سوالات

امروز ۱۰۶ امین روز سالمرگ رامانوجان هست. ریاضیدان ها تلاش هایی کردند که بفهمد چطور به اون نتایج و روابط عجیب و غریب می رسیده(مثلا اینجا)
یه سری دلایل میارند برای نبوغ عجیب و غریبش که اینا هستند:
۱. آموزش رسمی ندیده بود و خودش کم و بیش خودخوان از روی کتابی می خونده که اونم فقط پر از فرمول بوده(نتایج بدون اثبات)...مسیر عجیب آموزشی اش که می تونه برای دیگران اثر منفی بذاره برای رامانوجان خوب شده.
۲.تمرکز زیاد روی ریاضیات، قدرت محاسبات بالا و قدرت شهودی غیر عادی
۳. حوزه ای که کار می کرده(سری ها، توابع و...) حوزه هایی هستند که به شدت به الگو وابسته هستند. کسانی که شهود بالا دارند در این حوزه ها موفق ترند.
https://www.quantamagazine.org/srinivasa-ramanujan-was-a-genius-math-is-still-catching-up-20241021/

جناب
Geoffrey Hinton
پدرخوانده AI و برنده جایزه تورینگ ۲۰۱۸ و نوبل فیزیک ۲۰۲۴ مصاحبه کردند و گفتند:
ریاضیات یه سیستم بسته است و هوش مصنوعی می تونه مثل یه game با اون برخورد کنه. خودش مساله طرح کنه، اثبات ها رو بررسی کنه، از کارهاش چیز یاد بگیره
without relying on human examples
استاد می گه تا ده سال بعد AI بهتر از ریاضیدان ها خواهد شد.
این عبارت  "closed system" و اون پیش بینی اش("ده سال") موافق ها و مخالف هایی رو برانگیخته.

آقای
Melvyn Nathanson
که یه ریاضیدان برجسته هستند و زمینه کاری شون
Combinatorial and Additive Number Theory
و چندین مقاله مشترک هم با پال اردوش دارند، دو تا سوال در زمینه
semigroup
چند وقت پیش مطرح می کنه و حالا
Aristotle
هر دو تا سوال رو حل کرده و توی Lean هم verified کرده. خود آقای
Nathanson
هم مقاله رو دیده و گفته اثبات
correct, simple and elegant
هست.
https://arxiv.org/abs/2604.18869

امروز تولد لودویگ ویتگنشتاین هست. در سال ۱۹۲۰ بعد از اینکه پنج بار تلاش کرد کتاب تازه اش یعنی "رساله منطقی-فلسفی" رو چاپ کنه و شکست خورد در یه نامه به راسل اینطوری می نویسه(احتمالا خودش رو تسکین می داده):
یا کار من اثری در بالاترین حد است یا این چنین نیست. در حالت دوم مایل به انتشار آن نیستم. در حالت اول دیگر چه اهمیتی دارد که چه زمانی چاپ شود؟ الان، بیست سال بعد یا صد سال بعد.

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

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

"Fermat said he had a proof"
طعنه مودبانه وایلز به فرما با گفتن کلمه said.
فرما گفته بود: اثباتی که برای این قضیه دارم تو حاشیه جا نمی شه. امروز می دونیم که لیست نظریه هایی که برای اثبات به کار رفته هم در حاشیه جا نمی شده!

تیموتی گاورز یه بار گفته بود:
من همیشه کلی ایمیل می گیرم از ملت، که آقا من فرضیه ریمان رو حل کردم. حدس گلدباخ رو حل کردم. P versus NP رو حل کردم. یه اثبات ساده برای قضیه آخر فرما پیدا کردم.
می گه یه بار یه ایمیل اینطوری گرفتم اولش اینجوری شروع می شد:
Dear Tao
بعد می گه من توی CC ایمیل هم نبودم!
معلومه طرف فله ای ایمیل می زده به ریاضیدان های درجه یک که من فلان چیز خفن رو اثبات کردم.

دوباره یه مساله حل کرده.
GPT-5.5 Pro
توی چند روز گذشته ۱۰، ۱۲ تا مساله رو حل کرده(بعضی ها فعلا در حد ادعا است و بررسی کامل نشده ولی احتمالا درست باشند)
غیر از مسائل متفرقه که به کمک GPT و بقیه حل می کنند الان توجه خیلی زیادی رو مجموعه مسائل اردوش هست.
دیگه چیزی در این رابطه نمی ذارم، مگر اینکه اون اتفاق خیلی خاص یعنی
Move 37
رخ بده.
آخرین وضعیت و تاریخچه کار رو می تونید از اینجا دنبال کنید.

ظاهرا یکی از اتهاماتی که دانشجویان اون زمان به مرحوم امیرانتظام زده بودند این بود که چرا در نامه ها تو رو
Dear
خطاب کردند!(احتمالا اگر زن بود با اتهامات دیگری هم روبرو می شد)
"اینگیلیسی دانی" دانشجوی پنجاه سال پیش از "اینگیلیسی دانی" دانشجوی دویست سال پیش، دویست سال عقب تر بود.
دست کم آمارهای این چند سال نشون می ده به هر ضرب و زوری بوده خودشون رو به سطح بالایی رسوندند.
مک مولن استاد مرحوم میرزاخانی در موردش گفته بود: سوالات رو انگلیسی می پرسید و نوت ها رو فارسی بر می داشت.

ضرب در اعداد طبیعی جابه جاییه دیگه!
با استقرا و استفاده از
peano's axioms
اثبات می شه.
من اگر بودم نمره رو می دادم بهش.

یه فامیلی داشتیم مهندسی کامپیوتر می خوند و در تمام دوران تحصیل از ریاضی بدش می اومد. ارشد که قبول شد گفت: پایان نامه رو طوری بر می دارم که هیچ ربطی به ریاضی نداشته باشه.
موضوعش فکر کنم درباره حافظه کامپیوتر و cache و این چیزها بود.اواخر دوره ارشد زنگ زد گفت: فکر کنم خوردم به ریاضی! اومد دیدم وسط اون مباحث(که البته من ازشون سر در نمیاوردم) خورده به یه مساله
Optimization.