کاخ مرمر یکی از کاخ‌موزه‌های تاریخی تهران و از آثار دوره پهلوی اول است. این اثر در تاریخ ۳۰ خرداد ۱۳۵۷ با شمارهٔ ثبت ۱۶۰۶ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده است.
این کاخ در سال ۱۳۵۵ و با هدف آشنایی بیشتر مردم با دودمان پهلوی، به موزه تغییر کاربری داد و نام «موزهٔ پهلوی» برای آن انتخاب گردید. پس از انقلاب ایران و سقوط نظام پادشاهی، این کاخ نزدیک به چهار دهه توسط نهادهای مختلف حاکمیتی مورد استفاده قرار گرفت.
در ابتدا، کاخ مرمر به عنوان مقر کمیته انقلاب فعالیت می‌کرد، بعدها به دفتر مقامات ارشد قوه قضائیه و متعاقباً دفتر رئیس جمهور سابق اکبر هاشمی رفسنجانی و همچنین محلی برای جلسات مجمع تشخیص مصلحت نظام تبدیل شد.
در سال ۱۳۹۶، این کاخ توسط مجمع تشخیص مصلحت نظام به بنیاد مستضعفان منتقل شد. پس از مرمت و بازسازی، کاخ مرمر از سال ۱۳۹۸ با کاربری موزه و با نام «موزهٔ هنر ایران» برای بازدید در دسترس عموم قرار دارد.
⚜️@rezamahdavi51.
این کاخ در سال ۱۳۵۵ و با هدف آشنایی بیشتر مردم با دودمان پهلوی، به موزه تغییر کاربری داد و نام «موزهٔ پهلوی» برای آن انتخاب گردید. پس از انقلاب ایران و سقوط نظام پادشاهی، این کاخ نزدیک به چهار دهه توسط نهادهای مختلف حاکمیتی مورد استفاده قرار گرفت.
در ابتدا، کاخ مرمر به عنوان مقر کمیته انقلاب فعالیت می‌کرد، بعدها به دفتر مقامات ارشد قوه قضائیه و متعاقباً دفتر رئیس جمهور سابق اکبر هاشمی رفسنجانی و همچنین محلی برای جلسات مجمع تشخیص مصلحت نظام تبدیل شد.
در سال ۱۳۹۶، این کاخ توسط مجمع تشخیص مصلحت نظام به بنیاد مستضعفان منتقل شد. پس از مرمت و بازسازی، کاخ مرمر از سال ۱۳۹۸ با کاربری موزه و با نام «موزهٔ هنر ایران» برای بازدید در دسترس عموم قرار دارد.
⚜️@rezamahdavi51.
جلسه دفاع دکتری مرحوم شهید بهشتی
https://t.me/UT_Central_Library
https://t.me/UT_Central_Library
DTL_7186872.pdf
16.1 MB
مجموعه‌ای از آثارِ ارزشمند خوش‌نویسی و نگارگری هنرمندانِ ایرانی معروف به "مُرَقَّعِ وین" مربوط به اوایل دوره‌ی صفوی، این مجموعه‌ی نفیس در "کتابخانه‌ی ملی اتریش" نگهداری می‌شود.
#خوش‌نویسی
#نگارگری
@Honarrvareh
#خوش‌نویسی
#نگارگری
@Honarrvareh
سرود اسلامی، کتابی در 36 صفحه، حاوی اشعار و طراحی های زیبا و هنری. از سال 1347 است. بیشتر حاکی از تأثیر اقبال لاهوری در ایران. وقتی که حسینیه ارشاد هم این پروژه را دنبال می کرد. اقبال، هم اسلام گرا بود، و هم ضد غرب. شعر هم به فارسی و اردو می گفت و معناگرا هم بود. این سرودها، به اردو سروده شده است. اما اینجا به عربی است (الصاوی الشعلان به عربی ترجمه کرده) و محمدعلی صفیر آنها را به فارسی و البته به نظم درآورده است. اشعار رویکرد انقلابی و اسلامی و تمدنی دارد. از مسجد الاقصی طراحی دارد. اشاره ای به حسینیه ارشاد و آهنگی که برای سرود اسلامی در آنجا ساخته شده دارد و طرحی. نقش سردر مسجد هدایت را آورده است. دو نقاشی زیبا در اول و آخر کتاب هست. در کل، متن جالبی است. خطاط هنرمندی هم آن را کتابت کرده است. مضامین تمدنی دارد، همان که در سال 47 در حسینیه ارشاد به عنوان بزرگ داشت آغاز قرن پانزدهم هجری جشن گرفته شد و محمد خاتم پیامبران تدوین شد. در کل اثر جالبی است. (ر.ج)
https://t.me/UT_Central_Library
https://t.me/UT_Central_Library
اوپن ای آی و انتشار صدها نتیجه تازه ریاضی با کمک هوش مصنوعی
شرکت OpenAI در ۶ اکتبر ۲۰۲۶ مجموعه‌ای کم‌سابقه از نتایج پژوهشی ریاضی را منتشر کرد که توسط یکی از مدل‌های پیشرفته و هنوز منتشرنشده این شرکت تولید شده‌اند. همین رویداد سبب شد نشریه New Scientist تیتر بزند: «OpenAI در یک نوبت ۷۲۲ کشف ریاضی را اعلام کرد.»
با این حال، تعبیر دقیق‌تر این است که ۷۲۲ دست‌نوشته پژوهشی در قالب ۳۷۲ خانواده از نتایج مرتبط منتشر شده است؛ بنابراین هنوز نمی‌توان از ۷۲۲ کشف مستقل و قطعی سخن گفت.
هوش مصنوعی چگونه به این نتایج رسیده است؟
برخلاف آزمون‌های ریاضی معمول که پاسخ مسائل از قبل معلوم است، OpenAI مدل خود را با هزاران مسئله باز پژوهشی روبه‌رو کرده است؛ یعنی مسائلی که پاسخ آنها در ادبیات علمی شناخته نشده یا هنوز حل نشده‌اند.
حاصل کار مجموعه بزرگی از برهان‌ها، رد برخی حدس‌ها، بهبود نتایج قبلی و پیشنهاد نتایج تازه در حوزه‌هایی مانند نظریه اعداد، جبر، هندسه، منطق، علوم کامپیوتر نظری، فیزیک ریاضی و معادلات دیفرانسیل بوده است.
این اتفاق ادامه روندی است که پیش‌تر نیز دیده شده بود. OpenAI در اوت ۲۰۲۶ ده پیشرفت مهم ریاضی و علوم کامپیوتر نظری حاصل از مدل‌های خود را منتشر کرده بود و یکی از مدل‌های این شرکت نیز توانسته بود حدسی قدیمی در مسئله «فاصله واحد اردوش» را رد کند.
آیا واقعاً ۷۲۲ کشف ریاضی انجام شده است؟
هنوز برای چنین نتیجه‌گیری‌ای زود است. آنچه منتشر شده ۷۲۲ دست‌نوشته حاوی ادعاهای ریاضی است و همه آنها هنوز فرایند معمول بررسی مستقل و داوری تخصصی را طی نکرده‌اند.
OpenAI برای افزایش اطمینان از صحت برخی نتایج از Lean، سامانه رایانه‌ای بررسی رسمی اثبات‌های ریاضی، نیز استفاده کرده است. اما حتی یک اثبات رسمی صحیح لزوماً ثابت نمی‌کند که نتیجه از نظر علمی جدید و مهم است. ریاضی‌دانان باید بررسی کنند که مسئله درست صورت‌بندی شده، نتیجه قبلاً منتشر نشده و اهمیت ادعاشده را دارد.
چرا این خبر اهمیت دارد؟
تا چند سال پیش، موفقیت هوش مصنوعی در ریاضیات بیشتر با حل مسائل المپیادی یا پرسش‌هایی سنجیده می‌شد که انسان پاسخشان را از قبل می‌دانست. اکنون مدل‌ها وارد مرحله متفاوتی شده‌اند: تلاش برای حل مسائل باز و تولید دانش علمی جدید.
اگر بررسی مستقل نشان دهد که حتی بخش قابل توجهی از این صدها نتیجه صحیح و بدیع است، این اتفاق می‌تواند نقطه عطف مهمی باشد. در این صورت هوش مصنوعی دیگر فقط ابزاری برای توضیح و ترکیب دانش موجود نیست، بلکه می‌تواند به همکار پژوهشی انسان در تولید دانش جدید تبدیل شود.
البته انتشار چنین حجمی از نتایج مشکلات تازه‌ای نیز ایجاد می‌کند: چه کسی صدها اثبات را بررسی خواهد کرد؟ اعتبار علمی این کشفیات چگونه تعیین می‌شود؟ و وقتی ماشین بتواند در زمانی کوتاه صدها نتیجه پیشنهاد کند، نظام سنتی انتشار و داوری مقالات علمی چگونه باید تغییر کند؟
OpenAI برای بررسی همین مسائل با گروهی از ریاضی‌دانان مستقل در Institute for Advanced Study همکاری و مشورت کرده است.
جمع‌بندی
تیتر «۷۲۲ کشف ریاضی OpenAI» جذاب است، اما باید با احتیاط خوانده شود. دقیق‌تر آن است که بگوییم یک مدل پیشرفته OpenAI، ۷۲۲ دست‌نوشته در قالب ۳۷۲ خانواده از نتایج ریاضی تولید کرده و اکنون آنها را برای بررسی در اختیار جامعه علمی قرار داده است.
اگر بخش قابل توجهی از این نتایج پس از بررسی ریاضی‌دانان صحیح، تازه و مهم شناخته شوند، اهمیت این رویداد بسیار فراتر از یک رکورد عددی خواهد بود: نشانه‌ای جدی از ورود هوش مصنوعی از مرحله «حل مسائل دارای پاسخ» به مرحله مشارکت در کشف علمی.
https://t.me/UT_Central_Library
شرکت OpenAI در ۶ اکتبر ۲۰۲۶ مجموعه‌ای کم‌سابقه از نتایج پژوهشی ریاضی را منتشر کرد که توسط یکی از مدل‌های پیشرفته و هنوز منتشرنشده این شرکت تولید شده‌اند. همین رویداد سبب شد نشریه New Scientist تیتر بزند: «OpenAI در یک نوبت ۷۲۲ کشف ریاضی را اعلام کرد.»
با این حال، تعبیر دقیق‌تر این است که ۷۲۲ دست‌نوشته پژوهشی در قالب ۳۷۲ خانواده از نتایج مرتبط منتشر شده است؛ بنابراین هنوز نمی‌توان از ۷۲۲ کشف مستقل و قطعی سخن گفت.
هوش مصنوعی چگونه به این نتایج رسیده است؟
برخلاف آزمون‌های ریاضی معمول که پاسخ مسائل از قبل معلوم است، OpenAI مدل خود را با هزاران مسئله باز پژوهشی روبه‌رو کرده است؛ یعنی مسائلی که پاسخ آنها در ادبیات علمی شناخته نشده یا هنوز حل نشده‌اند.
حاصل کار مجموعه بزرگی از برهان‌ها، رد برخی حدس‌ها، بهبود نتایج قبلی و پیشنهاد نتایج تازه در حوزه‌هایی مانند نظریه اعداد، جبر، هندسه، منطق، علوم کامپیوتر نظری، فیزیک ریاضی و معادلات دیفرانسیل بوده است.
این اتفاق ادامه روندی است که پیش‌تر نیز دیده شده بود. OpenAI در اوت ۲۰۲۶ ده پیشرفت مهم ریاضی و علوم کامپیوتر نظری حاصل از مدل‌های خود را منتشر کرده بود و یکی از مدل‌های این شرکت نیز توانسته بود حدسی قدیمی در مسئله «فاصله واحد اردوش» را رد کند.
آیا واقعاً ۷۲۲ کشف ریاضی انجام شده است؟
هنوز برای چنین نتیجه‌گیری‌ای زود است. آنچه منتشر شده ۷۲۲ دست‌نوشته حاوی ادعاهای ریاضی است و همه آنها هنوز فرایند معمول بررسی مستقل و داوری تخصصی را طی نکرده‌اند.
OpenAI برای افزایش اطمینان از صحت برخی نتایج از Lean، سامانه رایانه‌ای بررسی رسمی اثبات‌های ریاضی، نیز استفاده کرده است. اما حتی یک اثبات رسمی صحیح لزوماً ثابت نمی‌کند که نتیجه از نظر علمی جدید و مهم است. ریاضی‌دانان باید بررسی کنند که مسئله درست صورت‌بندی شده، نتیجه قبلاً منتشر نشده و اهمیت ادعاشده را دارد.
چرا این خبر اهمیت دارد؟
تا چند سال پیش، موفقیت هوش مصنوعی در ریاضیات بیشتر با حل مسائل المپیادی یا پرسش‌هایی سنجیده می‌شد که انسان پاسخشان را از قبل می‌دانست. اکنون مدل‌ها وارد مرحله متفاوتی شده‌اند: تلاش برای حل مسائل باز و تولید دانش علمی جدید.
اگر بررسی مستقل نشان دهد که حتی بخش قابل توجهی از این صدها نتیجه صحیح و بدیع است، این اتفاق می‌تواند نقطه عطف مهمی باشد. در این صورت هوش مصنوعی دیگر فقط ابزاری برای توضیح و ترکیب دانش موجود نیست، بلکه می‌تواند به همکار پژوهشی انسان در تولید دانش جدید تبدیل شود.
البته انتشار چنین حجمی از نتایج مشکلات تازه‌ای نیز ایجاد می‌کند: چه کسی صدها اثبات را بررسی خواهد کرد؟ اعتبار علمی این کشفیات چگونه تعیین می‌شود؟ و وقتی ماشین بتواند در زمانی کوتاه صدها نتیجه پیشنهاد کند، نظام سنتی انتشار و داوری مقالات علمی چگونه باید تغییر کند؟
OpenAI برای بررسی همین مسائل با گروهی از ریاضی‌دانان مستقل در Institute for Advanced Study همکاری و مشورت کرده است.
جمع‌بندی
تیتر «۷۲۲ کشف ریاضی OpenAI» جذاب است، اما باید با احتیاط خوانده شود. دقیق‌تر آن است که بگوییم یک مدل پیشرفته OpenAI، ۷۲۲ دست‌نوشته در قالب ۳۷۲ خانواده از نتایج ریاضی تولید کرده و اکنون آنها را برای بررسی در اختیار جامعه علمی قرار داده است.
اگر بخش قابل توجهی از این نتایج پس از بررسی ریاضی‌دانان صحیح، تازه و مهم شناخته شوند، اهمیت این رویداد بسیار فراتر از یک رکورد عددی خواهد بود: نشانه‌ای جدی از ورود هوش مصنوعی از مرحله «حل مسائل دارای پاسخ» به مرحله مشارکت در کشف علمی.
https://t.me/UT_Central_Library
Telegram
کتابخانه مرکزی دانشگاه تهران
وب سايت کتابخانه مرکزی:
Library.ut.ac.ir
آدرس:
خیابان انقلاب، خیابان ۱۶ آذر، داخل پردیس مرکزی دانشگاه تهران، کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی.
Library.ut.ac.ir
آدرس:
خیابان انقلاب، خیابان ۱۶ آذر، داخل پردیس مرکزی دانشگاه تهران، کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی.