📸 Créditos da imagem: Unsplash
A hipótese de Riemann, um dos principais problemas abertos da matemática, teve seu limite inferior ampliado por um modelo ainda não lançado da Anthropic.
O sistema aumentou o limite inferior de soluções para as quais a hipótese vale, mas não apresentou uma prova geral. Um funcionário da empresa sem formação matemática relevante pediu ao modelo que tentasse provar a hipótese.
O Que Aconteceu
O modelo coordenou a tarefa durante cerca de um dia e meio, testou 650 ideias e usou 60 subagentes. Dois subagentes desenvolveram as ideias matemáticas centrais do trabalho.
Outros 13 contribuíram com sugestões, 30 não conseguiram criar novas ideias, 13 verificaram os argumentos e dois ajudaram a redigir o artigo inicial. Dois matemáticos da Anthropic confirmaram o resultado, que foi formalizado com o Lean.
IA em Outros Resultados Matemáticos
Modelos de linguagem também foram usados neste ano para resolver problemas de Erdős, uma série de questões matemáticas. Outro trabalho ligado à Anthropic refutou a conjectura jacobiana, um problema antigo da matemática.
- Avanços reacenderam o debate sobre autoria e responsabilidade em pesquisas feitas com inteligência artificial.
- Matemáticos assinaram em junho uma declaração que defende provas atribuídas a autores responsáveis por sua correção.
O vencedor da Medalha Fields Timothy Gowers escreveu: ‘Se chegarmos a um mundo em que teoremas matemáticos não sejam mais associados a matemáticos, talvez isso não seja mais problemático do que o fato de estrelas não receberem nomes de astrônomos.’
📰 Leia a notícia completa em: UOL »