ادعاهای ریاضی OpenAI گلوگاه راستی‌آزمایی AI را آشکار می‌کند
گزارش‌ها درباره حل مسائل بزرگ ریاضی توسط مدل‌های OpenAI به مسئله‌ای عمیق‌تر اشاره دارند: تولید اثبات ارزان‌تر می‌شود، اما راستی‌آزمایی، انتساب و انتشار هنوز با سرعت انسانی پیش می‌روند.
جدیدترین
همه مطالب
Astra for Law از OpenAI یک سیستم هوش مصنوعی حقوقی است، نه یک مدل جدید
عرضه حقوقی OpenAI کمتر درباره یک مدل پایه جدید است و بیشتر درباره سیستمی پیرامون آن: بازیابی دامنه‌ای، ابزارهای قابل اعتماد، مجوزها، بنچمارک‌ها و مسیرهای بازبینی.
ادعای OpenAI درباره اثبات Navier–Stokes، به زبان ساده
OpenAI می‌گوید عامل‌های AI یک تکینگی Navier–Stokes پیدا کرده‌اند و اثبات را در Lean رسمی‌سازی کرده‌اند. داستان سخت‌تر، مرحله بعد است: بازبینی، اعتباردهی، و قدرت دسته‌های خصوصی عامل‌ها در ریاضیات.