A disputa entre gigantes da inteligência artificial (IA) acaba de atingir um novo patamar — e agora envolve alguns dos…
A OpenAI alcançou desempenho de nível ouro em uma avaliação baseada na Olimpíada Internacional de Matemática (IMO) de 2025. Para…
O Google acaba de lançar o AlphaEvolve, um agente de codificação que utiliza o Gemini e estratégias evolutivas para criar…
O laboratório chinês de inteligência artificial (IA) DeepSeek acaba de lançar o Prover-V2, um modelo especializado de código aberto que…
Embora computadores sejam reconhecidos por superar humanos em cálculos, a matemática de alto nível ainda era um domínio exclusivamente humano.…