Avanço matemático da OpenAI expõe o próximo elo fraco na segurança cripto

O mais recente avanço matemático da OpenAI pode aproximar a prova automatizada de teoremas dos fluxos de trabalho de segurança de contratos inteligentes.

Em 8 de setembro, a empresa de IA disse que cerca de 10.000 agentes de IA simultâneos produziram uma solução abordando o problema de movimento de fluidos de Navier-Stokes após cerca de 88 horas. A formalização e verificação no Lean, um assistente de prova de software, exigiu mais 17 horas usando o GPT-6 Astra.

O sistema gerou uma prova analítica mostrando que um fluido inicialmente suave pode desenvolver uma singularidade em tempo finito enquanto mantém energia finita, estabelecendo os casos C e D da formulação do Millennium Prize. A OpenAI lançou tanto a prova quanto sua formalização no Lean para escrutínio independente.

Para desenvolvedores de cripto, a implicação mais imediata reside no processo. A verificação formal usa especificações matemáticas e prova de teoremas para estabelecer se o código do contrato inteligente se comporta como pretendido, uma área onde a orientação humana pode tornar a verificação dispendiosa e trabalhosa.

A IA pode mover o gargalo de segurança para o início do processo

A escala do experimento da OpenAI assemelha-se de perto a um cenário que o matemático Terence Tao descreveu cinco dias antes do anúncio.