Then 20 years go by and you wake up one day with questions that you cannot get o...

		youoy 5 days ago \| parent \| context \| favorite \| on: Caltech Mathathon – first hackathon ever devoted t... Then 20 years go by and you wake up one day with questions that you cannot get out of your mind: why did I start prompting the LLM for? Why did I need these random proofs for? What do i do with my repo with 2billion lines of Lean?
		help