A OpenAI anunciou a 8 de setembro que um sistema interno de IA coordenou cerca de 10.000 agentes para resolver o problema de existência e suavidade de Navier-Stokes, um dos sete Problemas do Prémio Millennium da matemática. Os agentes trocaram 2,7 milhões de mensagens e geraram cerca de 130 mil milhões de tokens de saída ao longo de 88 horas, após as quais a OpenAI passou mais 17 horas a formalizar o resultado em Lean. A empresa afirmou que não pretende reivindicar o prémio de 1 milhão de dólares do Clay Mathematics Institute, e a prova ainda precisa de passar por uma análise mais ampla. A OpenAI descreveu o modelo interno como superando substancialmente o seu recentemente lançado GPT-6 Astra em matemática e disse que o sistema continua em treinamento.
Por que é importante
A descoberta ocorreu na mesma semana em que dois antigos investigadores de laboratórios de ponta alertaram publicamente que a superinteligência poderia matar todos até ao final da década. Jacob Coxon, que se demitiu da Anthropic a 8 de setembro e foi anteriormente um colaborador central do GPT-4o na OpenAI, disse que "as pessoas que constroem IA acreditam sinceramente que isso poderia matar-nos a todos até ao final da década." O líder da ciência de alinhamento da Anthropic, Evan Hubinger, apoiou o alerta, colocando a sua estimativa pessoal de um resultado de extinção em mais de 10 por cento dentro de dez anos.
A combinação da descoberta e do alerta arrastou um debate restrito a investigadores para a política dos EUA. O Senador Bernie Sanders e o Representante Greg Casar anunciaram a 3 de setembro o Ban Artificial Superintelligence Act, que proibiria permanentemente sistemas superinteligentes e pausaria o desenvolvimento avançado de IA até que um regulador federal escrevesse regras de segurança.
Impacto no mercado
A reação institucional foi dividida. A American Mathematical Society chamou o resultado de Navier-Stokes de "avanço marcante no conhecimento humano", enquanto o investidor bilionário Bill Ackman resumiu o tópico da demissão de Coxon em uma palavra: "Preocupante." O professor Joseph G. da Harvard T.H. Chan School of Public Health.
Perguntas frequentes
-
Qual é o problema de Navier-Stokes que a OpenAI afirma ter resolvido?
O problema de existência e suavidade de Navier-Stokes pergunta se o movimento fluido suave pode desenvolver uma singularidade em tempo finito. É um dos sete Problemas do Prémio Millennium, cada um com uma recompensa de 1 milhão de dólares do Clay Mathematics Institute, e permanece em aberto desde a década de 1930.
-
Como é que o sistema da OpenAI resolveu o problema de Navier-Stokes?
Cerca de 10.000 agentes de IA coordenados por um modelo interno trocaram 2,7 milhões de mensagens e geraram cerca de 130 mil milhões de tokens de saída ao longo de 88 horas. A OpenAI passou mais 17 horas a formalizar e verificar o resultado em Lean, uma linguagem de assistente de prova.
-
Quem é Jacob Coxon e por que se demitiu da Anthropic?
Coxon é um antigo colaborador central do GPT-4o na OpenAI que passou três anos a realizar pesquisas de pré-treinamento tanto na OpenAI como na Anthropic. Ele demitiu-se a 8 de setembro e disse publicamente que as pessoas que constroem IA acreditam sinceramente que isso poderia matar todos até ao final da década.
-
O que é o Ban Artificial Superintelligence Act?
O Senador Bernie Sanders e o Representante Greg Casar anunciaram a legislação a 3 de setembro. Ela proibiria permanentemente o desenvolvimento e a implementação de superinteligência artificial e pausaria o desenvolvimento avançado de IA até que um regulador federal estabeleça regras de segurança.
-
O que disse Evan Hubinger sobre o risco de extinção da IA?
Hubinger, o líder da ciência de alinhamento da Anthropic, apoiou o alerta de Jacob Coxon e colocou a sua estimativa pessoal de extinção humana devido à IA em mais de 10 por cento dentro da próxima década, enquanto enfatizou que os modelos atuais apresentam baixo risco. A sua preocupação centra-se na…
WatcherGuru
Crypto News
WuBlockchain
CoinDesk
CoinTelegraph