Hunter📈🌈📊
@StatisticUrban
Data scientist │ MS in CS, stats, biochemistry │ Current Econ MS student │ 🇺🇸🇩🇪🇬🇧 Policy-centered tweets about tech, bio, urbanism, economics, & politics
加入 February 2020
6.1K 正在关注 56.9K 粉丝
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.
显示更多
