17岁中专生姜萍参加数学竞赛引发炒作。文章讨论软件企业举办数学竞赛的原因，以及数学竞赛与编程竞赛的普及性。编程竞赛更容易普及，因为程序员不需要计算机科学学位。文章还讨论了数学竞赛的考试内容和逻辑证明过程，以及用计算机软件验证证明过程的正确性。最后，文章提到在人工智能时代，高中竞赛可能会由AI胜出。