The Ledger
Every statement that passed quotation and attribution checks. Mix any filter with any other: certainty 1/5, debate potential 5/5, or both at once.
why aren't all 7 resolved? a statement only gets an assessment when the public record can support or contradict it. opinions and what-ifs never can, and 0 checkable ones are still open, waiting for their date. predictions held up or didn't; assertions are supported or contradicted. on every card: ▮▮▮▮▮ certainty · ▮▮▮▮▮ debate potential. speakers are clickable
Welling: Diffusion Models Share Exact Mathematics With Non-Equilibrium Stochastic Thermodynamics
“It turns out that the mathematics that we use for diffusion models, but even for reinforcement learning, for Schrodinger bridges, for MCMC sampling, has the same mathematics as this theory, this physical theory of non-equilibrium Systems.”
Welling: AI Enables Searching the Space of All Possible Molecules
“Now we can treat this as a search engine. Like we search the internet, we now search the space of all possible molecules, not just the ones that people have made, or that they're in the universe, but all of them.”
Welling: Physical Lab Experiments Act as Nature-Powered 'Physics Processing Units'
“I want to think of it as what I would call a sort of a physics processing unit, like a PPU, right? Which is you have digital processing units, and then you have physics processing units. So it's basically nature doing computations for you. It's the fastest com…”
Welling: Materials Discovery Moat Lies in Data and Platform Engineering
“Where the moat is in the data that you can get your hands on, and the, and actually building the platform”
Welling: Lab Automation Fails to Generalize Across Material Science Problem Classes
“And also, it is very vertical specific. So it's like completely automating something for problem A, You know, you can probably achieve it, but then you'll sort of have to start over again for problem B because, you know, your experimental setup looks very diff…”
Welling: Simple Data Augmentation Can Outperform Hard-Coded Neural Network Equivariance
“Sometimes actually data augmentation works even better than hard coding the equivalence in, and this is something to do with the fact that if you constrain the optimization, the weights, before the optimization starts, the optimization surface or objective bec…”