person · 1 story across the archive · newest first · ai
mentions by month
mixed HN readers were engaged and mostly receptive to the essay’s premise that mathematics is more than theorem production, but the thread quickly turned philosophical and contested. Commenters debated whether proof is objective or socially validated, whether AI will automate formal proof while leaving intuition and abstract — latest discussion,