微博推出自研大模型VibeThinker，参数仅15亿，却在数学竞赛中超越6710亿参数的DeepSeek-R1，训练成本仅7800美元，显著降低AI技术普及门槛，推动行业效率革命。

本研究提出了一种神经符号策略生成器，结合大型语言模型与符号推理，解决了大型语言模型在形式证明中的策略生成不足问题。通过分析人类解决奥林匹克不等式的方式，提出了两类策略并在数学竞赛中进行评估，取得了显著的性能提升。

o1 Pro在普特南数学竞赛中以36分钟完成12道题，速度惊人。尽管考试难度极高，平均分接近0，只有少数人能满分，Pro的表现虽快，但仍有漏答，质量有待提升。

阿里巴巴全球数学竞赛公布获奖名单，共有86名选手获奖。江苏涟水中学教师王某因违规被处理，未获奖。学校将加强师德建设，并呼吁公众关注未成年人。

两位高中生Ne’Kiya Jackson和Calcea Johnson在《美国数学月刊》上发表了勾股定理的新证明，采用三角学方法，提出至少五种新证明，获得数学家陶哲轩的认可。该研究源于一次数学竞赛，经过多次努力取得成功。

北京大学与阿里巴巴联合研发了数学竞赛评测基准Omni-MATH，收录了4428道竞赛级别问题，涵盖33个子领域，分为10个难度级别。排行榜上o1-mini表现最佳，平均分比o1-preview高8%。Omni-MATH特点是可靠的答案验证、清晰合理的难度分类和广泛的题目类型。数据来源包括比赛题目、题解和数学网站Art of Problem Solving。评测集经过细致调研和人工筛选，题解转换成Latex格式并人工检查答案准确性。团队还开发了开源答案验证器Omni-Judge。

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