It says that the most important AI system capabilities to create are exactly those things that people can do well. But is this what we want? Is this what we need? 2/
— Thomas G. Dietterich (@tdietterich) April 17, 2024
Examples include
— Thomas G. Dietterich (@tdietterich) April 17, 2024
1. writing and checking formal proofs (in mathematics and for software),
2. writing good tests for verifying engineered systems,
3. integrating the entire scientific literature to identify inconsistencies and opportunities, 4/
Each of these capabilities exceeds human performance -- and that is exactly the point. People are not good at these tasks, and this is why we need computational help.
— Thomas G. Dietterich (@tdietterich) April 17, 2024
Building AGI is a diversion from building these capabilities. end/
