Strange New Universes: Proof Assistants and Synthetic Foundations, by Michael Shulman "[...] allow mathematicians to explore radically new kinds of mathematics using an LLM-powered proof assistant to train their intuitions [...]" https://t.co/eoVE6fSjsz
6,036 followers
185 followers
RT @Jose_A_Alonso: Strange new universes: Proof assistants and synthetic foundations. ~ Michael Shulman. https://t.co/UB64aQ2RWD #Math #ITP…
2,134 followers
RT @Jose_A_Alonso: Strange new universes: Proof assistants and synthetic foundations. ~ Michael Shulman. https://t.co/UB64aQ2RWD #Math #ITP…
3,692 followers
Strange new universes: Proof assistants and synthetic foundations. ~ Michael Shulman. https://t.co/UB64aQ2RWD #Math #ITP #LLMs