IA e os Problemas Difíceis do Mundo ─ Matemática
Ciência e conhecimento avançados pela IA, por disciplina
Feed RSS · 3 itens
A IA chega mais perto de resolver a hipótese de Riemann, um dos problemas mais difíceis da matemática
Título original: AI edges closer to solving the Riemann hypothesis, one of math’s hardest problems
OpenAI publica 700 preprints de matemática online: matemáticos estão em polvorosa
Título original: OpenAI posts 700 maths preprints online: mathematicians are up in arms
A OpenAI usou um modelo não lançado em centenas de problemas matemáticos de grande destaque e publicou mais de 700 preprints gerados por IA no GitHub em 6 de outubro. Alguns matemáticos comemoraram as soluções de problemas antigos, enquanto outros reclamaram nas redes sociais por terem sido ultrapassados. Um matemático chamou a enxurrada de "slopocalipse", embora o conteúdo ainda possa se provar formalmente correto.
Claude melhorou um limite inferior de longa data para a fração de zeros da função zeta de Riemann que satisfazem a hipótese de Riemann
Título original: Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis
A hipótese de Riemann, um problema em aberto, afirma que os zeros da função zeta de Riemann estão todos sobre uma certa linha vertical. Ao tentar resolver o problema, uma versão de pesquisa não lançada do Claude não o demonstrou, mas melhorou um antigo limite inferior para a fração de zeros que satisfazem a hipótese, elevando-o de 41,6% para 67,2%. Dois matemáticos da Anthropic validaram o artigo e escreveram uma nota informal de especialista, e o Claude também produziu uma demonstração formalmente verificável. Não se espera que o resultado leve a uma demonstração da própria hipótese.