WTF... OpenAI just solved all five problems in the Algorithm division of the AtCoder World Tour Finals. Using E869120's well-known difficulty scale, a 1500-rated problem is the kind of challenge researchers can spend months working on. The two 2500-rated problems go far beyond AtCoder's usual upper limit of around 1800. Even the "easiest" 900-rated problem—one of the first three solved in just 38 minutes—is difficult enough that even world-class competitive programmers have roughly a 50-50 chance of solving it within the contest time. The amount of time that the hardest problems humans can create are able to resist AI is getting shorter and shorter. Congrat @OpenAI

2026 was the year AI started making real scientific discoveries. in a single year: > Claude Fable 5 found a counterexample to the 87-year-old Jacobian Conjecture > OpenAI Astra solved 10 open math problems, including proving the existence of a Bisopic group > GPT-5.2 Pro produced the first clear solution to an open Erdős problem > GPT-5.6 Sol Ultra proved the 50-year-old Cycle Double Cover Conjecture > Grok 4.5 disproved the 5-year-old Hypercontractive Boundary Conjecture > AI identified the genetic cause of a disease that had remained undiagnosed for 20 years > OpenAI increased enzyme reaction efficiency by 79× and discovered a new enzymatic mechanism > Isomorphic Labs unveiled IsoDDE, surpassing AlphaFold 3 by more than 2× for drug design > OpenAI solved all five problems in the AtCoder Algorithm Contest and topped the Heuristic Contest > an internal OpenAI model disproved the 80-year-old Erdős Unit Distance Conjecture this is what AI accomplished in 2026.