陶哲轩在国际数学奥赛上为AI团队颁奖。Numina团队使用Python代码验证想法，通过微调、新颖解码算法和内部验证数据集，使用7B模型解决数学奥赛难题。他们还开源了约86万道题目微调数据集。Numina的目标是做出AI数学的ImageNet。