Мы набрали достаточно высокие баллы, чтобы получить золото на этом year's IOI онлайн-соревновании с системой рассуждений — заняв 6-е место среди людей и 1-е место среди других ИИ. Всего за несколько недель: • 2-е место на AtCoder • Уровень золотой медали на IMO • Уровень золотой медали на IOI

Та же модельная семья преуспела на IMO (математические доказательства), AtCoder Heuristics (соревновательное программирование), а теперь и на IOI — охватывая творческие, нечеткие и точные задачи рассуждения.