Full threadxydac·i wonder what it means for maths researchers, and how it aligns with how they approach math problems.View on HN