HeadlinesBriefing favicon HeadlinesBriefing.com

Caltech Mathathon: Primeiro hackathon de pesquisa com IA

Hacker News •
×

O Caltech Mathathon, que ocorrerá nos dias 30 e 31 de outubro de 2026, será o primeiro hackathon dedicado à matemática de nível de pesquisa. Cem equipes usarão modelos de IA de fronteira para resolver conjecturas abertas e construir novas teorias matemáticas, e então defenderão seus resultados diante de matemáticos de destaque. A IA alcançou recentemente um progresso revolucionário em matemática pura, incluindo a refutação da conjectura de distância unitária planar de Erdos (aberta há 80 anos), a construção do primeiro grupo não-sofic explícito (aberto há 27 anos) e a demonstração de que a seis-esfera admite uma estrutura complexa (aberta há 78 anos).

Esses avanços levantam questões sobre como a IA pode acelerar a descoberta matemática e qual papel resta para os matemáticos humanos. Os participantes receberão mais de US$ 2 milhões em créditos de IA para enfrentar problemas abertos ao longo de 40 horas. Prêmios serão concedidos aos resultados mais promissores, com uma segunda rodada após a verificação da comunidade.

O evento aborda questões fundamentais sobre o impacto da IA na pesquisa e colaboração matemáticas.