The human-written https://github.com/AxiomMath/PrimeGapsLib adds up to 4MB of Le... | Hacker News

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

		ricardobeat 8 days ago \| parent \| context \| favorite \| on: GPT-6 Astra The human-written https://github.com/AxiomMath/PrimeGapsLib adds up to 4MB of Lean so it's that far off.
		help

rfw300 8 days ago [–]

Is this human-written? Axiom Math is a company building AI theorem provers, one would think this would also be heavily AI-generated.

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