ben hylak(@benhylak):this is the correct takeaway. much of what we consider the frontier of intelligence is, and has always been, movable through sheer brute force.

ben hylak

@benhylak

aspiring optimist. cto @raindrop_ai, prev @apple design, @spacex avionics

Joined July 2009

2.6K Following 51.8K Followers

ben hylak@benhylak

2026.07.20 15:22

this is the correct takeaway. much of what we consider the frontier of intelligence is, and has always been, movable through sheer brute force.

Izzy@isidoremiller

2026.07.20 15:12

there are a lot of interesting possibilities, not just for pure math, downstream of the increasingly clear fact that LLMs are superhuman at disproof/counterexample discovery despite being milquetoast at creatively opening new doors. many problems can be reworked to fit this!