It is sad to see that much attention given to LLM in comparison to the other types of AIs like those doing maths (strapped to a formal solver), folding protein

It is sad to see that much attention given to LLM in comparison to the other types of AIs like those doing maths (strapped to a formal solver), folding proteins, etc. We had a talk about those physics AIs using those maths AIs to design hard mathematical models to fit fundamental physics data.