mpd3studio

Tag: ciência

  • OpenAI diz que nova IA resolveu 377 problemas matemáticos complexos

    OpenAI diz que nova IA resolveu 377 problemas matemáticos complexos

    A OpenAI informou nesta terça-feira (6) que seu mais recente modelo interno de inteligência artificial foi capaz de gerar 377 resultados em matemática complexa. Entre as conquistas, estão respostas para perguntas que ainda não possuíam solução e progressos em problemas que desafiavam pesquisadores há bastante tempo.

    Os avanços abrangem diversas áreas do conhecimento, incluindo a álgebra, a teoria dos números, a lógica matemática, a topologia e a ciência da computação teórica. Esses campos de estudo analisam desde a relação entre números e estruturas abstratas até as regras de raciocínio e a base de algoritmos — que são as sequências de instruções que permitem aos computadores executar tarefas.

    De acordo com a empresa, parte desses resultados soluciona questões que estavam em aberto, enquanto outra parte representa evoluções em problemas que ainda permaneciam sob estudo. Para garantir a precisão, muitas das demonstrações foram validadas pelo Lean, um sistema especializado em verificar se as etapas de uma prova matemática respeitam rigorosamente as regras da lógica.

    Embora essa checagem automatizada ajude a confirmar a correção dos passos lógicos, a OpenAI ressalta que ela não substitui a análise humana. Pesquisadores ainda precisam avaliar a originalidade e a relevância de cada novo resultado obtido pela máquina.

    Esta divulgação acontece aproximadamente um mês após a OpenAI ter anunciado um progresso relacionado às equações de Navier-Stokes. Este desafio faz parte dos chamados Problemas do Milênio, conhecidos por serem alguns dos obstáculos mais difíceis de toda a matemática mundial.

    No entanto, o volume de resultados apresentados de uma só vez gerou questionamentos na comunidade científica, já que o modelo utilizado ainda não foi aberto ao público. Essa restrição impede que outros especialistas testem a ferramenta sob as mesmas condições e tentem replicar o caminho que levou às respostas.

    Por esse motivo, diversos matemáticos defendem que as empresas de IA sejam mais transparentes sobre a obtenção desses dados. Eles solicitam detalhes sobre qual modelo foi empregado, quais comandos (prompts) foram utilizados e como o processo de trabalho foi estruturado.

    Em resposta, a OpenAI afirmou que já começou a liberar mais detalhes sobre os achados e planeja aprimorar a qualidade de suas próximas publicações. A empresa revelou ainda que, em média, cada resultado exigiu cerca de três horas de processamento utilizando o modo de raciocínio do ChatGPT Pro.

    Por fim, a companhia declarou que está trabalhando para disponibilizar o modelo responsável por esses avanços de maneira responsável e segura para a sociedade.

    Com informações do G1

  • OpenAI resolve problema matemático de 90 anos em apenas 88 horas

    OpenAI resolve problema matemático de 90 anos em apenas 88 horas

    A OpenAI, empresa responsável pela criação do ChatGPT, anunciou na última terça-feira (8) que um de seus sistemas de inteligência artificial conseguiu solucionar um enigma matemático que estava sem resposta há aproximadamente 90 anos.

    O desafio envolve as equações de Navier-Stokes, ferramentas essenciais para compreender a movimentação de gases e líquidos. Na prática, esses cálculos são fundamentais para áreas como a engenharia aeronáutica, a meteorologia e até estudos sobre a circulação sanguínea no corpo humano.

    De acordo com as informações divulgadas pela companhia, a solução foi alcançada em cerca de 88 horas de processamento. Para chegar ao resultado, a empresa utilizou um grupo composto por aproximadamente 10 mil agentes de inteligência artificial que trabalharam de forma simultânea.

    O problema, tecnicamente chamado de existência e suavidade de Navier-Stokes, integra a lista dos sete Problemas do Milênio, definidos pelo Instituto Clay de Matemática no ano 2000. Apesar da importância da descoberta, a OpenAI declarou que não tem a intenção de reivindicar a recompensa financeira vinculada ao desafio.

    Para comprovar a descoberta, a organização disponibilizou em sua página oficial tanto a demonstração matemática quanto uma versão desenvolvida em Lean, que é um software especializado na verificação de provas matemáticas via computador.

    Para entender melhor, as equações de Navier-Stokes explicam como fluidos se comportam, como a água fluindo em tubulações ou o ar circulando em ambientes fechados. Elas se baseiam na segunda lei de Newton, relacionando massa, aceleração e força, tratando o fluido como um meio contínuo para simplificar os cálculos.

    A grande dúvida científica era se, mesmo partindo de um movimento suave, essas equações poderiam prever uma velocidade que crescesse sem limites em um tempo determinado. Esse fenômeno é conhecido como “singularidade”.

    É importante destacar que isso não significa que a água ou o ar atinjam velocidades infinitas na realidade, mas sim que as fórmulas matemáticas deixariam de descrever com precisão o que ocorre na natureza.

    A IA da OpenAI demonstrou que essa singularidade é possível. No modelo apresentado, o fluido inicia em estado de repouso e começa a se mover por uma força externa suave, mantendo a energia total finita, mesmo com a velocidade crescendo sem limites em certa região.

    A empresa revelou que o modelo utilizado começou a ser treinado em 28 de agosto e possui capacidades significativamente superiores ao GPT-6 Astra, permanecendo em fase de aprimoramento.

    Com informações do G1