بچه‌های OpenAI دستاوردهای جدید ریاضی مدل خفن و داخلی‌شون رو رو کردن و برای محک زدنش با یه گروه مستقل از مؤسسه مطالعات پیشرفته هم مشورت کردن

بچه‌های OpenAI دستاوردهای جدید ریاضی مدل خفن و داخلی‌شون رو رو کردن و برای محک زدنش با یه گروه مستقل از مؤسسه مطالعات پیشرفته هم مشورت کردن. همیشه یه عده می‌گفتن این هوش مصنوعی‌ها فقط با سرچ کورکورانه و زورِ آزمون‌وخطا مثال نقض پیدا می‌کنن و کار درستِ ریاضی بلد نیستن. اما طبق آماری که دراومده، فقط حدود بیست درصدِ این دستاوردها مثال نقض بوده و بقیه‌ش اثبات‌های درست‌وحسابی و سنگینه. خلاصه این آمار خط بطلانی کشید رو حرف کسایی که فکر می‌کردن مدل‌ها تفکر عمیق ریاضی ندارن و بازیشون فقط جست‌وجوی سادست.

منبع

wh@nrehiew_

Looks like 20% of the results are disproofs/counterexamples. This is itself a disproof of people who said that the recent math breakthroughs are concentrated among counterexamples because models are only good at (brute force) search

OpenAI @OpenAI

We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. https://github.com/openai/math

۱۵ مهر ۱۴۰۵مشاهده در X

بچه‌های OpenAI دستاوردهای جدید ریاضی مدل خفن و داخلی‌شون رو رو کردن و برای محک زدنش با یه گروه مستقل از مؤسسه مطالعات پیشرفته هم مشورت کردن

منبع

نظرها

بیشتر بخوانید

تنظیمات

ظاهر و متن

خواندن و نمایش

استوری‌ها

صدا

اعلان‌ها و موضوع‌ها

صدای فارسی

راه‌های دیگر

ویدیوی خبر

گفتگو