هوش مصنوعی داره مسئلههای باز ریاضی رو حل میکنه
هوش مصنوعیClaude Opus 4.8خلاصهٔ کاملتر
اسکات آرونسون، نظریهپرداز علوم کامپیوتر، تو وبلاگش از موجی از پیشرفتهای هوش مصنوعی تو ریاضیات مینویسه. به گفتهٔ اون، یه مدل داخلیِ OpenAI تونسته «مسئلهٔ فاصلهٔ واحد» پاول اردوش از سال ۱۹۴۶ — یکی از مسئلههای مرکزی هندسهٔ گسسته — رو حل کنه.
آرونسون توضیح میده که مدل با استفاده از نتایج پیشرفتهٔ نظریهٔ اعداد جبری، حدس اردوش رو رد کرده و یه ساختار نقضکننده ساخته. جالب اینکه این فرایند تکمرحلهای بوده: شاگرد سابقش مسئله رو به مدل داده، مدل کمی فکر کرده و یه استدلال چندصفحهای داده که بعد از بررسی توسط متخصصهای انسانی، درست از آب در اومده.
به گفتهٔ نویسنده، خبرها سریعتر از چیزی که بتونه بنویسه میرسن: یه حدس دیگهٔ اردوش هم رد شده، و تیمی تو DeepMind با سیستمی به اسم AlphaProof Nexus نُه مسئلهٔ دیگهٔ اردوش رو حل کرده و حتی اثباتهاش رو تو Lean فرمال کرده. یه مسئلهٔ باز دیگه دربارهٔ جریانهای الکتریکی روی گرافها هم با کمک GPT حل شده.
آرونسون میگه احتمالاً از بالای این ترن هوایی رد شدیم و شتاب همینطور بیشتر میشه. به نظرش شاید نقش ریاضیدانهای انسانی به انتخاب اینکه «چه سؤالی جالبه» و فهمیدن جوابهای مدل محدود بشه. اون با لحنی دودل بین امید و دلهره مینویسه که قراره بهزودی و بهصورت تجربی بفهمیم این روند تا کجا میره.
نکات کلیدی:
- یه مدل OpenAI مسئلهٔ فاصلهٔ واحد اردوش از ۱۹۴۶ رو حل کرد
- DeepMind با AlphaProof Nexus نُه مسئلهٔ دیگهٔ اردوش رو حل کرد
- بعضی اثباتها تو Lean فرمال شدن
- نویسنده میگه شتاب این پیشرفتها داره بیشتر میشه
