跳到正文
10月23日周五
  1. The Decoder76

    Anthropic 的 Claude 现可自动编写代码并证明其安全性

    Anthropic 使用 Claude 数学证明现有代码的正确性,该模型在几周内生成了约1.8亿行数学证明代码,分析了来自123个开源库的测试程序,发现了数百个传统测试可能遗漏的bug。尽管证明仅在特定条件下有效,且计算成本高昂,但 Anthropic 认为这将改变软件开发流程,并计划将此技术应用于关键基础设施。

    推荐理由:Claude 自动生成数学证明验证代码安全,将传统需20人年的工作压缩至数周,但严格限制条件仍存挑战。

  2. The Decoder63

    Canva发布首款自研图像模型Craft

    设计平台Canva发布了其首款自研图像生成模型Craft,该模型以设计模板为主要训练数据,能够生成2K分辨率图像并支持55种语言文本渲染。在DesignArena平台排名中,Craft位列第四,但在人像和风景类别中排名第一。Craft现已通过Dream Lab和公共API向所有用户开放,并计划未来支持ChatGPT和Gemini等聊天机器人的MCP集成。

  3. 华尔街见闻75

    寒武纪Q3营收同比增长104.47%,净利润增147.74%

    寒武纪2026年第三季度营收35.31亿元,同比增长104.47%;归母净利润14.04亿元,同比增长147.74%。前三季度营收95.26亿元,净利润37.15亿元,均实现超100%增长。公司称增长主要得益于持续拓展市场和推动人工智能应用落地,但存货增至116.65亿元,预付款项和应付票据也大幅增加。

  4. 财联社电报22

    我国成功发射遥感五十号03星

    我国在太原卫星发射中心使用长征六号改运载火箭成功发射遥感五十号03星,卫星进入预定轨道。该卫星主要用于国土普查、农作物估产和防灾减灾。此次为长征系列运载火箭第672次飞行。