Hunter📈🌈📊(@StatisticUrban):Google just solved 9/353 open Erdős Problems at the cost of a few hundred dollars each using its most capable LLM. The proofs were written in Lean and mechanically verified. This is no longer just olympiad mathematics.

Hunter📈🌈📊

@StatisticUrban

Data scientist │ MS in CS, stats, biochemistry │ Current Econ MS student │ 🇺🇸🇩🇪🇬🇧 Policy-centered tweets about tech, bio, urbanism, economics, & politics

Joined February 2020

6.1K Following 56.9K Followers

Hunter📈🌈📊@StatisticUrban

2026.05.24 17:45

Google just solved 9/353 open Erdős Problems at the cost of a few hundred dollars each using its most capable LLM. The proofs were written in Lean and mechanically verified. This is no longer just olympiad mathematics.