当减肥还困在“节食挨饿”“疯狂运动”的循环中时，一款名为Modius Lean的神经调节设备打破了传统模式——它形似耳机，无需手术、不用服药，仅通过低强度电信号刺激大脑，就实现了临床验证的减脂效果，近日正式获FDA批准登陆美国市场，为超重及肥胖人群带来了低风险的体重管理新方案。 神经科技巨头的深耕：Neurovalens的“健康三部曲” 这款创新产品背后的Neurovalens公司，自2013年成 ...

12月24日消息，字节跳动 Seed 团队发布了新一代形式化数学推理模型 Seed Prover 1.5 。该模型基于全新的 Agentic 架构 与大规模强化学习训练，在多项高难度数学评测中实现突破， 刷新了形式化数学推理模型的性能纪录 。

最近，陶哲轩迷上了形式化数学证明。 在YouTube上，他开设了账号，上传了4段视频：如何用Lean形式化数学证明。 尤其引人注目的是第三支视频（下图右三），他借助GitHub Copilot挑战了数学分析中的基础内容——微积分中的ε-δ极限。 如今，他开始形式化自己的 ...

洪乐潼受访者供图本报讯（记者王兆昱）日前，记者从初创公司AxiomMath联合创始人洪乐潼（CarinaHong）处获悉，该公司开发的AxiomProver系统使用可验证的Lean语言，完成了埃尔德什问题集中第124题和第481题的形式化证明，分别用 ...

伦敦 - VivoPower International PLC (NASDAQ:VVPR) 周五宣布，其数字资产部门Vivo Federation已与韩国资产管理公司Lean Ventures签订合资协议，收购Ripple Labs股份。根据 InvestingPro 数据，这家目前市值仅为3180万美元的微型市值公司，尽管表现出显著波动性，但其股票在过去一年中上涨了超过100%。