Submissions from twitter.com/robertghrist

		I got into an argument with Yan Lecun last night (twitter.com/robertghrist)
		2 points by mathgenius 7 months ago \| past
		Ghrist and Claude collaborate to write a 300 page Linear Algebra textbook (twitter.com/robertghrist)
		3 points by noch 10 months ago \| past
		Linear Algebra: Essence and Form (twitter.com/robertghrist)
		4 points by mathgenius 11 months ago \| past \| 1 comment
		A mathematician's experience proving a new theorem with AI (twitter.com/robertghrist)
		1 point by hackinthebochs on Oct 3, 2024 \| past
		A mathematician's experience proving a new theorem with AI (twitter.com/robertghrist)
		5 points by hackinthebochs on Oct 2, 2024 \| past \| 1 comment