🧮 ‏OpenAI تازگی یه مجموعه از مسئله‌های ریاضی رو که یکی از مدل‌های داخلیش روشون کار کرده و حلشون کرده رو، توی گیت هاب گذاشته. یسری از مسئله ها جز مسئله های سخت ریاضی هستن و OpenAI بعضی از اثبات هارو با Lean گذاشته که بشه درستی اونهارو هم بررسی کرد.

البته هنوز همشون بررسی کامل نشدن و ممکنه ایراد داشته باشن.

اما برای اونایی که نمیدونن Lean چیه، یه زبان برای نوشتن اثبات‌های ریاضیه که به کامپیوتر اجازه میده درستی مراحل اثبات رو بررسی کنه و فقط بجای دیدن توضیحات میتونیم اثبات هارو با سیستم بررسی کنیم.

لینک ریپازیتوری:
🔗 https://github.com/openai/math

#openai #math #challenge
☕️ Telegram | Website | Discord