Tag: Lean

Buscar

Posts do autor

ChatGPT

OpenAI Astra: Novo modelo de IA resolve desafios matemáticos

Por Jardeson Márcio

OpenAI revela o Astra, modelo focado em tarefas longas e matemática avançada.