Hacker News new | past | comments | ask | show | jobs | submit login

This misses the use of the AI model for prediction, search and optimisation, backed up by simulation for verification.

> it is basically useless, as presumably the verification of a solution takes as long as a classical simulation.

If and only if you're doing one simulation which is rarely, if ever, the case.




The point is that without a guaranteed error bound you would have to verify every approximation from your black-box AI.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: