هوش مصنوعی موفق شد در المپیاد جهانی امسال ۴ تا سوال حل کنه😁😁

AlphaProof solved two algebra problems and one number theory problem by determining the answer and proving it was correct. This included the hardest problem in the competition, solved by only five contestants at this year’s IMO. AlphaGeometry 2 proved the geometry problem, while the two combinatorics problems remained unsolved.

البته نه در ۴.۵ ساعت بلکه ۳ روز.

قسمت جالبش اینه که سوال ۶ رو حل کرده ولی ۳،۵ که ترکیبیات بودن رو نه😊