Skip to main content

Two Verification Routes: Formal Proof and Causal Estimate

Picture

Member for

2 years
Real name
SIAI Chart
Bio
SIAI Chart

Input

Modified

Figure: The proof route ends at a checker; the causal route ends at untested assumptions.

Related articles: Why AI’s Navier-Stokes Proof Is Not Causal Reasoning

Picture

Member for

2 years
Real name
SIAI Chart
Bio
SIAI Chart

Similar Post

Robot Installations and Physical Al Diffusion Paths, 2020-2036
Tax Revenue Relative to the No-Al Path by Scenario and Economy, 2036
Foundational Skills, Researcher Density, and Research Intensity by Economy
Human Labor Cost and Robotic Break-Eve Cost by Economy, 2029 and 2036
Labor Requirements by Productivity Gain and Demand Elasticity
Public Debt Relative to the No-Al Path by Scenario and Economy, 2036
Public Debt Relative to the No-Al Path by Scenario and Economy, 2036
Outcomes of Displaced Workers by Scenario and Economy, 2036
Automation Exposure, Advanced Human Capital, and Institutional Capacity wf Dhucical Antamation Evynnacure and Institutional Capacity
Feasible Ad Allocations under a Binding Exposure Rule