Mathematics is producing proofs faster than it has ever produced them, and mathematical progress has not accelerated. That fact is not a paradox. It is the clearest available evidence for a structural claim about artificial intelligence — one that can be stated precisely, proved in three independent ways, and, uncomfortably, does not say what most people want it to say.… Read More “No Fixed Frame Is Enough”