۳ تا از مقاله‌ها رو withdraw کردن.
۱۴ تا رو اصلاحیه دادن.
https://github.com/openai/math/blob/main/history.md
۷۱۹ تا مقاله تا الان شده که ۳۰۰ تاش تا الان formalize شده و یه عبارتی lean verified شده.
@mzbstmath
Post #343
926
- Oct 9, 2026سیر تحولات و حرف‌ها راجع به این AI خیلی زیاده و من قصد ندارم کانال رو تبدیل به خبرگزاری دس…
- Oct 9, 2026امروز ویژه برنامه Z-Cast راجع به ریلیز اخیر OpenAI رو تهیه کردیم. با تشکر از دوستان گران‌ق…
- Oct 9, 2026یکی از دستاوردهای مهم OpenAI در زمینه علوم کامپیوتر کم کردن پیچیدگی ضرب ماتریس‌ها هست. نمو…
- Oct 8, 2026نظر دکتر مهدیان (از مدیران ارشد گوگل) راجع به حماسه ۷ اکتبر OpenAi @mzbstmath
- Oct 7, 2026ریاضی و المپیاد - مجتبی زارع pinned a file
- Oct 7, 2026عجب ۷ اکتبری شد امسال😊 انتخاب چنین تاریخی توسط OpenAi نمیتونه نمادین نباشه. @mzbstmath