News for hackers. Stuff that matters.

A comment on ChatGPT Gets Its “Wolfram Superpowers”.

Re:ChatGPT Gets Its “Wolfram Superpowers” by AntonioCao on Thursday March 23, 2023 @01:52PM (#35278630)
Wow. Can't wait for the lean theorem prover integration.
[ Parent | on HN ]
Re:ChatGPT Gets Its “Wolfram Superpowers” by jsmorph on Thursday March 23, 2023 @02:51PM (#35279548)
Same. Maybe a GPT-driven super-tactic.
[ Parent | on HN ]