QC@QiaochuYuanspooky implication that there is potentially some whole universe of "shadow math" that you have to make inhuman mental movements to access so no human have done so yet, that is going to be increasingly revealed by frontier modelsOpens with an observation
QC@QiaochuYuanthe epistemic situation around LLM capabilities is so strange. afaict it's a publicly verifiable fact that gemini 2.5 pro experimental is now better at math than most graduate students, but eg most active mathoverflow or stackexchange users still think LLMs can't do math at allOpens with an observation