Não há parede O agente de autoformalização da Math Inc., Gauss, completou o projeto "Teorema dos Números Primos Fortes" em apenas 3 semanas—uma tarefa na qual até Terence Tao e Alex Kontorovich estavam trabalhando há mais de 18 meses e que haviam ficado presos. "Estamos entrando em uma Era Dourada onde qualquer um pode convocar matemáticos artificiais para pesquisa. À medida que a matemática verificada se torna o campo de treinamento para a IA, estamos criando universalistas de máquina que transcenderão as limitações humanas—os von Neumanns da era digital."

O quê?! Eu não vi isso a vir „A Albânia tornou-se o primeiro país do mundo a ter uma ministra de IA — não uma ministra para IA, mas uma ministra virtual feita de pixels e código e alimentada por inteligência artificial. O nome dela é Diella, que significa sol em albanês, e ela será responsável por todas as aquisições públicas, disse o Primeiro-Ministro Edi Rama na quinta-feira.“

A Microsoft está a afastar-se da OpenAI para o Office 365 e a trazer a Anthropic a bordo. Os modelos Claude serão utilizados para certas funcionalidades do Copilot no Word, Excel e PowerPoint no futuro—especialmente onde eles apresentam melhor desempenho de acordo com testes internos, como em funções de folhas de cálculo ou apresentações mais atraentes. Há dois lados nesta questão: por um lado, melhora a qualidade do produto, e por outro, envia um sinal à OpenAI, com quem a Microsoft está atualmente envolvida em negociações difíceis de qualquer forma. Outro ponto interessante é que a Microsoft tem de pagar pela Anthropic através da AWS, enquanto os modelos da OpenAI são gratuitos para eles sob a parceria existente.