AI在2026年赢得IMO金牌？

AI科技大型科技公司AI基准人工智能成就

• 人工智能将在2026年获得国际数学奥林匹克金牌吗？14¢

This market will resolve to "Yes" if any AI gets a gold medal in the International Math Olympiad between January 1, 2026 and December 31, 2026, 11:59 PM ET. Otherwise this market will resolve to "No." The resolution source is the IMO Grand Challenge (https://imo-grand-challenge.github.io/) and the Artificial Intelligence Math Olympiad (AIMO, https://aimoprize.com/). If either source demonstrates that an AI has won the challenge/prize before the resolution date, this market will resolve to "Yes".