OpenAI relata dez avanços gerados por IA em matemática e ciência da computação teórica
A OpenAI afirma que seu modelo Astra gerou dez avanços em problemas de longa data de matemática e ciência da computação teórica, com formalização em Lean para revisão.