It can be exact and self-consistent, you can teach the rules of mathematics . Th... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		seydor on March 15, 2023 \| parent \| context \| favorite \| on: Generative AI is overrated, long live old-school A... It can be exact and self-consistent, you can teach the rules of mathematics . There are some things that are provably unprovable but thats a known fact.

nico on March 15, 2023 [–]

You can still express contradiction in math.

The rules don’t determine the interpretation.

An LLM will pretty much always respect the rules of language, but it can use them to tell you completely fake stuff.

seydor on March 15, 2023 | [–]

math is language

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact