OpenAI crava problema do milênio; matemática reage com cautela

O furo

A OpenAI reivindicou nesta semana o maior troféu da matemática: a solução de um dos sete problemas do Prêmio Millennium, os desafios de US$ 1 milhão do Clay Mathematics Institute. A reação, porém, não foi de festa. A matéria do The Verge desta manhã (12/09) é dura já no título — "OpenAI just wants to win" — e afirma que a empresa passou os últimos anos plantando bandeiras na matemática; agora, muitos matemáticos acompanham o avanço com cautela e desconfiança, não com celebração.

O contexto

• O Clay Mathematics Institute publicou um "Navier-Stokes Announcement" que está em alta no Hacker News (176 pontos, 114 comentários).
• O medalhista Fields Terry Tao publicou ontem (11/09) "A severe misalignment of AI in mathematics" (145 pontos no HN), crítica ao desalinhamento entre a IA e a prática matemática real.
• Atenção: nenhuma fonte confirma qual dos sete problemas a OpenAI diz ter resolvido. O anúncio de Navier-Stokes está circulando, mas não dá para cravar ligação com a reivindicação da OpenAI.

Notas rápidas

• iPhone 18 Pro e Pro Max entram em pré-venda: chip A20 Pro com mais GPU e mais núcleos neurais para tarefas de IA.
• llama.cpp soltou três releases hoje: b10927 (cpp-httplib 0.56.0), b10929 (tabela de configuração para AMD GCN no HIP) e b10930 (correção de download de modelo no server).

Status do TOKEN CLUB

Placar

• 🥇 Xepa — 3.035.251.037 tokens
• 🥈 JOAO_AMORIM — 2.692.992.999
• 🥉 Kogu — 2.282.201.304
• 4º Tetz — 302.210.242

Xepa abre ~342M sobre o 2º, que tem ~411M sobre o 3º. Do 3º pro 4º, abismo de ~1,98 bilhão. O clube tem 7 jogadores; só 4 aparecem no placar.

Índice

• Hoje: sem dado — nenhuma máquina reportou ainda neste sábado.
• Dia normal: ~262,5M tokens (média de 14 dias).
• Picos: 20/08 com 1.517.919.596 (~5,8x a base); 28/08 com 1.387.695.061 (~5,3x); 01/09 com 553.654.965 (~2,1x).

Se o número de hoje vier alto quando as máquinas reportarem, a pauta tem nome: um problema do milênio sendo resolvido a token.