Matemáticos provaram que a energia escura, usada para explicar a aceleração da expansão do Universo, pode ser um erro de interpretação.
A pesquisa questiona as ferramentas matemáticas utilizadas em cosmologia e sugere que o modelo atual de expansão do Universo é invável.
A análise propõe uma nova abordagem, eliminando a necessidade da energia escura e sugerindo que a dinâmica de fluidos pode explicar a aceleração do Universo de maneira mais simples.
Paul Erdős, um dos matemáticos mais prolíficos do século passado, teve sua conjectura sobre distâncias unitárias no plano refutada por um modelo de inteligência artificial após 80 anos.
A solução apresentada pela OpenAI mostrou uma nova disposição que oferece muitas mais combinações possíveis em comparação à proposta clássica de Erdős, o que gerou debate sobre a autonomia da IA na pesquisa matemática.
A resolução de problemas históricos da matemática por IA está acelerando investigações e mudando a forma como os matemáticos trabalham, levantando questões éticas sobre o impacto dessa tecnologia na ciência.
Um estudo matemático revela que a complexidade da música ocidental vem diminuindo desde a década de 1960.
Pesquisadores analisaram mais de 20 mil peças musicais, observando uma tendência à simplificação melódica e harmônica.
A pesquisa sugere que esse fenômeno não é exclusivo de gêneros recentes como hip-hop e música eletrônica, mas uma mudança generalizada na produção musical.
A inteligência artificial está revolucionando a forma de resolver problemas fechados na matemática.
Questões que esperavam gerações estão sendo resolvidas rapidamente com a ajuda da IA, como demonstrado pelo AlphaFold do Google.
A matemática está se reorganizando, com a necessidade crescente de equipes e infraestrutura para resolver problemas, marcando uma mudança significativa no campo.
O problema do empacotamento de esferas, formulado por Johannes Kepler em 1611, busca a melhor forma de armazenar bolas em um espaço limitado.
Após anos de pesquisas e diversas tentativas, Thomas Hales provou que a solução de Kepler estava correta em 2014, usando técnicas rigorosas de verificação por computador.
Recentemente, a matemática Maryna Viazovska utilizou inteligência artificial para transcrever e verificar esses resultados, mostrando como a automação está mudando a prática da matemática.