علم
@gdb
@gdbOpenAI از مدل بعدی‌ش به اسم Astra رونمایی کرده؛ با نسخه داخلیش ۱۰ تا مسئله سنگین ریاضی و علوم کامپیوتر رو حل کردن و اثبات دقیق تحویل دادن
OpenAI از مدل بعدی‌ش به اسم Astra رونمایی کرده؛ با نسخه داخلیش ۱۰ تا مسئله سنگین ریاضی و علوم کامپیوتر رو حل کردن و اثبات دقیق تحویل دادن. کل خرج کار کلاً ۲۰۰۰ دلار شده!
منبع
Greg Brockman@gdb
ten significant advances in mathematics and theoretical computer science.
solved using an internal version of Astra, our next major model, for a total cost of about $2000 at Sol API prices:
Sebastien Bubeck @SebastienBubeck
yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.
We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more.
More thoughts here: https://openai.com/index/ten-advances-in-mathematics/
۱۰ مرداد ۱۴۰۵مشاهده در X
بیشتر بخوانید
مدل جدید OpenAI زده ۱۰ تا مسئله قفل و طلسم‌شده ریاضی و کامپیوتر رو که سال‌ها کسی نتونسته بود جواب بده حل کرده، اونم کلاً با دو هزار دلار خرج توکن
برگات نریزه ولی اوپن‌ای‌آی اومده مدعی شده یکی از گنده‌ترین معماهای تاریخ ریاضی یعنی مسئله هزاره «ناوِیر-استوکس» رو حل کرده
دنیای هوش مصنوعی سر یه مسئله ریاضی بدجوری به هم ریخته و دعوای عجیبی بین پژوهشگرا و اوپن‌ای‌آی بالا گرفته
ماجرای اوپن‌ای‌آی و لِوِنت آلپوگه سر یه دستاورد ریاضی خفن حسابی بالا گرفته و کار به جایی رسیده که خود اوپن‌ای‌آی دست‌ها رو برده بالا و اعتراف کرده بعید نیست از دیتای بدون‌نامِ کاربری این بندگان خدا واسه قوی‌تر کردن مدل‌هاش لقمه گرفته باشه
نظرها
هنوز نظری نیست.
بخش نظرها فعلاً در دسترس نیست.