آقای
Kenji Fukaya
ریاضیدان ۶۶ ساله ژاپنی. زمینه کاری شون
symplectic topology
هست. مفهوم
Fukaya category
در ریاضی به اسم ایشون هست.
اخیرا جایزه
Shaw Prize
رو بردند که به نوبل شرق معروفه.
از سال ۲۰۰۴ این جایزه رو می دند. مقدار جایزه ۱.۲ میلیون دلار هست.
جایزه در زمینه های زیر داده می شه: نجوم، پزشکی، ریاضی.
قبلا در ریاضی افرادی مثل:
Peter Sarnak, Michel Talagrand,
Richard S. Hamilton, Vladimir Arnold,
David Mumford, Shiing-Shen Chern
جایزه رو بردند. جمله ای که پشت مدال نوشته شده اینه:
قانون طبیعت را درک کنید و از آن استفاده کنید.
Kenji Fukaya
ریاضیدان ۶۶ ساله ژاپنی. زمینه کاری شون
symplectic topology
هست. مفهوم
Fukaya category
در ریاضی به اسم ایشون هست.
اخیرا جایزه
Shaw Prize
رو بردند که به نوبل شرق معروفه.
از سال ۲۰۰۴ این جایزه رو می دند. مقدار جایزه ۱.۲ میلیون دلار هست.
جایزه در زمینه های زیر داده می شه: نجوم، پزشکی، ریاضی.
قبلا در ریاضی افرادی مثل:
Peter Sarnak, Michel Talagrand,
Richard S. Hamilton, Vladimir Arnold,
David Mumford, Shiing-Shen Chern
جایزه رو بردند. جمله ای که پشت مدال نوشته شده اینه:
قانون طبیعت را درک کنید و از آن استفاده کنید.
❤16👎2
Mathematical Musings
Photo
دو تا تاس هم اندازه در نظر بگیرید، ممکنه که تو یکی سوراخی ایجاد کنید که بتونید اون یکی تاس رو ازش عبور بدید؟
احتمالا می گید: نه.
این سوال به چند قرن قبل برمی گرده، ۱۶۹۳، دوران جان والیس ریاضیدان. جواب والیس به این سوال مثبت بود.
دیگه برای چه شکل هایی می شه مساله رو بررسی کرد، به دلایل ریاضی بهتره بریم سراغ اشکال محدب، یعنی چند وجهی های محدب.
در سال ۱۹۶۸ ثابت شد که چهار وجهی و هشت وجهی هم این خاصیت رو دارند.
به این مسیرها یا تونل ها اصطلاحا می گند:
Rupert tunnels
حدس کلی: همه چند وجهی های محدب این خاصیت رو دارند.
تا اینکه چند ماه پیش یه مقاله منتشر کردند و یه شکل با ۹۰ راس و ۱۵۲ تا وجه ساختند که این خاصیت رو نداشت.
دو تا دوست که از نوجوانی با هم بودند و عاشق ریاضیات و الان یکی مدرک دکتری داره و یکی ارشد(و هیچ کدوم در دانشگاه فعال نیستند) تونستند این کار رو انجام بدند.
چطور به این مساله علاقه مند شدند؟
با دیدن یه ویدئو در یوتیوب!
توی یه پایگاه داده از شکل های محدب جستجو کردند تا برای اون حدس یه مثال نقض پیدا کنند که پیدا نشد. تصمیم گرفتند خودشون یه شکلی بسازند.
در مورد خودشون می گند:
لینک مقاله کوانتا:
https://www.quantamagazine.org/first-shape-found-that-cant-pass-through-itself-20251024/
لینک یه ویدئو که نشون می ده چطور یه مکعب رو می شه از اون یکی عبور داد:
https://youtu.be/D-W2QMSXSG4?si=tBOiHx6JyW_ZkMQR
احتمالا می گید: نه.
این سوال به چند قرن قبل برمی گرده، ۱۶۹۳، دوران جان والیس ریاضیدان. جواب والیس به این سوال مثبت بود.
دیگه برای چه شکل هایی می شه مساله رو بررسی کرد، به دلایل ریاضی بهتره بریم سراغ اشکال محدب، یعنی چند وجهی های محدب.
در سال ۱۹۶۸ ثابت شد که چهار وجهی و هشت وجهی هم این خاصیت رو دارند.
به این مسیرها یا تونل ها اصطلاحا می گند:
Rupert tunnels
حدس کلی: همه چند وجهی های محدب این خاصیت رو دارند.
تا اینکه چند ماه پیش یه مقاله منتشر کردند و یه شکل با ۹۰ راس و ۱۵۲ تا وجه ساختند که این خاصیت رو نداشت.
دو تا دوست که از نوجوانی با هم بودند و عاشق ریاضیات و الان یکی مدرک دکتری داره و یکی ارشد(و هیچ کدوم در دانشگاه فعال نیستند) تونستند این کار رو انجام بدند.
چطور به این مساله علاقه مند شدند؟
با دیدن یه ویدئو در یوتیوب!
توی یه پایگاه داده از شکل های محدب جستجو کردند تا برای اون حدس یه مثال نقض پیدا کنند که پیدا نشد. تصمیم گرفتند خودشون یه شکلی بسازند.
در مورد خودشون می گند:
We’re just humble mathematicians
لینک مقاله کوانتا:
https://www.quantamagazine.org/first-shape-found-that-cant-pass-through-itself-20251024/
لینک یه ویدئو که نشون می ده چطور یه مکعب رو می شه از اون یکی عبور داد:
https://youtu.be/D-W2QMSXSG4?si=tBOiHx6JyW_ZkMQR
❤19🤔3👎1
Mathematical Musings
دو تا تاس هم اندازه در نظر بگیرید، ممکنه که تو یکی سوراخی ایجاد کنید که بتونید اون یکی تاس رو ازش عبور بدید؟ احتمالا می گید: نه. این سوال به چند قرن قبل برمی گرده، ۱۶۹۳، دوران جان والیس ریاضیدان. جواب والیس به این سوال مثبت بود. دیگه برای چه شکل هایی می…
این اون چیزیه که ساختند، دو تا از اینا اگر داشته باشید نمی تونید تو یکی حفره ایجاد کنید طوری که اون یکی ازش رد بشه.
اون نفر سمت چپ اسمش
Sergey Yurkevich
هست، همونیه که دکتری داره.
دو تا لیسانس داره، دو تا فوق لیسانس.
پروژه با R زده، بازی هم ساخته و...
اون نفر سمت چپ اسمش
Sergey Yurkevich
هست، همونیه که دکتری داره.
دو تا لیسانس داره، دو تا فوق لیسانس.
پروژه با R زده، بازی هم ساخته و...
❤14🆒4🤣1
Forwarded from Linuxor ?
قدرت DeepSeek-OCR رو ببینید !
این یه نامه به شدت ناخواناس که یه ریاضی دان سال 1913 نوشتش و دیپ سیک تونسته بخونتش
از اینجا میتونید خودتون تستش کنید :
www.alphaxiv.org/models/deepseek/deepseek-ocr
@Linuxor ~ Deedy
این یه نامه به شدت ناخواناس که یه ریاضی دان سال 1913 نوشتش و دیپ سیک تونسته بخونتش
از اینجا میتونید خودتون تستش کنید :
www.alphaxiv.org/models/deepseek/deepseek-ocr
@Linuxor ~ Deedy
❤18👏3👎2
Mathematical Musings
“Not every obvious statement is true.” این مقاله جالب بود، به این سوال جواب می ده که چرا ما به دنبال formalize کردن قضیه های ریاضی هستیم و چرا نمی ریم به جاش catching کنیم error ها رو. اول خودش می گه که من ریاضی، کامپیوتر و پازل بازی رو دوست دارم. می گه این…
راسل اگر زنده بود حتما از Lean استفاده می کرد، هر چند به نظر می رسه Lean یه جاهایی از راسل عقب هست!
🤣20
اینجا آقای Akshay Venkatesh که برنده مدال فیلدز هم هستند درباره AI و ریاضیات می گند.
می گه اصلا ارزش یه ریاضیدان چیه، وقتی ماشین هم می تونه اثبات بنویسه؟
یه چیز جالبی هم می گه اینه که: ما همه اش ادعا می کنیم فهمیدن برامون خیلی مهمه، ولی اون بیرون و خارج از جامعه ریاضی هیچکس ما رو نمی فهمه. یه مشت متخصص دور هم جمع شدیم...
https://youtu.be/STTvEmBM3rg?si=Or17ZKatF52-h7op
می گه اصلا ارزش یه ریاضیدان چیه، وقتی ماشین هم می تونه اثبات بنویسه؟
یه چیز جالبی هم می گه اینه که: ما همه اش ادعا می کنیم فهمیدن برامون خیلی مهمه، ولی اون بیرون و خارج از جامعه ریاضی هیچکس ما رو نمی فهمه. یه مشت متخصص دور هم جمع شدیم...
https://youtu.be/STTvEmBM3rg?si=Or17ZKatF52-h7op
YouTube
Akshay Venkatesh: What do we tell our students about AI?
Part of the symposium Mathematics in the age of Automated Proofs at Leiden University.
Made possible by the generosity of the the Lorentz Center, the Dutch Research Council (NWO), the European Research Council (ERC), Computer Algebra Netherlands, the SAILS…
Made possible by the generosity of the the Lorentz Center, the Dutch Research Council (NWO), the European Research Council (ERC), Computer Algebra Netherlands, the SAILS…
👌8❤6👏3
دنبال کردن این بحث می تونه جذاب باشه
https://mathoverflow.net/questions/502120/examples-for-the-use-of-ai-and-especially-llms-in-notable-mathematical-developme
https://mathoverflow.net/questions/502120/examples-for-the-use-of-ai-and-especially-llms-in-notable-mathematical-developme
MathOverflow
Examples for the use of AI and especially LLMs in notable mathematical developments
The purpose of this question is to collect examples where large language models (LLMs) like ChatGPT have led to notable mathematical developments.
The emphasis in this question is on LLMs, but ans...
The emphasis in this question is on LLMs, but ans...
👍11
Mathematical Musings
یه مساله باز در زمینه convex optimization رو دادند به ChatGPT(کلا در زمینه convex optimization ظاهرا خوب عمل می کنه) کلا ۱۲ ساعت کار برده که طی سه روز انجامش دادند. البته که با یه single prompt کار جمع نشده و خیلی کار interactive ایی بوده. بحث های زیادی…
این مقاله مربوطش
https://arxiv.org/abs/2510.23513
The discovery of the proof was heavily assisted by ChatGPT...
https://arxiv.org/abs/2510.23513
arXiv.org
Point Convergence of Nesterov's Accelerated Gradient Method:...
The Nesterov accelerated gradient method, introduced in 1983, has been a cornerstone of optimization theory and practice. Yet the question of its point convergence had remained open. In this work,...
❤6
Forwarded from آتـامِتـاکـ • AυτοmαTαλκ (Mehran)
« ... المپیاد سخت بود ولی دوستش داشتم! فیزیک ۲ و معارف اسلامی سخت بود ولی دوستشون نداشتم. اما یاد گرفتم دنیا پر از چیزهاییه که دوستشون نداریم ولی گاهی مجبوریم انجامشون بدیم که بتونیم فراتر بریم. دنیا مملو از جعبههاییه که گذاشتهن تا ملت توش جا بشن [...] شاید کسی توی این جعبهها جا نشه؛ اما اگه این جانشدن رو نفهمه، عذاب میکشه ... »
شاید بعضیها از طریق دیگهای بشناسنش، ولی اسم آیدین نصیری شرق همیشه برای من با کتاب ششصد مسئلهی الگوریتمی قرینه؛ کتابی که در سالهای تحصیلش در شریف با همکاری مشترک دکتر قدسی نوشته. آیدین سالهای طولانیه که دیگه ایران نیست؛ مدت زیادی در گوگل مشغول به کار بود، و الان روی استارتاپ خودش (Codelita) برای آموزش برنامهنویسی کار میکنه. اخیرا رشتهتوییتی گذاشته از تجربیات منحصر به فردش در شریف؛ از تجربهی المپیاد و عضویت در تیم مسابقات ICPC تا مشروطی و بارها افتادن دروس پایه. خوندش رو به همهی شما توصیه میکنم.
https://x.com/Loc0m0/status/1833203967687594472
شاید بعضیها از طریق دیگهای بشناسنش، ولی اسم آیدین نصیری شرق همیشه برای من با کتاب ششصد مسئلهی الگوریتمی قرینه؛ کتابی که در سالهای تحصیلش در شریف با همکاری مشترک دکتر قدسی نوشته. آیدین سالهای طولانیه که دیگه ایران نیست؛ مدت زیادی در گوگل مشغول به کار بود، و الان روی استارتاپ خودش (Codelita) برای آموزش برنامهنویسی کار میکنه. اخیرا رشتهتوییتی گذاشته از تجربیات منحصر به فردش در شریف؛ از تجربهی المپیاد و عضویت در تیم مسابقات ICPC تا مشروطی و بارها افتادن دروس پایه. خوندش رو به همهی شما توصیه میکنم.
https://x.com/Loc0m0/status/1833203967687594472
❤22
Mathematical Musings
ظاهرا ماسک grokipedia.com رو راه انداخته، به دلایل خودش. باید دید چی می شه...
دعوا شروع شد!
الان grok شروع کرده گیر دادن به مقالات ویکی پدیا، مثلا این مقاله، می گه مقاله درست و درمون نوشته نشده، view اش پایینه و یه سال هست که ویرایش نشده...
الان grok شروع کرده گیر دادن به مقالات ویکی پدیا، مثلا این مقاله، می گه مقاله درست و درمون نوشته نشده، view اش پایینه و یه سال هست که ویرایش نشده...
🤣6❤5🔥2
This media is not supported in your browser
VIEW IN TELEGRAM
Ptolemy made a universe which lasted 1,400 years. Newton also made a universe, which has lasted 300 years. Einstein has made a universe and I can’t tell you how long that will last.
🔥10