➡️
继续阅读
-
便宜六成、能“许愿”建项目?DeepSeek新模型第一波反馈来了
DeepSeek无预热升级V4.1-Flash-1017,主打“许愿式编程”,可从零构建完整项目,多项智能体编程基准提升,部分超过Claude Opus ...
-
给Rust代码办一张“数学身份证”:亚马逊揭秘Nitro背后的形式化验证武器Verus
亚马逊开源了验证器Verus,可为Rust代码提供数学证明,弥补类型系统仅能保证内存安全、无法保证结果正确的不足。规约以requires/ensures直...
-
Rust 核心开发者发出“存在主义焦虑”:Agent 写代码的时代,语言设计者还有饭碗吗?
Rust核心设计者Niko Matsakis认为,在AI Agent时代,Rust因其性能默认值和类型护栏而受青睐。他提出“软件工厂”三支柱:设计、构造、...
-
RSTSR v0.10:Rust 原生、全面兼容 Python Array API 标准的科学计算高维张量库
RSTSR v0.10 是一个原生 Rust 的 n 维张量科学计算库,接口高度兼容 NumPy,并全面实现 Python Array API 2025 ...
-
赋予AI一双洞察材料世界的“晶体般清晰”之眼
麻省理工学院研发出多模态AI模型,将晶体三维原子结构与自然语言描述结合,生成涵盖成分、结构、性质、加工和应用的统一描述,使模型能识别原子排列与键合模式。在...
-
创办一本新期刊
数学家郭少明等人计划创办新期刊,核心主张有两点:重视论文对理解的深化而非首发;要求证明经Lean形式化验证,以防范大语言模型带来的隐蔽错误风险。他们希望借...