感谢IT之家网友jowyoung的线索投递！意外！全球奥数终极对决，第65届IMO，中国队以2分之差，憾失团体第一……卫冕失败，“五连冠”被终结。此次中国6位选手共摘得5金1银，总分190分，团体排名第二，位列美国队之后。中国队共计在IMO上拿下过24次第一；过去连续5年，中国队都坐上了团体冠军的宝座，堪比乒乓球一样的统治力。但现在，王座易主，“中国二队”上位。不过，不过遗憾之外，今年中国六位选手
-
-
AI 又对奥数下手，刷题刷出“模考”最好成绩
AI在最不擅长的数学方面，这次大幅刷新了最好成绩。其中关键角色是OpenAI给Lean做的一个定理证明器。听起来有点耳熟？没错，就是去年参加国际数学奥林匹克竞赛（IMO）的“非人”选手Lean~自从2013年微软研究院推出Lean以来，就一直尝试让AI在数学命题证明这方面取得进展。而这次也确实得到了回报，OpenAI新做的这个定理证明器让它学会了解决一部分有难度的高中奥数题，包括美国的数学竞赛AM453 0 2022-02-04 13:51
