Izzy(@isidoremiller):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!

Izzy

@isidoremiller

merry wanderer of the night, AI research @ Hex

가입 September 2018

772 팔로잉 중 1.7K 팬

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!