ترنس تائو، ریاضیدان برجسته، در المپیاد جهانی ریاضی (IMO) سال 2024 بر نقش هوش مصنوعی و کمک رایانه‌ای در ریاضیات نکات ارزتده‌ای را بیان می‌کند. تائو سیر تاریخی استفاده از ماشین‌ها را از چرتکه تا رایانه‌های مدرن بررسی می‌کند و نشان می‌دهد که چگونه ابزارهایی مانند پایگاه‌های داده (مثل OEIS)، محاسبات علمی (شامل حل‌کننده‌های SAT) و به‌ویژه دستیاران اثبات رسمی، روش‌های تحقیق ریاضی را تغییر داده‌اند. او به تفصیل در مورد پروژه‌هایی مانند اثبات حدس کپلر و فرمالیزه کردن ریاضیات فشرده صحبت می‌کند و پتانسیل یادگیری ماشین و مدل‌های زبان بزرگ (LLMها) را برای کشف روابط، ایجاد حدس‌ها و تسهیل همکاری در آینده ریاضیات، علی‌رغم چالش‌های فعلی، مورد بررسی قرار می‌دهد.



https://m.youtube.com/watch?v=e049IoFBnLA&pp=0gcJCf8Ao7VqN5tD