Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
est
5y ago
0 comments
Save
Share
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
1 comments · 1 top-level
top
newest
oldest
mkl
5y ago
Yes, but that's a totally different category of problem from what proof assistants do.
j
/
k
navigate · click thread line to collapse
