کتاب جدید جناب تائو

خانم
Susanna Heikkilä
هستند، ریاضیدان فنلاندی.
برای حل یه مساله خیلی سخت در
Differential topology
از بافتنی استفاده کرده.
شاید فکر کنید یه چیز ساده و دم دستی بوده که اینم رفته سراغ بافتنی.
مساله رو جناب
Mikhail Gromov
در دهه ۱۹۸۰ مطرح کرده بود و نزدیک چهل سال حل نشده باقی مونده بود.
مقاله در
Annals of Mathematics
چاپ شده.
موضوع کارش
four-dimensional manifolds
هست.
بافتنی رو برای جلسه دفاع هم آماده کرده بود.
می گه مدل بافتنی توی visualization خیلی کمکم کرد و در نهایت باعث شد مساله Gromov رو حل کنم.
می گه از دوره لیسانس فهمیدم که من آدم توپولوژی هستم. استاد راهنمام خیلی خیلی بهم کمک کرد و همسرم رو در همین مسیر پیدا کردم، البته توی خونه در مورد ریاضی حرف نمی زنیم.
ایشون اولین فنلاندی هست که در مجله بسیار معتبر
Annals of Mathematics
مقاله اش چاپ می شه.

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

نظر دوستان
شاخص ترین چهره در بین ریاضیدان های فعلی جناب میلنور و همسرشون هستند.
خانم مک داف در یه مصاحبه در مورد صحبت در مورد ریاضی گفته:

تا حدودی. من هرگز با او همکاری نکرده‌ام. اما ما دربارهٔ ریاضیات صحبت می‌کنیم، و او گاهی چیزهایی که من می‌نویسم را می‌خواند.

در جواب این سوال که:
هرگز با یک ریاضی‌دان در همان زمینه ازدواج نکنید، چون فقط به درگیری می‌انجامد.
جواب داده:

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

درباره این زوج ریاضیدان

در باب اهمیت پرامپت نویسی

شیفت از یه مساله ریاضی به یه مساله ریاضی دیگه

-What is "Real Analysis"?
-Oh, it's just Calculus, but done "right".

هم بازی کن، هم ریاضی بخون، هم Lean یاد بگیر.
تمام کمبودها و عقده های ناشی از خوندن
Calculus
(به خاطر سرسری بودنش و rigorous نبودن) اینجا جبران می شه.
اگر خیلی اذیت شدین سر این قضیه یه جور تراپیه!
یه کم حل کردم خوب بود. تمرین اولش اینه
x=5
ثابت کنید x=5.
لینک مربوط

طرف چند ماه پیش یه مساله ای رو حل کرده همه جا جار زده که من مساله فلان رو حل کردم(ظاهرا از مجموعه مسائل اردوش) خودش و دوستاش رفتند توی Lean نوشتند اثبات رو و دیدند درست نیست! یه کمی ضایع شده.
دوباره سر یه مساله ای فکر کرده اون رو حل کرده، گفته اعلام
victory
نمی کنم ولی ۸۰٪ حلش درسته! بذارید در Lean هم بررسی کنم.
اینم بررسی کرده
non-trivial flaw
پیدا شده.
قدیم ریاضیدان ها صبرشون بیشتر بود.

حدس کولاتز رو همه با اون آشنایی دارند:

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

حالا اومدند و دارند ترنسفورمرها رو train می کنند و می خواند در گام بعدی حمله کنند به این حدس.
فعلا دنبال این هستند که ببینند چطوری یاد می گیره؟ کجا اشتباه می کنه؟ می تونه گام بعدی رو حدس بزنه؟
تا الان هم دیدند که hallucinate نمی کنند. روند یادگیری منطقی هست ولی دچار نقص هم هست، اشتباه هم می کنند.
حالا حدس بزنید کدوم شرکت داره این کار رو می کنه؟ این شرکت.
بذارید منم یه حدسی بزنم:
در ۲۰۲۶ هوش مصنوعی تنهایی یا به کمک انسان یه مساله از
Millennium Prize Problems
رو حل می کنه!

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

