Algebra News

NO

NO

Someone gets 42

China 6 golds

USA second place

A female wins gold medal

Alexander Wang top 10 (tied counts)

There exist a tie for first place

A problem mentions anything related to China

Problem 3 or 6 is combinatorics

Bronze cutoff is at least 16

Problem 2 or 5 is number theory

At least 1/12 of all contestants receive at least gold

At least 1/4 of all contestants receive at least silver

At least 1/2 of all contestants receive at least bronze

Problem 2 or 5 is combinatorics

Problem 2 or 5 is geometry

Silver cutoff is at least 24

Alexander Wang first on team USA (tied counts)

a problem required to be done by casework (e.g. 2025 IMO P4 counts)

Gold cutoff is at least 30

A country scores 126 on a day

The property that 1013 is prime can be utilized to solve at least one of the 6 problems

a problem involves a game between exactly two players

Past IMO gold medalist gets bronze or lower

A country gets 6 Honourable Mentions

USA 6 golds

Problem 2 or 5 is algebra

Problem 1,2,4, or 5 has a < 25% solve rate (a solve is defined as at least 5 points)

rooi (@Incompleteusern) fakesolves an IMO problem at the IMO

Alexander Wang (USA) gets 42

Problem 1 or 4 has a < 60% solve rate (a solve is defined as at least 5 points)

Jat will fakesolve a problem YAEH

At least one reference of 67 appears on a problem

Alexander Wang got a score lower than last year, forming a decreasing pattern across his four-year career

cutoffs forms arithmetic progression

Geometry

Algebra

Combinatorics

NO

Number Go Up (Zeke Faux)

The Big Short (Michael Lewis)

Superforecasting (Dan Gardner and Philip Tetlock) - @JeromeHPowell

Our Mathematical Universe (Max Tegmark) - @TheAllMemeingEye

Permanent Record (Edward Snowden) - @JeromeHPowell

Red Heart (by @MaxHarms)

Superintelligence (Nick Bostrom) - @TheAllMemeingEye

The Optimist (Keach Hagey)

On the Edge (Nate Silver)

Algebraic Topology (Allen Hatcher)

The Age of Em (@RobinHanson)

80,000 Hours (Benjamin Todd)

Animal Liberation (Now) (Peter Singer) - @TheAllMemeingEye

Sapiens (Yuval Noah Harari) - @TheAllMemeingEye

NO

NO

Algebra

Number Theory

Other

Simulating Time With Square-Root Space

MIP* = RE

The Complexity of Gradient Descent: CLS = PPAD ∩ PLS

Graph Isomorphism in Quasipolynomial Time

A Dichotomy Theorem for Nonuniform CSPs

Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits

An Average-Case Depth Hierarchy Theorem for Boolean Circuits

Learning Algorithms from Natural Proofs

Deciding Parity Games in Quasi-polynomial Time

A Proof of the CSP Dichotomy Conjecture

Other

Monads

Dependent types

Rank polymorphism

Refinement types

Tactics

Algebraic effects