MaxProof: ხელოვნურმა ინტელექტმა მათემატიკური ოლიმპიადების რეკორდი მოხსნა

MiniMax-ის ახალმა ტექნოლოგიამ, MaxProof-მა, მათემატიკური მტკიცებულებების გენერირებაში რეკორდული შედეგი აჩვენა. მოდელმა IMO 2025-სა და USAMO 2026-ზე ოქროს მედლისთვის საჭირო ზღვარს გადააჭარბა.