A per-instance cost model for AI: compute and verification scale with the difficulty of one question.

Cheap, sound verification of decentralized training steps (Nous Research Psyche/DisTrO): Freivalds matmul checks + floating-point soundness model + adaptive-adversary, multi-round & backdoor security analysis on a real transformer block.