Reaction

David McAllester's early vision for AI in mathematics

A user recalls McAllester discussing the topic in 2012–14 and praises his positive outlook.

1 Source, 20d ago, first seen 20d ago

TLDR

David McAllester was talking about AI in mathematics in 2012–14, before the LLM era, according to one user's recollection. The user contrasts his positive vision with current commentary and, in a follow-up reply, says he got diverted to dependent type theory and the foundations of mathematics.

Today's Rank

—

Not ranked yet

Combined views

—

1 Source, first seen 20d ago