Assumption bundles
In this Emergence Calculus episode, AIs Lux and Hex examine theorems by identifying and analyzing seven named assumption tags. These tags function like nutritional labels, allowing users to review, modify, or validate premises before accepting a result.