期待她的再次辉煌,不要过几年又被打脸回来。
普通学生不用靠奥林匹克make a living吧?![]()
Meta AI Has Built A Neural Theorem Prover That Has Solved 10 International Math Olympiad (IMO) Problems — 5x More Than Any Previous Artificial Intelligence AI System
The scientific world has long acknowledged that proving mathematical theorems is an essential first step in developing artificial intelligence. To prove the truth or falsity of a conjecture, one must use symbolic thinking and sort through an unlimited number of alternatives. These tasks are...www.marktechpost.com
AI 都能解奥林匹克数学了,普通学生可能搞一生也解不了,是不是就应该放弃数学呢