Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?14 insights · See all
- Searching axiom spaces can occasionally discover deep mathematical structures because exhaustive or heuristic generation sometimes reveals 'islands' where many theorems follow, though most generated systems will be barren noise until a motivating application is found.
Searching axiom spaces can occasionally discover deep mathematical structures because exhaustive or heuristic generation sometimes reveals 'islands' where many theorems follow, though most generated systems will be barren noise until a motivating application is found.
- Tasks that lack grindability, such as many web interactions, fall behind because non-determinism, bot detectors, and changing environments prevent massive parallel rollouts and make credit assignment and sample reuse impractical.
Tasks that lack grindability, such as many web interactions, fall behind because non-determinism, bot detectors, and changing environments prevent massive parallel rollouts and make credit assignment and sample reuse impractical.
Keep the best of Dwarkesh Patel
A free account saves these cards to your Collection, and Korva resurfaces them so you actually remember.