2 years agoOpenAI tackles Math - Formal Mathematics Statement Curriculum Learning (Paper Explained)ykilcher
2 months agoThe Tucker Carlson Interview: Pavel Durov, owner of Telegream - first interview in 9 yearscrashingthunder
1 year agoMartina Moravcova: Five Olympiads and Becoming a Dominant Swimmer | Shozda Show #001The Shozda Show
1 year agoSuccess of Russia as a whole depends on the success of each person! Vladimir Putin September 1, 2022Russian News
2 years agoFirst Author Interview: AI & formal math (Formal Mathematics Statement Curriculum Learning)ykilcher
1 month agoSo Cute So Adorable International Mathematics Olympiad:super trick for Olympiad Mathematics A-MATHSAMaths
5 months agoMaths olympiad class 2 | SOF IMO CLASS 2 | SOF MATHS OLYMPIAD CLASS 2 | Sample paper IMO class 2FACTSFLAVORSANDACTIVITIES
30 days agoGermany | A Nice Math Olympiad Algebra Problem | What Most Mathematicians Try to Hide | A-MathsAMaths
1 year agoChennai Chess Olympiad | The Best Game From The Round 1 | Shirov vs Toczek: 44th Olympiad 2022Chess Guru
3 months agoArt and Athletics Unite The Revolutionary Cultural Olympiad of Paris 2024The Cogitating Ceviché
23 days ago৬৫তম আন্তর্জাতিক গনিত অলিম্পিয়াডের বাংলাদেশ দল ঘোষনা | International Math OlympiadPositive Think Education