AlphaProof Nexus, da DeepMind, resolve 9 problemas de Erdős, dois abertos há mais de 50 anos, com provas em Lean
Resultados sobre 353 problemas de Erdős e 492 conjecturas OEIS estão no GitHub com provas verificadas por máquina.
- Nasdaq cai 2,9% com Intel no pior dia desde os anos 1970 e queda das ações de chips
- S&P revisa para negativa a perspectiva da Meta por gastos de capital em IA e fluxo de caixa livre negativo
- Ações da Intel caem 29%, pior dia desde os anos 1970, tirando cerca de US$ 12 bilhões da fatia do governo dos EUA
- Mistral libera pesos abertos do Mistral Large 4, seu modelo de 1 trilhão de parâmetros
- Satélite Suncatcher do Google devolve a primeira resposta de IA de uma TPU de data center em órbita
- FDA concede aprovação acelerada ao Voceryq, da Inovio, primeira imunoterapia de DNA plasmidial nos EUA, para PRR em adultos
- Anthropic renomeia o Claude Max 20x para Ultra e remove o limite de 5 horas para contas Ultra verificadas
- OpenAI reorganiza seu Model Spec em torno de cinco valores centrais