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, 2h ago, first seen 2h 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 2h ago

— likes— comments— saves— reposts

Sentiment

Positive——Negative

Summary

Not enough discussion yet.

No sentiment analysis available yet.

Featured Source