مجتبی زارع- دکترای ریاضی
مدال طلای کشوری ۹۳ و جهانی IMO 2015
ارتباط با ادمین @MzbstAdmin
Post #109
1.39K
هوش مصنوعی موفق شد در المپیاد جهانی امسال ۴ تا سوال حل کنه😁😁
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.
البته نه در ۴.۵ ساعت بلکه ۳ روز.
قسمت جالبش اینه که سوال ۶ رو حل کرده ولی ۳،۵ که ترکیبیات بودن رو نه😊
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.
البته نه در ۴.۵ ساعت بلکه ۳ روز.
قسمت جالبش اینه که سوال ۶ رو حل کرده ولی ۳،۵ که ترکیبیات بودن رو نه😊




