6 ms·
> If you can come up with a way to do math without reasoning, that would be, in a sense, even more interesting than AI. Logic is just syntactic manipulation of
by oldsecondhand 4mo ago
> If you can come up with a way to do math without reasoning, that would be, in a sense, even more interesting than AI.
Logic is just syntactic manipulation of formulas. By the early 90s logical reasoning was pretty much solved with classical AI (the last building block being constraint logic programming).
- CamperBob2 4mo agoSo you'll be able to show me the early-90s era program that can solve original IMO-level problems when supplied with the plaintext questions. Right?
- 8note 4mo agoif i presented math problems to the best english mathematicians in chinese, does that mean they arent able to reason? the plain text is an arbitrary constraint
- CamperBob2 4mo agoThe actual question is, if you presented an undergraduate-level calculus problem to a human who is considered intelligent but who was never given an "understanding" of math in school, would the human be able to solve it? Why or why not? If so, what exactly would you call the process by which the intelligent human solves the math problem that he or she does not initially understand? Whatever you call that process is what a reasoning model does. You don't have to call it "reasoning," of course... unless you want other people to understand what you're talking about.