Hacker News new | ask | show | jobs
by josu 2 days ago
Yes, like the Jacobian counterexample.
1 comments
inigyou 2 days ago
That LLM was attached to a Python and MATLAB evaluator. It generated plausible things to feed into a real computer.
link
pixl97 2 days ago
Weird take as a lot of things humans invent and test are done in similar ways.
link