Felipe Giglio
FounderPontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)
Estudante de Matemática Pura, bolsista integral. Movido pela busca da excelência acadêmica e pela pesquisa matemática. Medalhista da Olimpíada Internacional de Matemática (IMO) e duas vezes medalista de ouro na Competição Internacional de Matemática (IMC), além de diversas outras premiações nacionais e internacionais. Autor de problemas da Olimpíada Brasileira de Matemática. Ativo como mentor de alunos olímpicos no Brasil e instrutor em um programa de bolsas de impacto social no Rio de Janeiro.
Mais de 3.000 horas de experiência prática no treinamento dos principais modelos de IA de fronteira, incluindo trabalho extensivo com a Mercor Intelligence. Profunda familiaridade com toda a pipeline de geração de datasets, atuando como escritor, revisor e Math Lead, além de supervisionar o controle de qualidade e as verificações de originalidade. Especialista no desenvolvimento de rubricas, na criação de problemas matemáticos avançados e no design de prompts realistas.
João Azeredo
Co-FounderUniversidade Estadual de Campinas (UNICAMP)
Estudante de Engenharia da Computação na UNICAMP e bolsista de pesquisa da FAPESP em Álgebra Abstrata e Teoria de Galois. Multimedalhista em importantes competições nacionais e internacionais de matemática, incluindo a Olimpíada Ibero-Americana Universitária de Matemática e a Olimpíada Brasileira de Matemática (OBM), além de medalhista de ouro na Maratona de Programação de São Paulo. Classificado entre os melhores estudantes do Brasil nos Testes de Seleção para a equipe da IMO e ativamente envolvido no treinamento olímpico em mais alto nível. Instrutor das equipes brasileiras oficiais em olimpíadas internacionais e mentor de alunos que posteriormente se classificaram para competições como a IMO e a EGMO. Especialista em elaboração e correção de problemas matemáticos, com problemas utilizados em competições oficiais e testes seletivos, incluindo a OBM e o TST da EGMO.
Mais de um ano de experiência contínua no treinamento de modelos de IA de fronteira por meio da Mercor, atuando em funções como escritor, revisor e super-revisor. Profundo conhecimento de toda a pipeline de geração de datasets para modelos de raciocínio matemático, incluindo o desenvolvimento de benchmarks de raciocínio de alto nível, problemas de nível olímpico, rubricas de avaliação, processos de revisão e controle de qualidade em múltiplas etapas. Especialista no desenvolvimento de datasets rigorosos e frameworks de avaliação para o treinamento de LLMs avançados em matemática.
Equipe
Sobre os medalhistas que trabalham conoscoNossa equipe é composta por participantes de olimpíadas de matemática de alto nível, medalhistas da Olimpíada Internacional de Matemática (IMO) e pesquisadores em matemática com experiência prática em fluxos de trabalho de treinamento de modelos de IA. Essa combinação rara de excelência matemática comprovada e atuação direta em processos de treinamento de modelos nos permite desenvolver golden datasets de alta fidelidade e fornecer avaliações especializadas, alinhadas às exigências de sistemas avançados de raciocínio.