A OpenAI divulgou novos resultados científicos sobre a resolução de problemas abertos no campo da matemática, obtidos a partir de um modelo interno de fronteira. Além de relatar os limites de raciocínio atingidos pela inteligência artificial, a organização publicou as formalizações completas das provas na linguagem interativa Lean e códigos de pesquisa em seu repositório no GitHub para escrutínio da comunidade acadêmica.
← Todas as notícias
IA1 min de leituraPor Tiago Bona
OpenAI publica avanços em problemas abertos de matemática
Resultados de modelos de fronteira incluem formalizações de provas no sistema Lean compartilhadas publicamente.
O Radar na sua caixa de entrada
Uma seleção curta de tecnologia, negócios e inovação, com confirmação por e-mail.
Mais sobre IA
IA
Amazon Bedrock incorpora inferência entre regiões e modelos GPT-5.6 na AWS GovCloud
Recursos avançados de roteamento de inferência e APIs nativas chegam a ambientes governamentais em nuvem.
IA
OpenAI disponibiliza Daybreak Red para ciberdefesa no Amazon Bedrock
Modelo especializado em pesquisa autorizada de vulnerabilidades passa a operar em nuvem governamental com isolamento por hardware.
IA
OpenAI passa a respeitar sinal compartilhado em robots.txt para treinamento
Padrão unificado facilita o controle de webmasters sobre o uso de dados públicos no aprendizado de modelos.