ParentFull threadActorNightly·There is plenty of work that goes on in the math field that is super important. But any field has research that is irrelevant. So far, all the proofs done by ai have been largely irrelevant.View on HN