42 ms·Yes, like the Jacobian counterexample.by josu 4mo agoYes, like the Jacobian counterexample.inigyou 4mo agoThat LLM was attached to a Python and MATLAB evaluator. It generated plausible things to feed into a real computer.pixl97 4mo agoWeird take as a lot of things humans invent and test are done in similar ways.