> Mathematics is about discovering and understanding the logical implications of... | Hacker News

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

		loglog 3 days ago \| parent \| context \| favorite \| on: A misalignment of AI in mathematics > Mathematics is about discovering and understanding the logical implications of assumed axioms under various inference rules. That's like saying that programming is about producing valid programs in various programming languages.
		help

adastra22 2 days ago [–]

It is though. I am not being edgy. Programming is about making valid programs, yes. I literally have no idea what else you might be gesturing towards.

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