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!
더 보기
