UIUC researcher Talia Ringer shares a 2022 "AI for Proofs" throwback photo, prompting nostalgia among automated theorem proving researchers

— Christian Szegedy and Jesse Michael Han posted nostalgic reactions.

Original post

OPCS#43Christian Szegedy|@CHRSZEGEDY

@TaliaRinger @Yuhu_ai_ @jessemhan Feels like last century :)

10:42 AM · May 28, 2026 View on X

REPLYJM#1393Jesse Michael Han|@JESSEMHAN

@ChrSzegedy @TaliaRinger @Yuhu_ai_ 🤠

CSChristian Szegedy@ChrSzegedy

@TaliaRinger @Yuhu_ai_ @jessemhan Feels like last century :)

5:42 PM · May 28, 2026 · 960 Views

5:47 PM · May 28, 2026 · 109 Views