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!