In early 2026, demos showed agents reading papers with figures, writing experiment code, and formalizing intermediate lemmas.
Integration is imperfect: scientific OCR and diagram errors persist. Still, assisted-researcher throughput grew.
The pattern feeds both product labs and AI-for-pure-math efforts.