Microsoft desenvolve simuladores de IA para estudantes para aprimorar o ensino com IA
A Microsoft Research revelou o StudentSim, um sistema de IA projetado para simular estudantes e melhorar o ensino com IA, sem depender de experimentos em larga escala com humanos. O sistema tem como objetivo abordar o desafio de avaliar se explicações, prompts ou perguntas realmente ajudam os alunos a progredir. Os tutores de IA tradicionais frequentemente se concentram apenas se as respostas estão corretas, mas a instrução eficaz também depende da compreensão, correção de erros e suporte personalizado. O StudentSim usa dados de aprendizado anonimizados para criar simuladores de IA personalizados para estudantes, imitando tanto a resolução independente de problemas quanto as respostas ao guia do tutor. O sistema foi testado em três áreas: xadrez, escrita em inglês e matemática, com resultados que mostraram que ele superou modelos existentes. A Microsoft enfatizou que o StudentSim não é um produto para a sala de aula e não substitui os professores, mas fornece feedback inicial para pesquisadores antes dos testes no mundo real. O sistema avalia os simuladores usando duas métricas: fidelidade comportamental e capacidade de resposta ao guia. Em experimentos de tutoria de xadrez, tutores de IA treinados com feedback do StudentSim alcançaram uma taxa de precisão de 90,5%, superando os modelos de referência. A Microsoft destacou o potencial do sistema para oferecer insights escaláveis e econômicos para a pesquisa em educação com IA.
Relatório da Anthropic destaca ganhos de eficiência da IA e mudanças na força de trabalho
A Anthropic, uma empresa de inteligência artificial, divulgou um relatório que demonstra que seus funcionários geram de duas a quatro vezes mais receita por pessoa do que Meta e Google durante suas respectivas fases de crescimento. Os dados, baseados em registros internos até abril de 2026, foram ajustados pela inflação em comparação com os relatórios financeiros de Meta e Google de cinco anos atrás. O relatório também destacou uma queda significativa nas funções de programadores juniores, com a porcentagem de funcionários técnicos juniores caindo de 21% para 14% desde o início de 2025. O relatório destaca um aumento na eficiência, com engenheiros produzindo cinco vezes mais código após a adoção de agentes de codificação. Também menciona que processos orientados por IA levaram a uma maior produtividade em vários departamentos, incluindo jurídico, financeiro e vendas. No entanto, o relatório alerta para novos desafios, como o tempo necessário para que funcionários não técnicos processem as saídas da IA e a mudança nas funções de trabalho em direção ao gerenciamento de sistemas de IA em vez da execução de tarefas. A Anthropic adaptou seus critérios de contratação, priorizando criatividade e julgamento em vez de habilidades técnicas estreitas. A empresa também implementou um sistema de avaliação de riscos para realocar funcionários afetados internamente. Apesar da alta receita por funcionário, o relatório reconhece que essa métrica por si só não reflete totalmente a saúde de uma empresa.
Funcionários da Anthropic preveem que a IA assumirá 80% do trabalho até 2030
Um novo estudo da Anthropic revela que a maioria dos seus funcionários acredita que a IA assumirá pelo menos 80% do seu trabalho até 2030, um contraste marcante com apenas 5% dos trabalhadores americanos que compartilham essa visão. A pesquisa, que comparou as respostas de 1.334 funcionários e adultos dos EUA, destaca uma lacuna significativa nas expectativas sobre o impacto futuro da IA. O economista-chefe da Anthropic, Peter MacRory, observou que os insights da empresa podem ajudar a sociedade a se preparar para a IA avançada, já que está à frente da economia em cerca de 1,5 anos. Os funcionários também esperam que 95% do desenvolvimento de novos modelos de IA seja realizado por IA até o final de 2030. Em paralelo, adultos dos EUA antecipam um impacto muito menor da IA, com apenas 5% esperando que a IA substitua 80% do seu trabalho. O estudo também descobriu que os trabalhadores em profissões qualificadas, produção e transporte esperam que a IA lide com menos tarefas até 2030 em comparação com os profissionais de tecnologia e finanças. Além disso, os funcionários da Anthropic preveem que a taxa de desemprego nos EUA excederá 12% até 2030, enquanto a maioria dos americanos espera que permaneça abaixo de 8%. A pesquisa também estimou que os adultos dos EUA esperam um crescimento do PIB de 5,4% até 2030, em comparação com 17,1% dos funcionários da Anthropic, com a economia dos EUA crescendo em 2,2% no ano passado.
Alibaba revela o benchmark BlenderWorld de código aberto para modelagem 3d de IA
Em 14 de outubro, a equipe Qwen da Alibaba lançou o BlenderWorld, um benchmark de código aberto projetado para avaliar a capacidade da IA de criar conteúdo 3D realista dentro do Blender. O projeto, licenciado sob a licença MIT, está disponível no GitHub, Hugging Face e ModelScope. Inclui 223 tarefas e 2.651 padrões, abrangendo nove categorias e 22 subcategorias, como design de produtos, arquitetura e visualização científica. O benchmark exige que a IA gere arquivos .blend editáveis, juntamente com renderizações, vídeos ou exportações de modelos, garantindo que as cenas 3D sejam modificáveis por designers. A avaliação envolve renderização a partir de oito pontos de vista adaptativos, aplicação de 2.651 critérios de pontuação binários e oito métricas de qualidade visual gerais, com pontuações finais ponderadas igualmente entre conformidade e qualidade visual. O projeto suporta a integração com qualquer framework gerativo e requer Blender 4.2.10, Linux e Python 3.10 ou superior.
Claude resolve mistério de 26 anos da curva elíptica nsa em menos de 30 minutos
A Anthropic anunciou, em 16 de outubro de 2026, que seu modelo Claude identificou a origem das sementes usadas para gerar cinco curvas elípticas padrão NIST em menos de 30 minutos. Estas curvas, parte do padrão digital de assinatura dos EUA desde 2000, eram suspeitas de conter backdoors financiados pela NSA devido à falta de transparência no seu processo de geração de sementes. O modelo rastreou as sementes até ao gerador de números pseudoaleatórios lrand48 da biblioteca C, inicializado com marcas de tempo Unix de 1997 a 1998. Por exemplo, a semente de P-256 era a 1.842ª candidata gerada em 16 de agosto de 1997. A Anthropic enfatizou que isto não compromete o ECDSA nem revela novos vectores de ataque, mas reduz as preocupações sobre backdoors intencionais. No entanto, a pesquisa não explica totalmente a origem da semente B-163, o método de geração de alguns pontos base, ou por que certas curvas candidatas foram omitidas.
Projeto minions da Apple utiliza gpus mac ociosas para acelerar tarefas de IA
A Apple revelou um projeto de pesquisa chamado Minions, que visa utilizar GPUs Mac ociosas para formar uma nuvem virtual de GPU dinâmica para tarefas de inferência de IA. O sistema, descrito em um artigo da equipe de pesquisa da Apple, permite que vários dispositivos Mac colaborem sem exigir hardware de GPU adicional. Ao agregar recursos de GPU subutilizados em dispositivos macOS, o Minions permite a execução de tarefas de aprendizado de máquina em grande escala em minutos, em vez de horas. O sistema utiliza um modelo de tarefa baseado em 'pull', onde os dispositivos solicitam ativamente subtarefas de um servidor e as executam localmente nas GPUs Apple Silicon. Também inclui um componente de vigilância para monitorar a disponibilidade do dispositivo e realocar tarefas quando os dispositivos ficam offline. Os testes demonstraram que tarefas que anteriormente exigiam mais de 10 horas de tempo de GPU agora podem ser iniciadas em minutos. Embora a tecnologia seja atualmente uma iniciativa de pesquisa interna, a Apple reconhece desafios como segurança e governança de dados ao usar dispositivos compartilhados entre departamentos.
Ansiedade relacionada à IA provoca comportamentos inadequados no local de trabalho à medida que os funcionários temem perder seus empregos
Um estudo da Universidade Estadual de Washington revela que os funcionários com medo de perder seus empregos devido à IA exibem comportamentos inadequados no local de trabalho. Publicado na revista Occupational Health Science, a pesquisa descobriu que os trabalhadores em setores de alto risco, como finanças e seguros, são mais propensos a se comportarem de forma inadequada, incluindo preguiça ou roubo de almoços. Tahira M. Probst, professora de psicologia da WSU Vancouver e autora principal, explicou que o desengajamento moral permite que os funcionários justifiquem o comportamento antiético, redefinindo-o como aceitável. O estudo utilizou o índice de exposição à Indústria de IA, identificando a agricultura, a silvicultura e a construção como os menos expostos. Os resultados sugerem que o medo da IA prejudica tanto os funcionários quanto as empresas, incentivando os empregadores a apoiar os trabalhadores durante a integração da IA. O prazo para a submissão de propostas para o prêmio World Changing Ideas Awards é sexta-feira, 13 de novembro, às 23h59, horário do Pacífico. A insegurança no emprego decorrente da adoção da IA leva a comportamentos como chegar atrasado ou navegar na web. Os funcionários em risco de serem substituídos são mais propensos a se desengajar moralmente, justificando suas ações como justificadas. O estudo enfatiza a necessidade de os empregadores abordarem essas preocupações de forma proativa para manter a integridade e a produtividade no local de trabalho. Os resultados também destacam o impacto mais amplo da IA nas dinâmicas organizacionais, sugerindo que os funcionários podem minar os objetivos da empresa sem o apoio adequado. A pesquisa adverte que os funcionários com medo de perder seus empregos podem reinterpretar as expectativas no local de trabalho, comprometendo os valores pessoais e organizacionais. Os pesquisadores recomendam que as empresas adotem estratégias para apoiar os trabalhadores durante a integração da IA, garantindo que a transição não agrave as ansiedades. O prazo para o prêmio World Changing Ideas Awards destaca os esforços contínuos para promover a inovação e a mudança positiva no cenário da IA.
Plataforma de antigravidade do google acelera a descoberta de novos peptídeos antimicrobianos
O Google revelou a sua plataforma Antigravity, um ambiente de trabalho científico, concebido para simplificar a procura de novos peptídeos antimicrobianos (AMPs). O sistema utiliza o ProtNLM, um modelo de aprendizagem profunda que prevê funções biológicas a partir de sequências de aminoácidos, para analisar milhões de proteínas não caracterizadas no banco de dados UniProt. Os investigadores utilizaram a plataforma para identificar um candidato a AMP da família Lactococcin 972, que mostra potencial contra patógenos que causam infeções do trato respiratório. Esta descoberta está agora a ser validada em laboratório. A plataforma integra a análise estrutural, o contexto genómico e a revisão da literatura para construir hipóteses mecanicistas. Ao combinar as previsões de estrutura 3D do AlphaFold com a colaboração em tempo real entre investigadores e agentes de IA, o sistema permite uma análise rápida e abrangente de candidatos a peptídeos. Esta abordagem reduz significativamente o tempo e a complexidade dos métodos tradicionais, permitindo que os cientistas se concentrem em pistas de alta confiança. A ferramenta também inclui um Visualizador de Estrutura Biomolecular, que permite aos investigadores visualizar e anotar estruturas de proteínas diretamente na plataforma. O Google enfatiza que esta tecnologia aborda a urgente necessidade de novos antibióticos, face ao aumento da resistência antimicrobiana, o que poderá levar a 10 milhões de mortes anuais até 2050. A capacidade da plataforma de ampliar a procura em diversas fontes microbianas destaca o seu potencial para acelerar a descoberta de novos tratamentos.
Especialistas alertam sobre os riscos do ChatGPT para adolescentes
Eric Hal Schwartz, um jornalista de tecnologia experiente com mais de 15 anos de experiência, levantou preocupações sobre os potenciais perigos do ChatGPT para adolescentes. Como ex-chefe de redação da Voicebot.ai, Schwartz tem estado na vanguarda da cobertura da IA generativa e dos modelos de linguagem. Sua experiência abrange vários formatos de mídia, incluindo impressão, digital, transmissão e eventos ao vivo. Atualmente sediado em Nova York, Schwartz continua a fornecer informações sobre o cenário em evolução da IA e seu impacto social. Seu foco mais recente é nos riscos associados a ferramentas de IA adaptadas para usuários mais jovens, destacando a necessidade de cautela e mais pesquisas nesta área. Os avisos de Schwartz surgem em meio a discussões crescentes sobre as implicações éticas da IA na educação e no desenvolvimento social. Embora a natureza exata dos riscos permaneça sob escrutínio, seu trabalho destaca a importância de entender como essas tecnologias afetam diferentes grupos etários. À medida que o campo da IA continua a se expandir, especialistas como Schwartz desempenham um papel crucial na formação da conversa sobre inovação responsável e segurança do usuário.
Líderes empresariais dos EUA adotam a IA como motor de crescimento no emprego
Uma nova pesquisa da KPMG revela que os CEOs dos EUA estão cada vez mais a ver a inteligência artificial como um motor de criação de empregos, em vez de destruição. De acordo com os resultados, 89% dos CEOs dos EUA antecipam a expansão da sua força de trabalho nos próximos três anos, citando o papel da IA na criação de novas oportunidades de negócio. O CEO da KPMG nos EUA, Tim Walsh, enfatizou que a trajetória do crescimento de empregos impulsionado pela IA é 'claramente definida', embora tenha alertado para riscos significativos, incluindo ameaças cibernéticas. Apesar deste otimismo, 53% dos CEOs ainda planeiam reduzir a força de trabalho em certas áreas, destacando o impacto complexo da IA no emprego. Diante das preocupações sobre o potencial da IA para perturbar infraestruturas críticas, as empresas também estão a aproveitar a oportunidade para fortalecer as suas defesas. A pesquisa destaca o desafio duplo que os CEOs enfrentam ao navegar nas oportunidades e nos riscos associados à rápida evolução da IA. A pesquisa também reflete as ansiedades mais amplas no C-suite sobre a natureza imprevisível da influência da IA na economia. Embora o potencial para inovação e crescimento seja evidente, a necessidade de medidas de segurança robustas e de um planeamento estratégico da força de trabalho permanece fundamental. À medida que a IA continua a remodelar as indústrias, o equilíbrio entre a utilização dos seus benefícios e a mitigação dos seus riscos definirá a próxima fase da transformação económica.
Pesquisadores chineses resolvem uma antiga conjectura matemática usando um modelo de IA doméstico
Em 15 de outubro de 2026, o Laboratório de Inteligência Artificial de Xangai anunciou que uma antiga conjectura matemática, a Conjectura de Ghys de 3 dimensões, foi resolvida por uma equipe liderada por Xu Dishi da Universidade da Área da Baía. O avanço foi alcançado usando o modelo multimodal grande Shusheng-S2, que emprega uma abordagem de 'fusão geral-especial' para permitir a colaboração entre humanos e máquinas na prova da conjectura. O trabalho foi formalmente verificado pelo Professor Dong Bin e pelo Acadêmico Liu Ruocuan da Universidade de Pequim, usando seu framework SHEAF. A Conjectura de Ghys, proposta em 1995 por Étienne Ghys, tem sido um importante problema não resolvido em sistemas dinâmicos, frequentemente considerada um ponto de referência para o raciocínio matemático. A pesquisa, publicada no arXiv, inclui código formal no GitHub. O estudo marca a primeira vez que um modelo de IA chinês é usado para resolver um grande problema matemático. A equipe planeja expandir a metodologia para outros campos, criando um ciclo de inovação auto-evolutivo. A pesquisa também destaca uma nova paradigmática científica, integrando a intuição de especialistas em loops de resolução de máquinas. Esta abordagem, que combina a exploração sistemática com o julgamento de especialistas, pode ser aplicada a outras áreas com vastos espaços de busca e recursos de especialistas limitados. O Laboratório de IA de Xangai visa desenvolver um módulo de verificação matemática reutilizável para a plataforma de descoberta científica Shusheng · Duanyan, permitindo que pesquisas futuras aproveitem este avanço.
Datalab lança OmniParseBench: um benchmark ocr abrangente com mais de 16.000 testes
A Datalab lançou o OmniParseBench, um benchmark OCR de código aberto, projetado para avaliar analisadores de documentos. O benchmark inclui 16.288 testes de aprovação/rejeição em 2.937 páginas de 2.343 documentos, abrangendo 92 idiomas. O conjunto de dados e o código estão disponíveis publicamente, permitindo que os engenheiros avaliem como os analisadores lidam com tipos de documentos específicos. O próprio analisador da Datalab, Datalab Accurate, ocupa a segunda posição no ranking inicial, atrás do Gemini 3.8 Flash. O OmniParseBench avalia analisadores com base em três categorias: texto, tabelas e layout. Cada teste é uma pergunta de sim/não sobre uma única página, com as pontuações calculadas como a porcentagem de testes aprovados. O benchmark visa fornecer uma avaliação mais clara e acionável do que os rankings tradicionais. Também inclui metadados detalhados, como tags para estrutura, renderização, papel, script e idioma, permitindo pontuações personalizadas. A Datalab destaca as limitações dos benchmarks existentes, como a falta de padronização na pontuação e a sobreajuste a condições de teste específicas. O benchmark também registra métodos de derivação, incluindo XML do editor, camadas de texto PDF e revisão humana. A Datalab enfatiza que o melhor benchmark é aquele adaptado aos documentos de um usuário, incentivando os fornecedores a usar seus próprios dados para avaliação.
Avanços da IA na pesquisa de longevidade e no desenvolvimento de medicamentos
A IA está transformando a pesquisa de longevidade, fornecendo novas ferramentas para identificar potenciais alvos de medicamentos e avaliar seus efeitos na biologia do envelhecimento. Estudos recentes publicados em Cell e Nature Biotechnology destacam esses avanços, incluindo ferramentas de IA para avaliar modelos e um ensaio clínico de um medicamento desenvolvido por IA para fibrose pulmonar idiopática. Alex Zhavoronkov, fundador e CEO da Insilico Medicine, enfatizou que, embora a IA possa eventualmente dobrar a expectativa de vida humana, isso ainda é uma ambição e não uma previsão atual. O foco está no desenvolvimento de melhores medicamentos e na criação de infraestrutura de testes. O medicamento rentosertib, desenvolvido com assistência da IA, alcançou a fase de candidato pré-clínico em 18 meses, embora sejam necessários mais testes. A análise da Nature Biotechnology mostrou mudanças promissoras em marcadores de idade biológica, mas esses resultados exigem mais investigação. Zhavoronkov incentivou as empresas a definirem claramente o sucesso e os investidores a avaliarem a capacidade de uma empresa de transformar previsões em evidências credíveis.
Proteínas impulsionadas por IA visam moléculas específicas relacionadas com doenças
Cientistas desenvolveram um novo método para projetar proteínas capazes de degradar outras proteínas, utilizando inteligência artificial para contornar os processos evolutivos tradicionais. Ao combinar os núcleos catalíticos de dois tipos de proteases e substituir o restante da estrutura da proteína, os pesquisadores criaram enzimas que podem clivar seletivamente proteínas específicas. Estas enzimas foram testadas em proteínas relacionadas com distúrbios neurológicos, demonstrando o seu potencial em aplicações terapêuticas direcionadas. As proteases, enzimas naturais que degradam as ligações peptídicas, são abundantes e eficientes na degradação de proteínas. No entanto, esta nova abordagem permite um controlo preciso sobre quais proteínas são alvo, oferecendo novas possibilidades no tratamento médico. A pesquisa destaca o poder da IA no design de proteínas, permitindo a criação de enzimas altamente especializadas com funções adaptadas. Esta descoberta pode levar a terapias mais eficazes e direcionadas para doenças relacionadas com o mau funcionamento das proteínas.
O impacto da IA na ciência vai além das matemáticas
Um estudo recente de Neil Thompson e sua equipe no MIT sugere que a IA está transformando rapidamente vários campos científicos além das matemáticas. A pesquisa, realizada entre dezembro de 2025 e maio de 2026, testou modelos da OpenAI, como o1, o3, GPT-5 e GPT-5.5, em problemas teóricos de artigos de pesquisa publicados após o corte de treinamento. Os modelos resolveram 35% desses problemas, em comparação com 2% em meados de 2024, sem sinais de desaceleração. Thompson adverte que a capacidade da IA de abordar questões teóricas pode remodelar campos como a física e a economia. A OpenAI recentemente chamou a atenção ao resolver as equações de Navier-Stokes, um desafio matemático de longa data, o que gerou controvérsia após um matemático da NYU acusar a empresa de 'gazumping'. Isso levou a uma crise nas matemáticas, com pedidos de limites no uso da IA. Thompson observa que, embora a IA possa acelerar o progresso teórico, os especialistas humanos permanecem essenciais para verificar as soluções e garantir sua validade. "Precisamos de pessoas para gerar boas ideias para conectar os pontos", afirma Gabriel Manso, acrescentando que a IA pode cometer erros, como visto na recente retirada de várias soluções da OpenAI.
Microsoft apresenta ferramenta de aprendizado de máquina para previsão do tempo aprimorada
A Microsoft desenvolveu uma ferramenta de aprendizado de máquina que melhora as previsões do tempo, oferecendo maior precisão para períodos de até seis semanas. A ferramenta, agora de código aberto, foi publicada na revista Nature e aborda a limitação comum dos modelos físicos tradicionais e dos sistemas de IA existentes, que normalmente perdem a confiabilidade após duas semanas. Este avanço permite que agricultores e equipes de resposta a emergências planejem com mais confiança. A Microsoft se junta a empresas como Google e Nvidia, que utilizam IA para previsão do tempo. A ferramenta representa uma solução de baixo custo, de acordo com os pesquisadores, que destacam seu potencial para aprimorar as capacidades de previsão de longo prazo. A data de publicação do estudo é 14 de outubro de 2026, marcando um marco significativo no campo da ciência meteorológica. Os pesquisadores enfatizam que a natureza de código aberto da ferramenta incentiva ainda mais a inovação e a colaboração. Ao integrar o aprendizado de máquina com dados meteorológicos, a Microsoft visa fornecer previsões mais confiáveis, o que pode ter benefícios abrangentes em vários setores. Este desenvolvimento destaca o papel crescente da IA na melhoria da previsão do tempo, uma área crítica com implicações significativas para a agricultura, gerenciamento de desastres e segurança pública.
O papel da IA no combate às ondas de calor extremas: conectando a previsão com a ação
Cidades e pesquisadores estão utilizando a IA para mapear e prever os riscos de ondas de calor, no entanto, uma nova pesquisa destaca uma lacuna: essas ferramentas são frequentemente usadas para identificar populações vulneráveis, em vez de impulsionar respostas governamentais eficazes. Um estudo publicado em Climate Risk Management analisou como a IA e o aprendizado de máquina são aplicados para gerenciar ondas de calor. O Google expandiu recentemente seus dados de resiliência ao calor, alimentados por IA, de 14 para mais de 50 cidades, fornecendo a urbanistas informações em nível de construção para direcionar intervenções de resfriamento. No entanto, previsões melhores por si só não garantem resultados aprimorados. Patel enfatizou que a chave é garantir que a tecnologia de IA aborde problemas reais ou elimine gargalos críticos. O foco está mudando da refinamento de previsões para conectar previsões com intervenções acionáveis. A dificuldade reside em transformar previsões sofisticadas de calor em ações governamentais tangíveis. Embora a IA possa oferecer dados valiosos, seu impacto depende de quão eficazmente ela é integrada em estratégias de resposta. À medida que as mudanças climáticas intensificam as ondas de calor, a urgência de conectar insights de IA com soluções práticas nunca foi maior.
Homens superestimam seus conhecimentos sobre IA, estudo revela
Uma nova pesquisa com mais de 5.400 americanos revela que os homens são mais confiantes do que as mulheres em relação aos seus conhecimentos sobre inteligência artificial, com 73% dos homens afirmando conhecer o CEO da OpenAI, Sam Altman, em comparação com 40% das mulheres. No entanto, o estudo destaca que muitos desses homens estão errados, pois figuras como Mira Murati, Susan Milner e Craig Dalton são, ou não existem. Laura Manley, da Harvard Kennedy School, observa que os homens são mais otimistas e confiantes em relação à IA, às vezes até em excesso. A pesquisa também descobriu que os homens usam a IA com mais frequência e respondem a perguntas factuais corretamente com mais frequência do que as mulheres, embora ambos os sexos cometam números semelhantes de erros. A pesquisa também mostra que os homens são mencionados com mais frequência na cobertura da mídia relacionada à IA, aparecendo 14 vezes mais frequentemente do que as mulheres nos títulos. Quando se considera os especialistas citados, três quartos eram homens, apesar de as mulheres representarem cerca de 29% da força de trabalho da IA. Manley enfatiza a necessidade de mais mulheres serem destacadas como especialistas e de expressarem incerteza, pois o discurso atual é dominado pela confiança no destino ou na abundância da IA, deixando de fora vozes que reconhecem a incerteza.
Universidade de tsinghua lança aliança de laboratório de ia-matemática para aprofundar a integração
Em 11 de outubro de 2026, foi estabelecido o Aliança do Laboratório de Matemática e Inteligência Artificial de Qiu Chengtou na Universidade de Tsinghua, com o objetivo de avançar na pesquisa em modelos matemáticos de grande escala especializados, provas formais assistidas por IA e descoberta de conjecturas, IA explicável e computação inteligente interdisciplinar. A aliança, liderada por Qiu Chengtou, presidente da Academia Qiu Zhen da Universidade de Tsinghua, enfatizou a necessidade de os matemáticos abraçarem a IA em vez de resistirem a ela. A aliança anunciou mais de 10 'conquistas de IA+matemática' chave, incluindo avanços na resolução do problema da esfera de homotopia de 7 dimensões. Ferramentas de IA foram usadas para auxiliar nas estratégias de prova, simplificar cálculos e verificar resultados matemáticos. Qiu observou que a aliança reúne mais de 1000 matemáticos e pesquisadores de várias instituições, incluindo a Universidade de Tsinghua, a Academia Chinesa de Ciências e o Instituto de Matemática e Ciências Interdisciplinares de Xangai, para promover o talento jovem e desenvolver um modelo matemático chinês de grande escala. A OpenAI lançou recentemente 722 artigos de pesquisa matemática, abordando problemas de longa data em teoria dos números, geometria algébrica e outros campos, desencadeando um debate significativo na comunidade acadêmica. O trabalho da aliança destaca o papel crescente da IA na pesquisa matemática, com matemáticos humanos ainda desempenhando um papel central na conceituação e verificação de provas.
Sistema de revisão de IA da sakana AI detecta 73% dos erros essenciais nas publicações de pesquisa
A Sakana AI introduziu um novo sistema de revisão por pares para pesquisa em IA, capaz de identificar 73,43% dos erros essenciais em artigos acadêmicos. O sistema, chamado de Revisão em Camadas (MLR), utiliza três agentes de IA para analisar artigos de pesquisa, gerando uma crítica estruturada que inclui pontos fortes, fraquezas e recomendações. O sistema foi testado contra um Benchmark de Contradição, onde erros foram intencionalmente inseridos em 257 artigos de pesquisa de conferências de topo como ACL, AISTATS, CVPR e ICML 2025. O MLR superou as linhas de base existentes, capturando 73,43% das contradições de distância-0, em comparação com 14,81% pela melhor linha de base, AgentReview. O sistema também alcançou uma correlação de Pearson de 0,586 com as pontuações humanas nas submissões do ICLR 2025, próxima do benchmark humano-humano de 0,742. Embora o MLR enfatize a validade e a experimentação, os revisores humanos priorizam a clareza e a novidade. O sistema custa cerca de US$ 0,47 por revisão, com uma variante de prompt único reduzindo os custos em dois terços, embora a precisão da detecção diminua ligeiramente. Todos os resultados estão detalhados no artigo da Sakana AI, 'Beyond Imitation'.