خانم
Karen Uhlenbeck
هستند، تا به امروز تنها زنی که جایزه آبل رو در ریاضیات برده.
از بنیانگذاران
Geometric analysis
هستند(ترکیب هندسه دیفرانسیل و معادلات دیفرانسیل)
در زمینه
Topological quantum field theory
هم کار کرده.
در جاهای مختلف به سختی های حضور یه زن در محافل علمی(به خصوص در زمان خودش) اشاره کرده.
می گه توی دانشگاه یه تعداد دختر بودیم که مثلا داشتیم ریاضی می خوندیم، من با هیچ کدوم صمیمی نبودم...به ما می گفتند نمی تونید ریاضی بخونید، این کار رو بسپارید به پسرا، ولی من از این کار لذت می برم.
اگر هر کار معمولی هم انجام می دادیم اون رو یه موفقیت بزرگ می دونستند، چون به هر حال زن بودیم.
در ازدواج اولش به مشکل برخورد، اول اینکه کار پیدا کردن براش مشکل بود، چون باید دنبال شوهرش می رفت و جایی که اون استخدام شده بود نمی تونست استخدام بشه. به خاطر قانونی موسوم به
anti-nepotism
گفته همه ازش انتظار داشتند حمایت کننده شوهرش باشه ولی خودش می خواست یه ریاضیدان مستقل باشه.
در نهایت چالش های موجود باعث شد از شوهر اولش جدا بشه، بعدها با یه ریاضیدان ازدواج کرد.
گفته می دونم برای خیلی از دخترها و زن ها الگو هستم، ولی کار سختیه. سخته که به مردم بفهمونی آدم های ناقص هم می تونند موفق بشند. 
نصف جایزه اش رو هم داد به موسسه هایی که در زمینه مشارکت زنان در ریاضیات و...این چیزها فعالیت می کنند.

مجله تایم به جای انتخاب یه شخص مشخص، معماران هوش مصنوعی رو به عنوان چهره سال انتخاب کرده. این انتخاب هم دلیلش واضحه: تاثیری که هوش مصنوعی در همه زمینه ها بر زندگی انسان گذاشته.
همین تصویر و انتخاب انتقادهایی به همراه داشته، می گند یه مشت الیگارشی که حتی بلد نیستند یه رگرسیون خطی رو انجام بدند به عنوان نماد سال و هوش مصنوعی انتخاب کردید(البته به جز آقای Demis Hassabis، که قطعا بلد هست این کار رو!)
این حرف یادآور جدل تاریخی بین ماسک و
Yann LeCun
برنده جایزه تورینگ و از غول های هوش مصنوعی هست که در سال پیش اتفاق افتاد.
آقای
Yann LeCun
گفته بود باید بین یه مهندس و پژوهشگر تفاوت قائل بشیم. اینقدر روی سرعت و محصول نهایی تاکید نکنیم. ماسک به طعنه بهش گفته بود: تعریفی که از علم ارائه دادی یکی از احمقانه ترین چیزهاییه که شنیدم. ماسک گفته بود: ما فقط مهندس داریم، پژوهشگر یه چیز قدیمی هست، میراث دانشگاه!

مسابقات
Miklós Schweitzer Competition
مسابقه ریاضی در سطح لیسانس هست که در مجارستان برگزار می شه، از سال ۱۹۴۹.
آقای
Miklós Schweitzer
ریاضیدان مجارستانی بود که در جریان محاصره بوداپست توسط نازی ها کشته شد.
امتحانش معمولا open-book هست، دانشجویان حتی می تونند از اینترنت هم استفاده کنند(سبک ریاضیات و مسابقات ریاضی در اروپای شرقی کلا توی یه Level دیگه بوده همیشه)
غول هایی مثل
Béla Bollobás
از شرکت کنندگان اون بودند.
حالا
GPT-5-Pro
تونسته در مسابقات ۲۰۲۵ امتیاز ۹۰٪ رو بگیره. یکی از سخت ترین و منحصربه فردترین مسابقات ریاضی جهان.
برگزار کنندگان کرک و پرشون ریخته، جواب هایی که داده خیلی دقیق بوده.
تصویر، سوالات سال ۲۰۲۴

