Viewing a single comment thread. View all comments

trutheality t1_j5ubis4 wrote

ChatGPT is good at syntax, but it's worse than pretty much any rule-based system at logic or arithmetic. So depending on your task, something like IBM Watson could be considered more advanced because it has dedicated rule-based reasoning. All it takes for MS or Google to make a "more advanced" system is just couple a large language model with a logic engine.

2

bitchslayer78 t1_j5ug86c wrote

Integrating wolfram with chat gpt api works pretty well but your point stands particularly when it comes to logic ; the models might differentiate integrate , work on combinatorics , graph theory ,hell alphatensor even found new linear algebra algorithms but none of em can do any true logic based activities like coming up with original proofs

3

starfries t1_j5uhnv9 wrote

Wait, has someone actually integrated Wolfram with ChatGPT? I thought it was still in the "would be cool" stage.

2