New answers tagged


Yes. The research area is known as program synthesis. You can find hundreds or thousands of papers on the subject. (You might also be interested in declarative programming.) What you're describing is way beyond the state of the art. It'd be really cool if we could do something like that -- but we're a long long way away from knowing how to build that.


Nevermind, I am big dumb-dumb. I realized I could easily just use the Newton–Raphson method or the Bisection method.

Top 50 recent answers are included