A model for algorithms would not be trained on code but mathematics with some limited psuedocode. IIRC there are some people looking at theorem proving with LL

A model for algorithms would not be trained on code but mathematics with some limited psuedocode. IIRC there are some people looking at theorem proving with LLMs, but the reality is they don't have to do anything foundational or groundbreaking to be of value in assisting, supplanting, or replacing the vast majority of people who interact with computer code. We are talking about the field that openly just memorized leetcode questions to "make it", right? Why should we have such high standards for tools when we don't even apply them to the "best and brightest"