پژوهش
OpenAI ۷۲۲ دستنوشته ریاضی تولیدشده با AI را منتشر کرد، اما اعتبارسنجی هنوز کامل نیست
OpenAI مجموعهای شامل ۷۲۲ دستنوشته ریاضی در ۳۷۲ خانواده نتیجه را از یک مدل مرزی داخلی و منتشرنشده ارائه کرده و در کنار آن بخشی از اثباتهای Lean و جزئیات فرایند تولید را نیز منتشر کرده است.