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.
๋ ๋ณด๊ธฐ
