Não há muro O agente de autoformalização da Math Inc., Gauss, completou o projeto "Teorema do Número Primo Forte" em apenas 3 semanas - uma tarefa na qual até Terence Tao e Alex Kontorovich estavam trabalhando há mais de 18 meses e ficaram presos. "Estamos entrando em uma Era de Ouro em que qualquer pessoa 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áquinas que transcenderão as limitações humanas – os von Neumanns da era digital."

Que?! Eu não vi isso chegando "A Albânia se tornou o primeiro país do mundo a ter um ministro de IA – não um ministro de IA, mas um ministro virtual feito de pixels e código e alimentado por inteligência artificial. Seu nome é Diella, que significa sol em albanês, e ela será responsável por todas as compras públicas, disse o primeiro-ministro Edi Rama na quinta-feira.

A Microsoft está se afastando do OpenAI para Office 365 e trazendo a Anthropic a bordo. Os modelos Claude serão usados para determinados recursos do Copilot no Word, Excel e PowerPoint no futuro, especialmente onde eles têm melhor desempenho de acordo com testes internos, como em funções de planilha ou apresentações mais atraentes. Há dois lados nisso: por um lado, melhora a qualidade do produto e, por outro, envia um sinal para a OpenAI, com quem a Microsoft está atualmente envolvida em negociações difíceis. Outro ponto interessante é que a Microsoft tem que pagar pela Anthropic via AWS, enquanto os modelos OpenAI são gratuitos para eles sob a parceria existente.