That's literally AI though. AI has been around formally since 1956. https://en.w...

		kortex 40 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... That's literally AI though. AI has been around formally since 1956. https://en.wikipedia.org/wiki/Dartmouth_workshop AI != AGI != neural networks != LLMs But Tao did mention ChatGPT so i believe LLMs were involved at least partially.