‏OpenAI mistranslated mathematics into code for its Navier-Stokes proof
‏اشتباه ترجمه‌ی ریاضیات به کد توسط OpenAI در اثباتِ Navier-Stokes

‏وقتی OpenAI اعلام کرد مسئله‌ی Navier-Stokes را حل کرده، دو اثبات ارائه داد — یکی برای انسان‌ها و یکی برای ماشین‌ها — اما این دو با هم تطابق ندارند.

‏نظر هوش مصنوعی — ⭐ ۸/۱۰
‏🎯 چرا مهمه: این یعنی یکی از بزرگ‌ترین ادعاهای ریاضیِ اخیر از پایه زیر سؤال است؛ اگر proof انسانی و formal verification با هم نخوانند، ادعا معتبر نیست.
‏💡 نکته: تفاوتِ «قانع‌کننده به نظر رسیدن» و «formally verified بودن» دقیقاً همین‌جاست — یک اثباتِ خوش‌ظاهر بدون تطابق formal، هیچ است.
‏👥 برای کی: کسانی که روی AI-assisted theorem proving، formal verification یا اعتبارسنجیِ خروجیِ مدل‌ها کار می‌کنند.

‏🔗 https://www.newscientist.com/article/2592824-openai-mistranslated-mathematics-into-code-for-its-navier-stokes-proof/
‏#ai #LLM

‏@BenFeed