One number, the pointwise mutual information between a line and its setup, tested on jokes, three thousand songs, four thousand Lean proofs and an EEG rig.
Notes de conférence : du transistor au LLM en trois étapes, l'automate, le réseau de neurones, le modèle de langage, avec les liens pour tout refaire soi-même.
Notes from a talk to a panel of ethicists: why "intelligence" is the wrong word, what next-token prediction is and is not, and what a tailor-made religion would cost.
