Lean

Ver no idioma original →

Assistente de provas matemáticas mencionado no contexto de uma tarefa que o modelo tentou resolver obtendo material de outra equipe.

Mencionado em

• Como a IA resolveu Navier–Stokes, um Problema do Milênio
• SkyDiscover — Podcast da Weaviate 147
• OpenAI pausou todos os treinamentos… FALHA DE ALINHAMENTO
• Último Teorema de Fermat provado por IA | Lex Fridman
• O modelo secreto da OpenAI acabou de QUEBRAR a matemática…

Relacionados

OpenAI, Navier–Stokes equations, GPT-6 Astra, Weaviate, Redis, RocksDB, Rust, sandbox, Hugging Face, reinforcement learning, DeepSeek V4 Pro, DNS