TL;DR
- 29 اکتبر 2025 این ابتکار برخی از معتبرترین مؤسسات تحقیقاتی جهان را گرد هم میآورد تا در.
- استفاده از هوش مصنوعی در تحقیقات ریاضی پیشگام باشند.
- Pushmeet Kohli معاون علوم و ابتکارات استراتژیک،.
چه اتفاقی افتاد
29 اکتبر 2025 این ابتکار برخی از معتبرترین مؤسسات تحقیقاتی جهان را گرد هم میآورد تا در. استفاده از هوش مصنوعی در تحقیقات ریاضی پیشگام باشند.
Pushmeet Kohli معاون علوم و ابتکارات استراتژیک،. مدیر ارشد Google DeepMind Eugénie Rives،.
GenAI Strategy،. Google DeepMind خلاصه کلی Google DeepMind و Google در حال راه اندازی AI for Math Initiative هستند تا.
بررسی کنند که چگونه هوش مصنوعی میتواند تحقیقات ریاضی را تسریع کند. پنج موسسه تحقیقاتی معتبر با Google DeepMind همکاری خواهند کرد.
آنها مشکلات ریاضی را برای بینشهای مبتنی بر هوش مصنوعی شناسایی میکنند و ابزارهایی برای تقویت پیشرفتها با. استفاده از فناوریهای Google DeepMind میسازند.
خلاصهها توسط هوش مصنوعی گوگل ایجاد شده است. هوش مصنوعی مولد آزمایشی است.
نقاط گلوله "AI for Math Initiative" از هوش مصنوعی برای کمک به ریاضیدانان برای کشف سریعتر استفاده می. کند.
Google DeepMind و Google با کمک مالی و فناوری هوش مصنوعی از این ابتکار حمایت میکنند. پنج تا بالا موسسات تحقیقاتی بررسی خواهند کرد که چگونه هوش مصنوعی میتواند مسائل سخت ریاضی را.
حل کند. سیستمهای هوش مصنوعی مانند Gemini Deep Think و AlphaEvolve در حال حاضر امیدوار کننده هستند.
متخصصان هوش مصنوعی و ریاضی با همکاری یکدیگر میتوانند به پیشرفتهای بزرگی در علم منجر شوند. توضیح دهنده اصلی گوگل میخواهد از رایانه برای کمک به افراد باهوش در حل مسائل ریاضی واقعاً.
سخت استفاده کند. آنها پول و ابزار به دانشگاهها میدهند تا بتوانند با هم کار کنند.
رایانهها میتوانند راههای جدیدی برای انجام ریاضیات و حل سریعتر مسائل پیدا کنند. گوگل امیدوار است این به همه کمک کند چیزهای جدیدی در مورد جهان بیاموزند.
ریاضیات زبان بنیادی جهان است که ابزارهایی را برای توصیف همه چیز از قوانین فیزیک گرفته تا پیچیدگی. های زیست شناسی و منطق علوم کامپیوتر فراهم میکند.
برای قرنها، آن است مرزها تنها با نبوغ انسانی گسترش یافته است. در Google DeepMind،.
ما معتقدیم که هوش مصنوعی میتواند بهعنوان ابزاری قدرتمند برای همکاری با ریاضیدانان،. افزایش خلاقیت و تسریع اکتشاف عمل کند.
امروز، AI برای ریاضیات را معرفی میکنیم که توسط Google DeepMind و Google. org پشتیبانی میشود.
این پنج مؤسسه تحقیقاتی معتبر جهان را گرد هم میآورد تا در استفاده از هوش مصنوعی در تحقیقات. ریاضی پیشگام شوند.
مؤسسات شریک افتتاحیه عبارتند از:. مؤسسه مطالعات پیشرفته کالج سلطنتی لندن (IHES) مؤسسه تحقیقاتی «سایمونز برای تئوری محاسبات» (UCTIF) شرکا در راستای اهداف.
مشترک شناسایی نسل بعدی مسائل ریاضی که برای بینشهای مبتنی بر هوش مصنوعی آماده هستند،. ایجاد زیرساختها و ابزارهایی برای تقویت این پیشرفتها و در نهایت،.
کار خواهند کرد. تسریع سرعت کشف.
پشتیبانی Google شامل تأمین مالی از Google. org و دسترسی به فناوریهای پیشرفته Google DeepMind،.
مانند حالت استدلال پیشرفته به نام Gemini Deep Think،. نماینده ما برای کشف الگوریتم،.
AlphaEvolve،. و سیستم تکمیل اثبات رسمیما،.
AlphaProof است. این ابتکار یک حلقه بازخورد قدرتمند بین تحقیقات بنیادی و هوش مصنوعی کاربردی ایجاد میکند و راه را.
برای مشارکتهای عمیقتر باز میکند. لحظهای مهم برای هوش مصنوعی و ریاضیات.
کار خود ما در ماههای اخیر پیشرفت سریعی داشته است. در سال 2024،.
سیستمهای AlphaGeometry و AlphaProof ما در المپیاد بینالمللی ریاضی (IMO) به یک استاندارد مدال نقره دست یافتند. اخیراً،.
آخرین مدل Gemini ما،. مجهز به Deep Think،.
عملکردی در سطح مدال طلا در IMO امسال به دست آورد. حل کامل پنج مسئله از شش مسئله و کسب 35 امتیاز.
و ما شاهد پیشرفت بیشتر با روش دیگری به نام AlphaEvolve بودیم که برای بیش از 50 مسئله. باز در تجزیه و تحلیل ریاضی،.
هندسه،. ترکیبات و تئوری اعداد اعمال شد و بهترین راهحلهای شناخته شده قبلی را در 20 ٪.
از آنها بهبود بخشید. در ریاضیات و کشف الگوریتم،.
روش جدید و کارآمدتری برای ضرب ماتریس اختراع کرده است - یک محاسبات اصلی در محاسبات. برای مسئله خاص ضرب ماتریسهای 4×4،.
AlphaEvolve الگوریتمیرا با استفاده از تنها 48 ضرب اسکالر کشف کرد و رکورد 50 سالهای را که. الگوریتم استراسن در سال 1969 ثبت کرده بود،.
شکست. در علوم کامپیوتر،.
به محققان کمک کرد ساختارهای ریاضی جدیدی را کشف کنند که نشان میدهد مشکلات پیچیده رایانهای حتی سختتر. از ما هستند.
این به ما درک واضحتر و دقیقتری از آن میدهد محدودیتهای محاسباتی،. که به هدایت تحقیقات آینده کمک میکند.
این پیشرفت سریع گواهی بر قابلیتهای سریع در حال تکامل مدلهای هوش مصنوعی است. امیدواریم این ابتکار جدید بتواند چگونگی سرعت بخشیدن به اکتشافات در تحقیقات ریاضی توسط هوش مصنوعی و مقابله.
با مشکلات سختتر را بررسی کند. با ترکیب شهود عمیق ریاضیدانان پیشرو جهان با قابلیتهای جدید هوش مصنوعی،.
ما معتقدیم که میتوان مسیرهای جدیدی برای تحقیق باز کرد،. دانش بشری را ارتقا داد و به سمت پیشرفتهای جدید در رشتههای علمیحرکت کرد.
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.