Graças a Deus que alguns LLMs podem ganhar ouro em IMOs. Mesmo em questões básicas de análise funcional (como decomposição de subespaço), o3 dá perguntas incorrigivelmente erradas. Mas estou otimista de que em 1-2 anos será muito melhor.
13,04K