Concept detail

proof-assistants

4 tagged videos · 0 connection videos · degree 0

Publication timeline

Source videos

Observed neighbors

No observed connections.

Related tagged insights

Scott Aaronson: The Mathocalypse, Will Intelligence Matter Anymore?

The rate at which a …

The AI capability th…

The human role bound…

AI attribution is be…

Capability gains are…

The singularity fram…

The Physicist Revolutionizing Physics With AI

Reliable AI-for-scie…

Physics is harder to…

Natural language (En…

Computational proble…

Auto-formalization o…

The paradigm being p…

Mathematics at a Turning Point: AI, Research, and the Next Generation

Cheap AI generation …

A layered architectu…

When generation beco…

As AI absorbs well-p…

Formal machine-check…

Scott Aaronson on the Impact of AI on Science and Mathematics

Machine-checkable pr…

Agents given open-en…

AI models are positi…

Watermarking works b…

AI is contributing t…

The AI community is …