A OpenAI acabou de divulgar 722 manuscritos de matemática que afirmam que um modelo secreto os resolveu com um único prompt. Enquanto a onda de entusiasmo avança rapidamente, matemáticos de verdade estão exigindo provas, não apenas publicações chamativas em blogs. Isso destaca um dilema clássico da IA: avanços incríveis em contraste com a falta de verificação transparente. Se for verdade, a demonstração automatizada de teoremas poderá em breve impulsionar a criptografia e a verificação de contratos inteligentes. Mas, até que o código bruto e as provas sejam públicos, vou manter meu ceticismo no máximo. $FET $AGIX #OpenAI #ArtificialIntelligence #CryptoSecurity