#mathematics

Os pesquisadores da OpenAI Sebastian Bubeck e Ernest Ryu argumentam que a matemática se tornou um benchmark crucial para a IA porque exige longas cadeias de raciocínio correto, correção de erros e resultados verificáveis.

Uma nova ferramenta matemática pode oferecer aos pesquisadores uma forma mais prática de distinguir nós complexos, um desafio de longa data em topologia e em ciências relacionadas.

After a breakout year of progress, artificial intelligence is moving from math competitions into frontline research, helping mathematicians generate conjectures, test ideas, and prove new results faster.

Researchers reported an AI approach inspired by the logic of Rubik’s Cube solving that can simplify particle physics equations, linking a familiar puzzle strategy to a difficult mathematical problem in high-energy theory

Depois de décadas de progresso travado, pesquisadores acreditam que novas ferramentas matemáticas estão começando a explicar como a força que mantém os núcleos atômicos unidos produz as partículas massivas que compõem a matéria visível.

Axiom Math, uma startup financiada com US$ 64 milhões liderada por um desistente de Stanford de 24 anos, lançou Axplorer — uma ferramenta de IA gratuita que replica em um Mac Pro o que antes exigia um supercomputador rodando por três semanas.

Artificial intelligence is reshaping how mathematicians discover proofs and explore conjectures, triggering what experts call the biggest shift in the field's history.