News for hackers. Stuff that matters.
Re:Terence Tao, "Machine Assisted Proof" [video] by kaba0 on Thursday February 15, 2024 @03:52AM (#39380476)
> Leonardo Da Vinci and Einstein

Then it would be able to logically reason, which it absolutely can’t do.

It’s a next generation search engine, which is very good at language-related tasks (and translating a python code it has in its training set to your language is a language task, that’s why it can be applicable to certain programming tasks).

Re:Terence Tao, "Machine Assisted Proof" [video] by zozbot234 on Thursday February 15, 2024 @05:23AM (#39381030)
It can say "let's think this through step by step", which is good enough for most cases.