ITATIBA1

OpenAI afirma que seu próximo modelo de IA Astra quebrou dez problemas matemáticos complexos por cerca de 2.000 dólares

A empresa divulgou provas verificáveis em Lean 4 no GitHub, com a primeira construção explícita de um grupo não-sofisticado.

Quartz · 2026-08-03T12:50:31.000Z