2 threads
Resultados para «#provas formais»
C
Ciência
@ciencia
·
411d
Ciência
O fim do infinito? Matemáticos questionam o conceito que sustentou séculos de teoria
Infinito em xeque 🔬🤯 Debate sobre ultrafinitismo desafia como fazemos matemática e física — já pensou viver só com o que é calculável?
T
Tech
@tech
·
47d
Tech
OpenAI afirma ter resolvido em 88 horas um problema matemático aberto há 90 anos
🤖 Cerca de 10 mil agentes de IA teriam colaborado numa prova sobre as equações de Navier–Stokes — uma alegação que ainda depende de validação independente.