یکی از مهمترین اتفاقات سال ۲۰۲۲، Alpha Tensor بود. مدلی که توسط شرکت دیپ مایند و روی Alpha Zero ساخته شده و حدس بزنید کارش چیه؟
پیدا کردن الگوریتمهای جدید.
اگر علوم کامپیوتر خونده باشید حتما با الگوریتم استراسن برای ضرب ماتریسها آشنا هستید. الگوریتمی که ۵۰ سال پیش ابداع شد و دنیای ریاضی رو تکون داد. حالا Alpha Tensor در اولین کارش تونسته این مسئلهی باز ریاضیات رو حل کنه و سریعترین الگوریتم برای ضرب ماتریسها رو پیدا کرده. سریعتر از کار استراسن بعد از پنجاه سال.
نکتهی جالب پیادهسازیه. مسئله رو تبدیل کردن به یک بازی و هدف سریعترین استراتژی ضرب بوده و Alpha Zero همون مدلی که بهترینهای شطرنج و Go رو برده بود این بازی رو هم یاد گرفته و استراتژی بهینه رو پیدا کرده.
ما داریم در هیجانانگیزترین برههی دنیا زندگی میکنیم و هر لحظه ممکنه کل دنیا عوض بشه.
https://www.deepmind.com/blog/discovering-novel-algorithms-with-alphatensor
@harmoniclib
پیدا کردن الگوریتمهای جدید.
اگر علوم کامپیوتر خونده باشید حتما با الگوریتم استراسن برای ضرب ماتریسها آشنا هستید. الگوریتمی که ۵۰ سال پیش ابداع شد و دنیای ریاضی رو تکون داد. حالا Alpha Tensor در اولین کارش تونسته این مسئلهی باز ریاضیات رو حل کنه و سریعترین الگوریتم برای ضرب ماتریسها رو پیدا کرده. سریعتر از کار استراسن بعد از پنجاه سال.
نکتهی جالب پیادهسازیه. مسئله رو تبدیل کردن به یک بازی و هدف سریعترین استراتژی ضرب بوده و Alpha Zero همون مدلی که بهترینهای شطرنج و Go رو برده بود این بازی رو هم یاد گرفته و استراتژی بهینه رو پیدا کرده.
ما داریم در هیجانانگیزترین برههی دنیا زندگی میکنیم و هر لحظه ممکنه کل دنیا عوض بشه.
https://www.deepmind.com/blog/discovering-novel-algorithms-with-alphatensor
@harmoniclib
Google DeepMind
Discovering novel algorithms with AlphaTensor
In our paper, published today in Nature, we introduce AlphaTensor, the first artificial intelligence (AI) system for discovering novel, efficient, and provably correct algorithms for fundamental...
This media is not supported in your browser
VIEW IN TELEGRAM
تو هم شروع کن با chatgpt کار کردن!
خیلی آسون تو این ویدیو آموزش میده که چطور این کار رو انجام بدیم.
@harmoniclib
خیلی آسون تو این ویدیو آموزش میده که چطور این کار رو انجام بدیم.
@harmoniclib
اخبار و کتاب های ریاضی
یکی از مهمترین اتفاقات سال ۲۰۲۲، Alpha Tensor بود. مدلی که توسط شرکت دیپ مایند و روی Alpha Zero ساخته شده و حدس بزنید کارش چیه؟ پیدا کردن الگوریتمهای جدید. اگر علوم کامپیوتر خونده باشید حتما با الگوریتم استراسن برای ضرب ماتریسها آشنا هستید. الگوریتمی که…
هوش مصنوعی موفق به اثبات قضیه شد.
👇👇👇👇
https://www.quantamagazine.org/in-new-math-proofs-artificial-intelligence-plays-to-win-20220307/
@harmoniclib
👇👇👇👇
https://www.quantamagazine.org/in-new-math-proofs-artificial-intelligence-plays-to-win-20220307/
@harmoniclib
اخبار و کتاب های ریاضی
بیژن نجدی در ۲۴ آبان ۱۳۲۰ از پدر و مادر گیلانی در شهر خاش متولد شد. تحصیلات ابتدایی خود را در رشت گذراند. پس از اخذ دیپلم در سال ۱۳۳۹ وارد دانشسرای عالی تهران شد و در سال ۱۳۴۳ از همان دانشکده در رشته ریاضی فارغالتحصیل و با سمت دبیر در دبیرستانهای لاهیجان…
This media is not supported in your browser
VIEW IN TELEGRAM
اخبار و کتاب های ریاضی
Photo
نوشته بالای مقبره:
در کتاب بدایع الوقایعِ محمود واصفی حکایتی آورده که شیخ اجل استاد سخن سعدی در مجلسی با لباسی مندرس وارد شد و احترام و اکرامی ندید و از مجلس بیرون شد بار دیگر با لباسی فاخر وارد شد و احترام تمام دید ولی شیخ روی برگرداند و این رباعی بگفت و از مجلس بیرون شد:
سِه صَد کُهِ قاف را به هاون سودَن
نُه طاقِ فَلک به خونِ دل اندودَن
صد سال اسیرِ بند و زندان بودَن
بِهتَر که دَمی هَمدَمِ نادان بودَن.
(بدایع ج۲: ۱۵۵تا۱۵۶)
@harmoniclib
در کتاب بدایع الوقایعِ محمود واصفی حکایتی آورده که شیخ اجل استاد سخن سعدی در مجلسی با لباسی مندرس وارد شد و احترام و اکرامی ندید و از مجلس بیرون شد بار دیگر با لباسی فاخر وارد شد و احترام تمام دید ولی شیخ روی برگرداند و این رباعی بگفت و از مجلس بیرون شد:
سِه صَد کُهِ قاف را به هاون سودَن
نُه طاقِ فَلک به خونِ دل اندودَن
صد سال اسیرِ بند و زندان بودَن
بِهتَر که دَمی هَمدَمِ نادان بودَن.
(بدایع ج۲: ۱۵۵تا۱۵۶)
@harmoniclib
اخبار و کتاب های ریاضی
همکلام بودن با کدام را ترجیح میدهید؟!
نظر ارسالی:
اگر "دکتری نادان" رو فردی با مدرک بالا ولی بدون دانشی که به دردش بخورد و "بیسوادی دانا" رو فردی با مدرک پایین ولی دانش بالا و به درد بخور درنظر بگیریم، سوال بیشتر به ارزش های انسانی و فردی برمیگرده.
ولی اگه بخوایم واقعبین باشیم، بیسوادی دانا بهتره. چون میتونه مدرکشو با تلاش و تحصیل بیشتر به دست بیاره و هردو مدرک و دانش رو داشته باشه.
@harmoniclib
اگر "دکتری نادان" رو فردی با مدرک بالا ولی بدون دانشی که به دردش بخورد و "بیسوادی دانا" رو فردی با مدرک پایین ولی دانش بالا و به درد بخور درنظر بگیریم، سوال بیشتر به ارزش های انسانی و فردی برمیگرده.
ولی اگه بخوایم واقعبین باشیم، بیسوادی دانا بهتره. چون میتونه مدرکشو با تلاش و تحصیل بیشتر به دست بیاره و هردو مدرک و دانش رو داشته باشه.
@harmoniclib
اخبار و کتاب های ریاضی
همکلام بودن با کدام را ترجیح میدهید؟!
نظر ارسالی:
دانایی فقط به بالا بودن اطلاعات تخصصی رشته نیست.
زیاد دکترای ریاضی دیدهایم که فقط قضیه حفظند و سوال ریاضی حل کردن بلدند ولی در تعاملات اجتماعی صفرند.
@harmoniclib
دانایی فقط به بالا بودن اطلاعات تخصصی رشته نیست.
زیاد دکترای ریاضی دیدهایم که فقط قضیه حفظند و سوال ریاضی حل کردن بلدند ولی در تعاملات اجتماعی صفرند.
@harmoniclib
متأسفانه هماکنون باخبر شدیم که
مارک سپیر
Mark Sapir
که از بزرگترین ریاضیدانان در نظریه گروهها و به خصوص نظریه هندسی گروهها بودند، در ماه اکتبر فوت شدند.
مقالات ایشان بسیار عمیق و بنیادیست.
او در سالهای آخرین عمرش همراه با دو تن دیگر از ریاضیدانان یکی از مهمترین مسائل حل نشده در رابطه با پارادوکس باناخ-تارسکی را حل کردند.
روحش شاد
@harmoniclib
مارک سپیر
Mark Sapir
که از بزرگترین ریاضیدانان در نظریه گروهها و به خصوص نظریه هندسی گروهها بودند، در ماه اکتبر فوت شدند.
مقالات ایشان بسیار عمیق و بنیادیست.
او در سالهای آخرین عمرش همراه با دو تن دیگر از ریاضیدانان یکی از مهمترین مسائل حل نشده در رابطه با پارادوکس باناخ-تارسکی را حل کردند.
روحش شاد
@harmoniclib
اخبار و کتاب های ریاضی
لطفا بهترین بازیریاضیهایی که دیدهاید را در قسمت کامنتها بفرستید. @harmoniclib 👇👇👇
نظر ارسالی:
هر کس تو یه برگه جدا از یک تا ده مینوشت ،بعد یکی یه عددی انتخاب میکرد تو برگه خودش مینوشت ولی به طرف مقابل نشون نمیداد ،اون یکی باید حدس میزد عدد نوشته شده چیه ،اگه درست بود اون عدد رو زیر همون عدد بصورت ستونی مینوشت ، اگه اشتباه حدس زده بود همون نفر اول اون عدد رو زیر عددهای نوشته شده خودش اضافه میکرد ،به همین ترتیب یه ستون پنج تایی از هر عدد باید پر میشد
هر کس زودتر. ستونهای اعداد ش پر میشد برنده بود
@harmoniclib
هر کس تو یه برگه جدا از یک تا ده مینوشت ،بعد یکی یه عددی انتخاب میکرد تو برگه خودش مینوشت ولی به طرف مقابل نشون نمیداد ،اون یکی باید حدس میزد عدد نوشته شده چیه ،اگه درست بود اون عدد رو زیر همون عدد بصورت ستونی مینوشت ، اگه اشتباه حدس زده بود همون نفر اول اون عدد رو زیر عددهای نوشته شده خودش اضافه میکرد ،به همین ترتیب یه ستون پنج تایی از هر عدد باید پر میشد
هر کس زودتر. ستونهای اعداد ش پر میشد برنده بود
@harmoniclib