🇨🇳 China just hit a new AI milestone

🇨🇳 China just hit a new AI milestone. RedNote, the company behind Xiaohongshu, says its new AI model dots-note-3.0 became the first to score a perfect 42/42 on the International Mathematical Olympiad. That matters because the IMO isn’t multiple choice. Every solution requires a complete written proof, and human judges inspect every line. Missing a single logical step costs points. Unlike most AI math benchmarks that only check the final answer, this model generated, tested, broke, and refined its own proofs using an agentic loop with Python before submitting them. Even more impressive? The winning model is the smallest in the dots3 family. @aipost 🏴