Новость

Китайская модель dots-note-3.0 набрала 42/42 на Международной математической олимпиаде

1 источник

Все новости

Модель dots-note-3.0 от RedNote впервые получила максимальные 42 балла из 42 на Международной математической олимпиаде. Для решения задач она использовала агентный цикл с Python для генерации и проверки доказательств.

Китайская компания RedNote, стоящая за платформой Xiaohongshu, сообщила о достижении в области искусственного интеллекта: её модель dots-note-3.0 первой набрала 42 балла из 42 на Международной математической олимпиаде (IMO). В отличие от многих тестов для ИИ, IMO требует полного письменного доказательства каждого решения, а человеческие судьи проверяют каждый шаг. По описанию, модель генерировала, тестировала, разбивала и уточняла собственные доказательства, используя агентный цикл с Python, прежде чем представить результат. Также отмечается, что победившая модель является самой маленькой в семействе dots3.

Источники 1
  • Китайская модель dots-note-3.0 набрала 42/42 на Международной математической олимпиаде AI Post 
    🇨🇳 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 🏴