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.
Numberwang Neural NetworkBoth involve formal or computational approaches to mathematical/numeric problems, contrasting playful numeric neural nets with rigorous proof formalization
SWE-bench Science: Coding Agents in Scientific Software EngineeringBoth represent the intersection of automated/formal tools with scientific problem-solving — SWE-bench Science benchmarks coding agents on scientific software, while this Lean proof benchmarks formal verification on a concrete mathematical optimization
We're Gonna Need a Lot More MathematiciansBoth engage with the question of mathematical work and formalization — the Lean proof represents exactly the kind of rigorous machine-verified mathematics that intersects with debates about the future role of human mathematicians
Supports
AI in ScienceLean formalizations of optimization proofs exemplify AI and formal methods in science, directly relevant to how AI tools are transforming mathematical and scientific research
mattwood.fyi