A Comissão de Serviços Financeiros da Câmara dos Representantes dos EUA realiza uma audição sobre títulos tokenizados em 23 de março, abrangendo tópicos como coordenação regulatória entre SEC e CFTC e caminhos de conformidade para títulos em cadeia. Embora as instituições financeiras tradicionais estejam a expandir ativamente, o desajuste entre política e tecnologia permanece significativo, as questões legais fundamentais não foram resolvidas e os riscos da blockchain não recebem regulação suficiente. O desenvolvimento futuro depende ainda da melhoria da legislação e dos mecanismos de gestão de risco.

A equipa LongCat da Meituan abriu o código do LongCat-Flash-Prover a 21 de março, um modelo MoE com 560 biliões de parâmetros, focado em prova de teoremas de formalização Lean4. O modelo divide-se em três capacidades: formalização automática, geração de esboços e geração de provas completas, combinando ferramentas de raciocínio com o compilador Lean4 para implementar verificação em tempo real. O treino utiliza o Hybrid-Experts Iteration Framework e o algoritmo HisPO para prevenir fraude de recompensas. Os testes de referência mostram que este modelo estabeleceu novos recordes em modelos de pesos de código aberto em formalização automática e prova de teoremas.

Mensagem do bot Gate News, o governo dos EUA transferiu 0.0378 $BTC avaliado em $2.520. Esta transação é uma transação de teste, com transferências adicionais previstas a seguir.

A equipa de investigação avaliou pela primeira vez de forma quantitativa o impacto do AGENTS.md na eficiência do Agente de programação AI, descobrindo que a sua utilização pode reduzir significativamente o tempo de execução e o número de tokens de saída, recomendando-o como prática padrão de desenvolvimento. A pesquisa foi limitada a um único Agente e a um pequeno volume de PR.

reverter-teste-prepublicar-envio-1770724175131

Odaily星球日报讯 O conhecido investidor do Vale do Silício e cofundador da AngelList, Naval Ravikant, afirmou recentemente que a Moltbook está se tornando um novo “Teste de Turing Inverso” (Reverse Turing Test). Influenciado por essa declaração, a Meme Coin da cadeia Base

A Pi Network lançou três atualizações importantes, incluindo uma integração simplificada de pagamentos Pi, criação de aplicações gratuitas suportadas por anúncios e solicitação de feedback da comunidade para atividades de criadores. Os pioneiros podem integrar o Test-Pi Payments sem programação, os usuários podem implantar aplicações assistindo a anúncios, e os primeiros 1000 feedbacks receberão recompensas em pontos Pi.

1月20日消息，Pi Network 生态迎来新的实用型应用。全新服务平台 Fixora 已正式上线 Pi App Studio，作为一款直接构建在 Pi 平台之上的本地服务市场，Fixora 支持用户使用 Pi Coin 完成支付，进一步拓展 Pi 的真实使用场景与落地能力。 公开信息显示，Fixora 由一位自 2019 年起便参与 Pi Network 的早期支持者开发，其核心目标是推动 Pi 从“挖矿资产”向“日常可用支付工具”转变。此次上线，被视为 Pi 生态向实用化、应用化迈出的重要一步，也符合 Pi Network 当前强调真实应用和真实需求的整体方向。

1月19日消息，围绕区块链底层协议应当“持续进化”还是“趋于僵化”，Solana与以太坊两大生态的核心人物近日出现明显分歧。Solana联合创始人Anatoly Yakovenko公开质疑以太坊创始人Vitalik Buterin提出的区块链长期发展理念，引发业内广泛讨论。 争论的导火索，源于Vitalik Buterin近期关于以太坊“退出测试（exit test）”的观点。他认为，一个成熟的区块链协议应当发展到理论上可以停止频繁升级、依然能够长期稳定运行的阶段，即所谓的“协议僵化”。在这种状态下，协议的核心价值不再依赖未来尚未实现的功能，而是具备类似基础设施的可靠性。

db-test-Tom Lee：O Bitcoin deve atingir uma nova máxima histórica este ano, o Ethereum vai superar o Bitcoin