OpenAI
OpenAI ha dato un nome alla sua prossima famiglia di modelli e ha pubblicato dieci problemi risolti. Ma non ha rilasciato nulla.
Una versione interna chiamata Astra ha prodotto dimostrazioni per dieci questioni a lungo aperte in matematica e informatica teorica, tutte formalizzate in Lean. Il modello non è stato rilasciato e il nome è provvisorio.
3 h fa
