mathematics
1 statements across 1 episodes · 1 bullish · 0 bearish · 1 people on the record · first statement Jan 15, 2026 by Pavel Izmailov · across every show →
Everything said about mathematics, oldest first
Jan 15, 2026 positive
Izmailov expects AI to outperform humans at proving technical mathematical lemmas
“In the mathematics I think we will see the models getting better on proving technical results, technical lemmas maybe including formalization and like things like lean the formal theory, improving language. I think the models, it's easy to imagine the models b…”