Hunter๐๐๐
@StatisticUrban
Data scientist โ MS in CS, stats, biochemistry โ Current Econ MS student โ ๐บ๐ธ๐ฉ๐ช๐ฌ๐ง Policy-centered tweets about tech, bio, urbanism, economics, & politics
6.1K Following 56.9K Followers
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.
Show more
Here's an example of ongoing human physiological change: some people have a third artery in their arm. Some don't.
~10% of people born in the 1880s had the third artery, but ~33% of late 1900s babies have one, and a 2025 Australian cadaver study found it in ~43% of upper limbs.
Show more
