Hacker News Reader

Yes, like the Jacobian counterexample.

That LLM was attached to a Python and MATLAB evaluator. It generated plausible things to feed into a real computer.

Weird take as a lot of things humans invent and test are done in similar ways.