ben hylak
@benhylak
参加 July 2009
2.6K フォロー中 51.8K ファン
this is the correct takeaway.
much of what we consider the frontier of intelligence is, and has always been, movable through sheer brute force.
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!
もっと見る
