Concept detail

formal-verification

8 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…

AI Can Write the Proof. Who Checks It? — Leonardo de Moura

An AI-generated disp…

In a dependent-type …

AI's distinguishing …

Trust in a large for…

Scaling formal mathe…

Formal verification …

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 …

A better path for AI with Max Tegmark

Vericoding: pair LLM…

Asymptotic Internal …

Tool AI vs Replaceme…

Independent safety m…

Vibe coding — accept…

Commoditizing open-s…

Dr Terence Tao | 2026 Frontier & Pioneer Symposium

Formalization acts a…

The Polymath project…

A hard problem was m…

The summary asserts …

Tao frames mathemati…

Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura

Formal verification …

AI-driven proof main…

Formal verification …

The verified artifac…

Lean's use of depend…

Formal verification …