دانشمندان در دستاورد شگفتانگیز جدیدی، با استفاده از مدل پیشرفته GPT-5.5 Pro موفق شدند یکی از مسائل دشوار و قدیمی ریاضی به نام «حدس مجموع-ضرب اردوش-سمردی» (Erdős–Szemerédi sum-product conjecture) را به صورت خودکار رد کنند! 🧠📐
این ایجنت هوشمند با استفاده از یک خط لوله سهمرحلهای (طراحی، ساخت و بازبینی اثبات)، توانست در ۷ مورد از ۸ آزمایش مستقل، اثباتهای درستی برای رد این حدس ارائه دهد. این رویداد گام مهمی در توانایی هوش مصنوعی برای انجام کارهای استدلالی سطح بالا در علوم پایه محسوب میشود. 🤖✨
منبع: arXiv AI