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.
GPT-6 Astra System CardGPT-6 Astra is credited with the novel prime gaps solution, making this paper direct evidence of the capabilities described in the GPT-6 Astra system card
Path to AstraA novel mathematical result attributed to an AI model demonstrates the trajectory toward advanced AI capability described in 'Path to Astra'
Palomar: Registry of Lean Verified MathematicsPalomar is a registry of lean verified mathematics; an AI-generated proof about prime gaps would be a candidate for formal verification and inclusion in such a registry
Related to
Leiden Declaration on Artificial Intelligence and MathematicsThe Leiden Declaration addresses AI's role in mathematics research — an AI-authored paper on prime gaps is precisely the kind of AI-mathematics intersection the declaration is concerned with governing
Related
'Short Gaps' thematically parallels an item with missing content — both represent absence or incompleteness as a meaningful state
mattwood.fyi