Após os resultados do IMO no verão passado, alguns descartaram isso como "matemática de ensino médio". Acreditamos que nossos modelos mais recentes removerão qualquer dúvida de que a pesquisa em STEM está prestes a mudar fundamentalmente. Matemáticos criaram um conjunto de 10 questões de pesquisa que surgiram naturalmente de suas próprias investigações. Apenas eles conhecem as respostas, e deram ao mundo uma semana para usar LLMs para tentar resolvê-las. Acreditamos que nossos modelos mais recentes tornam possível resolver várias delas. Este é um modelo interno por enquanto, mas estou otimista de que conseguiremos lançá-lo (ou um modelo melhor) em breve.