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!