cd/entity/International Olympiad in Informatics· home› entities› International Olympiad in Informatics

grep -l @international olympiad in informatics /news/*.json | wc -l → 3

International Olympiad in Informatics

mentions 3 type Person feed RSS

// recent coverage 3 mentions

15:05

2026-09-12

vals.ai

artificial-intelligence

Vals.ai Benchmark – International Olympiad in Informatics

Vals.ai's new International Olympiad in Informatics benchmark found that GPT-6 Astra solved every problem across all three years tested, while GPT-5.6 Sol scored 91.17%, Claude Fable 5.1 scored 90.78%…

12:16

2026-08-11

lesswrong.com

artificial-intelligence

Productive Signaling: Competitive Software Development, Not Competitive Programming

A Substack essay by an author exploring formal verification argues that AI coding tools enable replacing elite programming competitions like the International Olympiad in Informatics (IOI) with contes…

04:27

2026-07-31

koreatimes.co.kr

ai-policy

Hanwha Life Insurance to support Korea's International Olympiad in Informatics team

Hanwha Life Insurance signed a memorandum of understanding to support Korea's national team for this year's International Olympiad in Informatics (IOI), following the team's first-ever clean sweep of …

// co-occurs with top 8 entities

Hanwha Life Insurance 1 International Mathematics Olympiad 1 Substack 1 Vals.ai 1 GPT-6 Astra 1 GPT-5.6 Sol 1 Claude Fable 5.1 1 GPT-5.6 Terra 1

// topics top 6 topics

ai policy 2 artificial intelligence 2 ai tools 1 large language models 1 ai research 1 ai agents 1