Leia com atenção: OpenAI alcançou a medalha de ouro na IMO com um novo modelo de raciocínio (o novo modelo alfa o3 que apareceu brevemente?) Em apenas 15 meses, eles passaram de AIME 12% para ouro na IMO. A conclusão: No próximo ano, os modelos podem ser tão bons que desenvolvem novos teoremas. Santo Deus.
Sheryl Hsu
Sheryl Hsu19 de jul., 15:52
É uma loucura como passamos de 12% no AIME (GPT 4o) → ouro IMO em ~ 15 meses. Chegamos muito longe, muito rapidamente. Eu não ficaria surpreso se, no próximo ano, os modelos estivessem derivando novos teoremas e contribuindo para a pesquisa matemática original!
109,64K