By: "an LLM AI just solved Navier Stokes" I assume you mean: "an LLM AI [company] just [claimed that a team of mathematicians they hired, using their AI] [ma

By: "an LLM AI just solved Navier Stokes" I assume you mean: "an LLM AI [company] just [claimed that a team of mathematicians they hired, using their AI] [may have] solved [part of] Navier Stokes[, definitely prompted by (and possibly by looking at) the work of human mathematicians."