undefined | Better HN

0 pointsest4y ago0 comments

Well I'd say it's enough to automatically solve many high-school level problems, automatically. Like a poor man's Mathematica or WolframAlpha.

0 comments

mkl4y ago

Yes, but that's a totally different category of problem from what proof assistants do.

j / k navigate · click thread line to collapse

0 pointsest4y ago0 comments

Well I'd say it's enough to automatically solve many high-school level problems, automatically. Like a poor man's Mathematica or WolframAlpha.

mkl4y ago

Yes, but that's a totally different category of problem from what proof assistants do.

j / k navigate · click thread line to collapse