اصل لانه کبوتری یکی از جالب ترین و شگفت انگیزترین قضیه های ریاضی هست. خیلی ساده می گه اگر سه تا کبوتر داشته باشیم و دو تا لونه و اینا بخواند برند تو اون لونه ها، حداقل توی یکی شون دو تا کبوتر قرار می گیره. تعمیم ساده اش به m تا کبوتر و n تا لونه با فرض m بزرگتر از n و تعمیم های عجیب و غریب و پیشرفته ترش رو در کتاب ها و... نوشتند. گاهی توی مسائلی خودش رو نشون می ده که جز حیرت بر انسان نمی افزاید.
چند سال پیش مقاله ای نوشته بودند و یه ورژن کوانتومی هم از این اصل ارائه کردند
quantum pigeonhole principle
سه تا ذره کوانتومی رو توی دو تا جعبه قرار دادند، در حالی که دو تا ذره توی هیچ جعبه ای نبود!
تصویر هم عکس دو تا کبوتر آخر هست که به آخرین لونه نگاه می کنند!
https://arxiv.org/abs/1407.3194

ماسک هم ظاهرا جدیدا مصاحبه کرده و گفته یکی از بدترین اختراعات بشر این short video ها بوده. گفته این فرهنگ اینستاگرامی و تیک تاکی مغز بشر رو فاسد کرده.
غیر از مقالات تخصصی که به هر حال هر کسی احتمالا در حوزه خودش داره می خونه به نظرم چه خوشمون بیاد چه نیاد، مقالاتی که آقای
Stephen Wolfram
می نویسه چه باهاشون موافق باشیم و چه نه، به هر حال خلاف روال معمول هست. مدعی شده:

I soon established that this one little axiom was enough to generate all of logic

https://writings.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/

می گند این درست تره(یکی از حالت ها)
Jürgen Schmidhuber

#دانستنی های_ به درد_نخور ۴۲
می دونستید زمانی که گودل به همراه همسرش آدل در سال ۱۹۴۰ از اتریش خارج شدند برای رفتن به آمریکا یه مسیر طولانی و غیر معمول رو رفتند؟
چون امکان سفر مستقیم وجود نداشت، مجبور شدند با قطار و از طریق کشورهای شرق اروپا برند روسیه، از اونجا رفتند ژاپن و با کشتی از یوکوهاما رفتند سان فرانسیسکو و بعد با قطار به پرینستون.

خانم آدل حامی و غمخوار همیشگی گودل بود و اون اواخر گودل فقط غذاهای همسرش رو می خورد و در نهایت بعد از بستری شدن خانم آدل در بیمارستان گودل از خوردن غذا امتناع کرد.
در زمانی که این دو نفر می خواستند با هم ازدواج کنند خانواده گودل خیلی با این موضوع موافق نبودند:
آدل شش سال ازت بزرگتره، قبلا ازدواج کرده و طلاق گرفته و اینکه رقاصه است!
عکس هم مربوط به روز عروسی شون می شه، سال ۱۹۳۸.

خانم
Maryna Viazovska
فیلدز مدالیست، علاقه مند شده به
formalization
ظاهرا formalization مقاله خودش درباره
sphere-packing
در بعد ۸.
https://youtu.be/VtradA4E8Vk?si=ZA0vHgRNLinZOyn-

I'm just a constant no body loves me!

این ویدئو هم مروری بر خاطرات یکی از اولین(و شاید الان برای خیلی ها یکی از قدیمی ترین) درس هایی که پاس کردند:
Calculus
https://youtu.be/uqwC41RDPyg?si=EB7PjXSuTOImRPPN

طرف از تخته سیاه عکس گرفته و بعد داده به چت جی پی تی.
ظاهرا چنان عمیق و درست توضیح داده که یارو به قول بچه ها گرخیده!
می گه الان با یه پرسش اساسی روبرو هستیم: چالش دانشجوها چیه؟ می گه زمان ما و اصلا از ابتدای خلقت بشر بحث "کمیابی" بوده، با این abundance چی کار باید کرد؟
شکل دادن سلیقه، بالا بردن درک شهودی و غرق نشدن در این فراوانی قدم های اول هست.