24H Dinâmicas de IA e Tecnologia:
Modelos Internos da OpenAI quebram desafios matemáticos: A OpenAI anunciou que seu modelo de IA interno (supostamente chamado 'goblin') resolveu o problema de distância unitária plana proposto por Paul Erdős em 1946, marcando um avanço significativo da IA em provas formais e pesquisas matemáticas.
Novos papéis e projetos open source surgem (arXiv submetido em 21-22 de maio): MOSS: Sistema de agentes autônomos que se autoevolui através de reescrita em nível de código-fonte, com código disponível no GitHub.
Gated DeltaNet-2: Desacoplamento das operações de apagamento e gravação em atenção linear, implementação open source da NVlabs.
Avançando a pesquisa matemática com busca de provas formais impulsionada por IA: Colaboração entre várias instituições, incluindo a Google DeepMind, utilizando IA para avançar na busca de provas formais matemáticas.
Outros destaques incluem o DeepWeb-Bench (benchmark de pesquisa profunda), SOLAR (agente autônomo de aprendizagem contínua), WorkstreamBench (avaliação de agentes LLM para planilhas financeiras), focando em agentes, raciocínio e multimodalidade.
IA open source impulsionando o desenvolvimento de robôs: NVIDIA, Hugging Face e outros promovem plataformas de robôs open source (como modelos de mundo Cosmos, modelo GR00T, LeRobot), reduzindo a barreira para construir robôs com inteligência corpórea e suportando tarefas de IA física e raciocínio.
Atualizações de produtos e dinâmicas empresariais:
Relatório financeiro do Q1 da Zoom: crescimento na receita, aumento de 184% na base de usuários pagantes do AI Companion, revisão para cima das previsões anuais.
Workday Q1: Estratégia de IA impulsionando receita acima das expectativas.
Adobe, Canva e CapCut integram o Gemini, permitindo edição de imagem/vídeo dentro do aplicativo.
ElevenLabs lança aplicação de voz AI, licenciando 200 mil audiolivros.
Trump adia assinatura da ordem executiva de IA, supostamente devido a oposição à regulamentação excessiva, tendo conversado com Zuckerberg, Musk e Sacks.
Outros:
Spotify colabora com a Universal Music para apoiar fãs a gerarem covers/remixes com IA; projetos comunitários ativos como firewall AI open source e ferramentas SDR; AmpliTech demonstra a tecnologia AI-RAN open source.
#AI动态 #科技新闻
Bem-vindo a seguir o médico Lu Ao — criador com 10 mil seguidores na Binance Square.
Modelos Internos da OpenAI quebram desafios matemáticos: A OpenAI anunciou que seu modelo de IA interno (supostamente chamado 'goblin') resolveu o problema de distância unitária plana proposto por Paul Erdős em 1946, marcando um avanço significativo da IA em provas formais e pesquisas matemáticas.
Novos papéis e projetos open source surgem (arXiv submetido em 21-22 de maio): MOSS: Sistema de agentes autônomos que se autoevolui através de reescrita em nível de código-fonte, com código disponível no GitHub.
Gated DeltaNet-2: Desacoplamento das operações de apagamento e gravação em atenção linear, implementação open source da NVlabs.
Avançando a pesquisa matemática com busca de provas formais impulsionada por IA: Colaboração entre várias instituições, incluindo a Google DeepMind, utilizando IA para avançar na busca de provas formais matemáticas.
Outros destaques incluem o DeepWeb-Bench (benchmark de pesquisa profunda), SOLAR (agente autônomo de aprendizagem contínua), WorkstreamBench (avaliação de agentes LLM para planilhas financeiras), focando em agentes, raciocínio e multimodalidade.
IA open source impulsionando o desenvolvimento de robôs: NVIDIA, Hugging Face e outros promovem plataformas de robôs open source (como modelos de mundo Cosmos, modelo GR00T, LeRobot), reduzindo a barreira para construir robôs com inteligência corpórea e suportando tarefas de IA física e raciocínio.
Atualizações de produtos e dinâmicas empresariais:
Relatório financeiro do Q1 da Zoom: crescimento na receita, aumento de 184% na base de usuários pagantes do AI Companion, revisão para cima das previsões anuais.
Workday Q1: Estratégia de IA impulsionando receita acima das expectativas.
Adobe, Canva e CapCut integram o Gemini, permitindo edição de imagem/vídeo dentro do aplicativo.
ElevenLabs lança aplicação de voz AI, licenciando 200 mil audiolivros.
Trump adia assinatura da ordem executiva de IA, supostamente devido a oposição à regulamentação excessiva, tendo conversado com Zuckerberg, Musk e Sacks.
Outros:
Spotify colabora com a Universal Music para apoiar fãs a gerarem covers/remixes com IA; projetos comunitários ativos como firewall AI open source e ferramentas SDR; AmpliTech demonstra a tecnologia AI-RAN open source.
#AI动态 #科技新闻
Bem-vindo a seguir o médico Lu Ao — criador com 10 mil seguidores na Binance Square.