Loading activity…
@martinmbauer
Working on particle physics, quantum sensors, dark matter. Associate Prof at @IPPP_Durham @durham_uni, FLF @UKRI_News, Science board member @STFC_Matters
AI
A post says the physicists found more solutions to differential equations and calls this result “almost certainly more interesting” for physics applications such as fusion than Navier–Stokes.
AI
Another user said the brief proof description “smells so much of Claude,” highlighting the phrase “names each step and the Lean Theorem that carries it.”
