Número Busy Beaver BB(6) Surpreendentemente Ultrapassa Todas as Expectativas

2025-06-29
Número Busy Beaver BB(6) Surpreendentemente Ultrapassa Todas as Expectativas

Avanços recentes em BusyBeaverologia aumentaram drasticamente o limite inferior de BB(6), o 6º número Busy Beaver. Inicialmente estimado como maior que um número com 15 níveis de expoentes de 10, agora se sabe que é muito maior, excedendo até mesmo 2^^^^9 (2 tetrado a 2 tetrado a 2 tetrado a 9). Esse salto surpreendente sugere que BB(n) pode se tornar independente dos axiomas ZFC da teoria dos conjuntos muito mais cedo do que se pensava anteriormente, levando a uma reavaliação do crescimento da função e apresentando novos desafios para a teoria da computação.

Leia mais
Diversos

Aventura de Scott Aaronson no LessOnline

2025-06-19
Aventura de Scott Aaronson no LessOnline

O renomado físico quântico Scott Aaronson participou da conferência racionalista LessOnline e compartilhou sua perspectiva única sobre a experiência. O artigo descreve o ambiente vibrante de discussão e as conversas profundas de Aaronson com outros racionalistas sobre IA, livre-arbítrio e muito mais. Ele finalmente abraçou a identidade de 'racionalista', explicando os motivos por trás dessa mudança, incluindo uma reavaliação da velocidade do desenvolvimento da IA e mudanças dentro da própria comunidade racionalista.

Leia mais
Diversos racionalismo

Simulando encontros com GPT-4: Uma nova abordagem para tratar a ansiedade de namoro?

2025-04-24
Simulando encontros com GPT-4: Uma nova abordagem para tratar a ansiedade de namoro?

Um blogueiro relata anos recebendo e-mails de homens jovens lutando contra a ansiedade de namoro. Ele experimenta o GPT-4 para simular um encontro, criando uma personagem feminina virtual para interagir com um personagem masculino que sofre de ansiedade de namoro severa. Embora o GPT-4 facilite uma conversa fluida, suas respostas excessivamente positivas e acomodadoras carecem de realismo, falhando em simular efetivamente as nuances e o feedback de encontros no mundo real. O blogueiro sugere que, com ajustes finos e aprendizado por reforço, futuros modelos de linguagem grandes podem criar simuladores de namoro eficazes para ajudar a superar a ansiedade de namoro.

Leia mais

Microsoft afirma ter criado o primeiro qubit topológico: avanço ou hype?

2025-02-20
Microsoft afirma ter criado o primeiro qubit topológico: avanço ou hype?

A Microsoft anunciou a criação do primeiro qubit topológico, gerando grande interesse no mundo da tecnologia. Qubits topológicos, baseados em anyons não-abelianos, são teoricamente mais resistentes a erros do que os qubits tradicionais. Embora a Microsoft tenha retirado uma afirmação semelhante em 2018, agora afirma ter criado um qubit topológico totalmente funcional. Embora atualmente não seja útil na prática, isso representa um marco na computação quântica topológica, e o sucesso futuro dessa abordagem em comparação com os qubits tradicionais ainda é incerto.

Leia mais
Tecnologia

Congelamento de Financiamento da NSF dos EUA: A Ciência à Beira do Abismo

2025-01-31
Congelamento de Financiamento da NSF dos EUA: A Ciência à Beira do Abismo

Um congelamento de financiamento da National Science Foundation (NSF) dos EUA lançou a comunidade científica em tumulto. Apesar da suposta revogação do congelamento por Trump, o caos continua, deixando os diretores de programa paralisados ​​e incertos. Um congelamento prolongado pode deixar dezenas de milhares de estudantes de pós-graduação e pós-doutorandos sem bolsas, paralisando a pesquisa científica básica e potencialmente levando a uma fuga de cérebros para países como a China. Um congelamento de contratação indefinido enfraquece ainda mais a NSF e agências semelhantes. O autor insta os funcionários internos a compartilharem informações e expressa profunda preocupação com o futuro da ciência americana.

Leia mais