Curated path
Research to Market
A curated path through useful resources that belong together.
Inside this Collection
Ordered alphabeticallyBinbin Ying
Binbin Ying is a biomedical engineering researcher and assistant professor at UT Southwestern Medical Center.
View ItemKaterina Spranger
Katerina Spranger is the founder and CEO of Oxford Heartbeat and winner of the 2026 European Prize for Women Innovators.
View ItemOpenAI reports AI-generated proof for Navier–Stokes existence and smoothness problem
OpenAI announces an AI-generated analytical proof and formal verification for the Navier–Stokes existence and smoothness problem, including a written proof and Lean formalization.
View Item