For the first time, an artificial intelligence model has achieved a perfect score at the International Mathematical Olympiad (IMO) – and it was developed by Chinese social giant RedNote. The model, dots-note-3.0, solved all six puzzles and secured a perfect score of 42 at this year’s IMO, which concluded in Shanghai on Monday. The note variant, still in beta phase, is currently the lightest model in the dots3 family, which includes two larger versions – jazz and aria – tailored for different use...