AlphaProof Nexus chega à Science e resolve 9 problemas de Erdős
O sistema de demonstração matemática AlphaProof Nexus, do Google DeepMind, é publicado na Science: resolveu 9 de 353 problemas abertos de Erdős e provou 44 de 492 conjecturas da OEIS.
Notícias e análises sobre Matemática com IA
6 artigos verificados sobre Matemática com IA, produtos e movimentos do setor.
Meta publica seis artigos de matemática com o Muse Spark
Cinco dos seis novos artigos de matemática da Meta, feitos com o modelo Muse Spark, resolvem perguntas que já tinham sido publicadas sem resposta.
Sistema multiagente do Google resolve cinco problemas abertos da ciência da computação teórica
O sistema multiagente Cogentic do Google, com o Gemini, resolveu cinco problemas abertos de aprendizado online, leilões e design de mecanismos, verificados por especialistas.
Terence Tao: bons problemas de matemática estão se esgotando
Matemático Terence Tao alerta que bons problemas em aberto estão sendo extraídos de forma não renovável pela IA, levando pesquisadores a evitar divulgar suas direções de estudo.
Terence Tao alerta para uma crise de excesso de provas na matemática
Em artigo de doze páginas no arXiv, Terence Tao alerta que, quando a IA resolve provas de pesquisa por dezenas a centenas de dólares, a matemática passa da escassez ao excesso de provas.
OpenAI model cracks an 80-year Erdős geometry problem
An internal general reasoning model found an algebraic-number-theory construction that external mathematicians said is journal-worthy.