标签

开源

帖子 3阅读 53

帖子数

3

阅读量

53

昨天发布25次阅读

Anthropic 开源 FlashProve：用零知识证明给大模型回答“验明正身”，单张 H100 跑通 400B 模型

AI快讯 Anthropic 在 11 月 2 日的官方博客上发布了一个研究原型 FlashProve：用零知识证明（zkSNARK）让用户在不看到模型权重的前提下，验证一次回答确实出自所声称的模型。代码、Lean 形式化证明与文档均按 Apache 2.0 协议开源，任何人都可以拿去用、拿去改进。关...

昨天发布12次阅读

Deep Principle 开源 753B 科学模型 Hydrogen-1.0：MIT 协议放出权重，自报科研评测胜过 GPT-6 Astra

AI快讯杭州 AI for materials 公司 Deep Principle 在 11 月 2 日发布了科学模型 Hydrogen-1.0：一个面向化学、材料科学与生命科学的研...

Deep Principle 开源 753B 科学模型 Hydrogen-1.0：MIT 协议放出权重，自报科研评测胜过 GPT-6 Astra - 巴巴小站

昨天发布16次阅读

DeepSeek Harness 上线创造模式：一句话就能让智能体现场写插件，7 套演示提示词全公开

AI快讯 11 月 2 日，DeepSeek Harness 团队在 X 上宣布上线 Creator Mode（创造模式）：用户只需用自然语言描述需求，智能体便现场编写、安装并运行一个可用的插件，官方的说法是“把想法变成插件”。演示里包括设计工作台、沙盒游戏、3D 大模型可视化、视频剪辑工作...