#mathematics
6 stories taggedmathematics.
Uma IA Resolveu um Problema Aberto Difícil em Matemática Pura. Os Matemáticos Estão Abalados.
O modelo Astra da OpenAI resolveu a questão dos grupos não-sóficos em teoria de grupos este mês. Um matemático profissional explica por que isso parecia impossível há apenas semanas.
Will AI replace mathematicians? Probably not yet, say experts
About 40 top mathematicians met at OpenAI's offices this month to talk about their profession's future. The mood was worried. The evidence, though, tells a more complicated story.
AI Cracked Ten Hard Maths Problems in One Summer. Now Mathematicians Are Fighting Back.
OpenAI's models solved open problems that stumped humans for decades. The world's most celebrated mathematician says the field has until the end of 2025 to decide who controls its future.
An AI Just Verified the Hardest Prime-Number Proof Mathematicians Have Ever Checked
Axiom Math's AxiomProver confirmed a result that sits at the very edge of what we know about primes. The real prize, though, is what this means for the safety of AI-written code.
A IA da OpenAI Resolveu 10 Problemas de Matemática Difíceis. Agora Matemáticos Estão a Questionar o Valor dos Seus Empregos.
Um novo modelo da OpenAI resolveu puzzles de matemática com uma década de existência que deixaram investigadores humanos perplexos durante anos. Os resultados são impressionantes. A disputa sobre crédito em torno de um deles é um aviso sobre como os laboratórios de IA falam sobre as pessoas cujo trabalho usam como base.
Verificação de provas ultra-rápida com IA: o que um novo resultado matemático significa para validar dados massivos
Investigadores encontraram uma forma de verificar factos aproximados sobre conjuntos de dados enormes utilizando apenas uma pequena fração dos dados, duas vezes. Eis o porquê disso ser importante.