A OpenAI publicou novos resultados na resolução de problemas matemáticos abertos utilizando um modelo interno de fronteira. A organização compartilhou relatórios analíticos e provas matemáticas formalizadas na linguagem Lean em repositório aberto, ampliando as aplicações da computação neural em ciências exatas.
← Todas as notícias
IA1 min de leituraPor Tiago Bona
OpenAI avança na resolução e formalização de problemas abertos em matemática
Pesquisas geradas por modelo de fronteira incluem provas formalizadas em Lean disponíveis no GitHub.
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.