Claude leva limite zeta a 67%
A Anthropic afirma que uma versão de pesquisa inédita do Claude elevou um limite inferior ligado aos zeros da zeta de Riemann de 41,6% para 67,2%.
Notícias e análises sobre matemática
4 artigos verificados sobre matemática, produtos e movimentos do setor.
OpenAI faz Astra escrever dez provas
A OpenAI apresentou o Astra com dez resultados em matemática e ciência da computação teórica, acompanhados por um artigo de 249 páginas, certificados Lean e registros de raciocínio.
GPT-5.6 entrega uma prova de teoria dos grafos
GPT-5.6 entrega uma prova de teoria dos grafos. Uma leitura local dos fatos verificados e do sinal setorial por trás da notícia.
DeepSeek lança modelo de prova matemática Prover-V2
A DeepSeek lançou um modelo especializado chamado Prover-V2 na área de demonstração de teoremas matemáticos, com o objetivo de usar IA para provar automaticamente teoremas matemáticos no sistema de verificação formal Lean 4.