Izzy
@isidoremiller
merry wanderer of the night, AI research @ Hex
772 Following 1.7K Followers
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!
Show more
