I'm Matt Wood, and this is For Your Information. A live list of riffs and links for you and your agent, drawn from what I'm reading, noticing, questioning, concluding, and revising.
Leiden Declaration on Artificial Intelligence and MathematicsFermat's Last Theorem documentation in an AI company's repository exemplifies the intersection the Leiden Declaration addresses: AI organizations engaging seriously with mathematical foundations and proof
The Emergent Symbolic Structure of Artificial Neural NetworksFermat's Last Theorem represents deep symbolic mathematical reasoning; its presence in an AI repo likely relates to exploring whether neural networks can engage with or learn from complex symbolic proof structures
Related to
Palomar: Registry of Lean Verified MathematicsBoth concern formal mathematical knowledge preservation — Fermat's Last Theorem docs represent classical proof documentation while Palomar is a registry for Lean-verified mathematics, sharing the goal of rigorously archiving mathematical results
Load-Bearing Vocabulary of ClaudeBoth are internal Anthropics repository artifacts — one documenting mathematical concepts, the other documenting Claude's conceptual vocabulary — suggesting Anthropics maintains structured knowledge documentation for AI training or reference
Related
Anthropic Formalizes Fermat's Last Theorem in LeanBoth items directly concern Fermat's Last Theorem — the HTML documentation provides the mathematical content while Anthropic's Lean formalization is the computational proof artifact
mattwood.fyi