Tópicos em alta
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Paata Ivanisvili
Professor de Matemática @ UCI. Explorando o que a IA pode (e não pode) fazer em matemática.
Instale Aristóteles. Obtenha a chave API. Execute pelo seu terminal. Escolha qualquer problema aberto em matemática e entre em Aristóteles (em sua linguagem natural!). Após várias horas, ele pode produzir prova formal completa de lean ou pode falhar. 👏
30 de nov. de 2025
Estamos à beira de uma mudança profunda no campo da matemática. A prova de vibe está aqui.
Aristóteles de @HarmonicMath acabou de provar o Problema #124 de Erdos em @leanprover, sozinho. Esse problema está aberto há quase 30 anos, desde que foi conjecturado no artigo "Complete sequences of sets of integer powers" na revista Acta Arithmetica.
Boris Alexeev rodou esse problema usando uma versão beta de Aristóteles, recentemente atualizada para ter uma capacidade de raciocínio mais forte e uma interface de linguagem natural.
A superinteligência matemática está se aproximando a cada minuto, e estou confiante de que isso vai mudar e acelerar dramaticamente o progresso na matemática e em todos os campos dependentes.
86,48K
Melhores
Classificação
Favoritos