40位数学家组成8队与o4-mini-medium比赛，6队败北

机器之心数据服务现已上线，提供高效稳定的数据获取，简化数据爬取流程。