GPT 5.5 Pro ریاضیات سطح دکتری را حل کرد — برنده مدال فیلدز شگفتزده شد
آخرین ساخت داخلی GPT 5.5 Pro کاری انجام داده که موجهای شوک از طریق ریاضیات آکادمیک فرستاده: یک مسئله نظریه اعداد افزایشی سطح دکتری را در کمتر از یک ساعت حل کرد—بدون هیچ راهنمایی، داربست یا راهنمایی میانی انسانی.
ارزیابی توسط خود سر Timothy Gowers، برنده مدال فیلدز و یکی از محترمترین ریاضیدانان جهان انجام شد. حکم او؟ مدل چیزی را نشان داد که او «قابلیت اثبات اصلی» نامید—توانایی ساختن یک استدلال ریاضی جدید از ابتدا.
چه اتفاقی افتاد
Gowers مسئلهای باز در نظریه اعداد افزایشی به مدل ارائه کرد. ظرف ۶۰ دقیقه، GPT 5.5 Pro یک اثبات کامل و منطقی منسجم تولید کرد. Gowers زنجیره استدلال را «به طور قابل توجهی زیبا» توصیف کرد—نوع اثباتی که یک دانشجوی تحصیلات تکمیلی با استعداد ممکن است پس از هفتهها کار تولید کند.
چرا این مهم است
این پیشرفت سه پیامد فوری دارد:
۱. تحقیقات ریاضی به شدت شتاب خواهد گرفت. اگر مدلهای frontier بتوانند به طور خودمختار قضایای جدید را اثبات کنند، تنگنا از «پیدا کردن اثبات» به «پرسیدن سوالات درست» تغییر میکند.
۲. آموزش ریاضی با سوالات وجودی مواجه است. وقتی یک ماشین میتواند از نامزدهای دکتری بهتر استدلال کند، چه چیزی باید آموزش دهیم؟ اجماع در حال ظهور این است که شهود ریاضی و فرمولبندی مسئله ارزشمندتر از محاسبه میشوند.
۳. تعریف «فهم» تحت فشار است. آیا مدل واقعاً ریاضی را میفهمد یا در حال انجام تکمیل الگوی فوقپیچیده است؟ خود گاورز اعتراف میکند تمایز در حال محو شدن است.
مطالعه مرتبط: GPT 5.5 Instant Edition: آنچه توسعهدهندگان باید بدانند · استدلال موازی تطبیقی: وقتی LLMها چندوظیفهای کار میکنند