Well I'd say it's enough to automatically solve many high-school level problems,... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		est on June 20, 2021 \| parent \| context \| favorite \| on: Mathematicians welcome computer-assisted proof in ... Well I'd say it's enough to automatically solve many high-school level problems, automatically. Like a poor man's Mathematica or WolframAlpha.

mkl on June 20, 2021 [–]

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

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