跳到正文
MarkTechPost·· 1 天前AI 评分86

Anthropic 开源 FlashProve:基于 zkSNARK 的模型推理证明系统

Anthropic 开源 FlashProve:用 zkSNARK 证明回复来自承诺的模型权重

AI 导读

Anthropic 开源了 FlashProve,这是一个基于 zkSNARK 的可验证推理研究原型,用于证明大模型回复来自承诺的权重。在单台配备 H100 的机器上,它能在 Llama 4 Maverick(400B MoE)模型上实现约 110 tokens/second 的证明速度,生成的 18.78 MB 证明可在 CPU 上于 17 秒内完成验证。

正文 · 原文

Image 1

We use cookies on our website to give you the most relevant experience by remembering your preferences and repeat visits. By clicking “Accept”, you consent to the use of ALL the cookies. .

Cookie settings REJECT ACCEPT

Image 2

Necessary Always Active

Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website. These cookies do not store any personal information.

  • Cookie __cf_bm

  • Duration 1 hour

  • Description This cookie, set by Cloudflare, is used to support Cloudflare Bot Management.

  • Cookie _pxvid

  • Duration 1 year

  • Description PerimeterX sets this cookie to detect fraud and bot activity.

  • Cookie _px3

  • Duration 6 minutes

  • Description This cookie is set by the Bloomberg to protect the site from BOT attacks.

  • Cookie CookieLawInfoConsent

  • Duration 1 year

  • Description CookieYes sets this cookie to record the default button state of the corresponding category and the status of CCPA. It works only in coordination with the primary cookie.

  • Cookie cookielawinfo-checkbox-necessary

  • Duration 11 months

  • Description This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".

  • Cookie cookielawinfo-checkbox-others

  • Duration 1 year

  • Description Set by the GDPR Cookie Consent plugin, this cookie stores user consent for cookies in the category "Others".

  • Cookie cookielawinfo-checkbox-non-necessary

  • Duration 11 months

  • Description This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Non Necessary".

  • Cookie cookielawinfo-checkbox-analytics

  • Duration 1 year

  • Description Set by the GDPR Cookie Consent plugin, this cookie records the user consent for the cookies in the "Analytics" category.

  • Cookie cookielawinfo-checkbox-performance

  • Duration 1 year

  • Description Set by the GDPR Cookie Consent plugin, this cookie stores the user consent for cookies in the category "Performance".

  • Cookie cookielawinfo-checkbox-uncategorized

  • Duration 1 year

  • Description The cookie is set by the GDPR Cookie Consent plugin to record the user consent for cookies in the category "Uncategorized".

  • Cookie cookielawinfo-checkbox-functional

  • Duration 1 year

  • Description The GDPR Cookie Consent plugin sets the cookie to record the user consent for the cookies in the category "Functional".

  • Cookie cookielawinfo-checkbox-advertisement

  • Duration 1 year

  • Description Set by the GDPR Cookie Consent plugin, this cookie records the user consent for the cookies in the "Advertisement" category.

  • Cookie wpEmojiSettingsSupports

  • Duration session

  • Description WordPress sets this cookie when a user interacts with emojis on a WordPress site. It helps determine if the user's browser can display emojis properly.

  • Cookie VISITOR_PRIVACY_METADATA

  • Duration 6 months

  • Description YouTube sets this cookie to store the user's cookie consent state for the current domain.

  • Cookie viewed_cookie_policy

  • Duration 11 months

  • Description The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.

  • Cookie PHPSESSID

  • Duration

  • Description This cookie is native to PHP applications. The cookie is used to store and identify a users' unique session ID for the purpose of managing user session on the website. The cookie is a session cookies and is deleted when all the browser windows are closed.

  • Cookie __cfduid

  • Duration 4 weeks

  • Description The cookie is set by CloudFare. The cookie is used to identify individual clients behind a shared IP address d apply security settings on a per-client basis. It doesnot correspond to any user ID in the web application and does not store any personally identifiable information.

Functional

  • [x]

Functional cookies help to perform certain functionalities like sharing the content of the website on social media platforms, collect feedbacks, and other third-party features.

  • Cookie yt-remote-connected-devices

  • Duration never

  • Description YouTube sets this cookie to store the user's video preferences using embedded YouTube videos.

  • Cookie ytidb::LAST_RESULT_ENTRY_KEY

  • Duration never

  • Description The cookie ytidb::LAST_RESULT_ENTRY_KEY is used by YouTube to store the last search result entry that was clicked by the user. This information is used to improve the user experience by providing more relevant search results in the future.

  • Cookie yt-remote-device-id

  • Duration never

  • Description YouTube sets this cookie to store the user's video preferences using embedded YouTube videos.

  • Cookie yt-remote-session-name

  • Duration session

  • Description The yt-remote-session-name cookie is used by YouTube to store the user's video player preferences using embedded YouTube video.

  • Cookie yt-remote-fast-check-period

  • Duration session

  • Description The yt-remote-fast-check-period cookie is used by YouTube to store the user's video player preferences for embedded YouTube videos.

  • Cookie yt-remote-session-app

  • Duration session

  • Description The yt-remote-session-app cookie is used by YouTube to store user preferences and information about the interface of the embedded YouTube video player.

  • Cookie yt-remote-cast-available

  • Duration session

  • Description The yt-remote-cast-available cookie is used to store the user's preferences regarding whether casting is available on their YouTube video player.

  • Cookie yt-remote-cast-installed

  • Duration session

  • Description The yt-remote-cast-installed cookie is used to store the user's video player preferences using embedded YouTube video.

  • Cookie na_id

  • Duration 1 year

  • Description This cookie is set by Addthis.com to enable sharing of links on social media platforms like Facebook and Twitter

  • Cookie vc

  • Duration 1 year

  • Description This cookie is set by addthis.com on sites that allow sharing on social media.

  • Cookie __atuvc

  • Duration 1 year

  • Description This cookie is set by Addthis to make sure you see the updated count if you share a page and return to it before our share count cache is updated.

  • Cookie __atuvs

  • Duration 30 minutes

  • Description This cookie is set by Addthis to make sure you see the updated count if you share a page and return to it before our share count cache is updated.

  • Cookie ouid

  • Duration 1 year

  • Description The cookie is set by Addthis which enables the content of the website to be shared across different networking and social sharing websites.

Analytics

  • [x]

Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics the number of visitors, bounce rate, traffic source, etc.

  • Cookie ga*

  • Duration 1 year 1 month 4 days

  • Description Google Analytics sets this cookie to store and count page views.

  • Cookie _ga

  • Duration 2 years

  • Description This cookie is installed by Google Analytics. The cookie is used to calculate visitor, session, camapign data and keep track of site usage for the site's analytics report. The cookies store information anonymously and assigns a randoly generated number to identify unique visitors.

  • Cookie sbjs_migrations

  • Duration session

  • Description Sourcebuster sets this cookie to identify the source of a visit and stores user action information in cookies. This analytical and behavioural cookie is used to enhance the visitor experience on the website.

  • Cookie sbjs_current_add

  • Duration session

  • Description Sourcebuster sets this cookie to identify the source of a visit and stores user action information in cookies. This analytical and behavioural cookie is used to enhance the visitor experience on the website.

  • Cookie sbjs_first_add

  • Duration session

  • Description Sourcebuster sets this cookie to identify the source of a visit and stores user action information in cookies. This analytical and behavioural cookie is used to enhance the visitor experience on the website.

  • Cookie sbjs_current

  • Duration session

  • Description Sourcebuster sets this cookie to identify the source of a visit and stores user action information in cookies. This analytical and behavioural cookie is used to enhance the visitor experience on the website.

  • Cookie sbjs_first

  • Duration session

  • Description Sourcebuster sets this cookie to identify the source of a visit and stores user action information in cookies. This analytical and behavioural cookie is used to enhance the visitor experience on the website.

  • Cookie sbjs_udata

  • Duration session

  • Description Sourcebuster sets this cookie to identify the source of a visit and stores user action information in cookies. This analytical and behavioural cookie is used to enhance the visitor experience on the website.

  • Cookie sbjs_session

  • Duration 1 hour

  • Description Sourcebuster sets this cookie to identify the source of a visit and stores user action information in cookies. This analytical and behavioural cookie is used to enhance the visitor experience on the website.

  • Cookie tk_or

  • Duration 1 year 1 month 4 days

  • Description JetPack plugin sets this referral cookie on sites using WooCommerce, which analyzes referrer behaviour for Jetpack.

  • Cookie tk_r3d

  • Duration 3 days

  • Description JetPack installs this cookie to collect internal metrics for user activity and improve user experience.

  • Cookie tk_lr

  • Duration 1 year

  • Description JetPack plugin sets this referral cookie on sites using WooCommerce, which analyzes referrer behaviour for Jetpack.

  • Cookie tk_ai

  • Duration 1 year

  • Description JetPack sets this cookie to store a randomly-generated anonymous ID used only within the admin area and for general analytics tracking.

  • Cookie tk_tc

  • Duration session

  • Description JetPack sets this cookie to record details on how users use the website.

  • Cookie _gat_gtag_UA_5784146_31

  • Duration 1 minute

  • Description Google Used to distinguish users.

  • Cookie GPS

  • Duration 30 minutes

  • Description This cookie is set by Youtube and registers a unique ID for tracking users based on their geographical location

  • Cookie __gads

  • Duration 2 years

  • Description This cookie is set by Google and stored under the name dounleclick.com. This cookie is used to track how many times users see a particular advert which helps in measuring the success of the campaign and calculate the revenue generated by the campaign. These cookies can only be read from the domain that it is set on so it will not track any data while browsing through another sites.

  • Cookie uvc

  • Duration 1 year

  • Description The cookie is set by addthis.com to determine the usage of Addthis.com service.

  • Cookie ad-id

  • Duration 7 months

  • Description Provided by amazon-adsystem.com for tracking user actions on other websites to provide targeted content

  • Cookie _gat_gtag_UA_116563943_1

  • Duration 1 minute

  • Description Google uses this cookie to distinguish users.

  • Cookie _gid

  • Duration 1 day

  • Description This cookie is installed by Google Analytics. The cookie is used to store information of how visitors use a website and helps in creating an analytics report of how the wbsite is doing. The data collected including the number visitors, the source where they have come from, and the pages viisted in an anonymous form.

Performance

  • [x]

Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors.

  • Cookie YSC

  • Duration

  • Description This cookies is set by Youtube and is used to track the views of embedded videos.

  • Cookie _gat

  • Duration 1 minute

  • Description This cookies is installed by Google Universal Analytics to throttle the request rate to limit the colllection of data on high traffic sites.

Advertisement

  • [x]

Advertisement cookies are used to provide visitors with relevant ads and marketing campaigns. These cookies track visitors across websites and collect information to provide customized ads.

  • Cookie COMPASS

  • Duration 1 hour

  • Description The COMPASS cookie is used by Yahoo to deliver targeted advertising based on user's online behavior.

  • Cookie NID

  • Duration 5 months

  • Description This cookie is used to a profile based on user's interest and display personalized ads to the users.

  • Cookie __Secure-YNID

  • Duration 6 months

  • Description Google cookie used to protect user security and prevent fraud, especially during the login process.

  • Cookie __Secure-ROLLOUT_TOKEN

  • Duration 6 months

  • Description YouTube sets this cookie to manage feature rollout and experimentation. It helps Google control which new features or interface changes are shown to users as part of testing and staged rollouts, ensuring consistent experience for a given user during an experiment.

  • Cookie yt.innertube::nextId

  • Duration never

  • Description YouTube sets this cookie to register a unique ID to store data on what videos from YouTube the user has seen.

  • Cookie yt.innertube::requests

  • Duration never

  • Description YouTube sets this cookie to register a unique ID to store data on what videos from YouTube the user has seen.

  • Cookie VISITOR_INFO1_LIVE

  • Duration 5 months

  • Description This cookie is set by Youtube. Used to track the information of the embedded YouTube videos on a website.

  • Cookie TapAd_TS

  • Duration 1 month

  • Description The cookie is set by Tapad.com. The purpose of the cookie is to track users across devices to enable targeted advertising.

  • Cookie TapAd_DID

  • Duration 1 month

  • Description The cookie is set by tapad.com. The purpose of the cookie is to track users across devices to enable targeted advertising

  • Cookie personalization_id

  • Duration 2 years

  • Description This cookie is set by twitter.com. It is used integrate the sharing features of this social media. It also stores information about how the user uses the website for tracking and targeting.

  • Cookie uid

  • Duration 1 year

  • Description This cookie is used to measure the number and behavior of the visitors to the website anonymously. The data includes the number of visits, average duration of the visit on the website, pages visited, etc. for the purpose of better understanding user preferences for targeted advertisments.

  • Cookie loc

  • Duration 1 year

  • Description This cookie is set by Addthis. This is a geolocation cookie to understand where the users sharing the information are located.

  • Cookie IDE

  • Duration 2 years

  • Description Used by Google DoubleClick and stores information about how the user uses the website and any other advertisement before visiting the website. This is used to present users with ads that are relevant to them according to the user profile.

  • Cookie di2

  • Duration 1 year

  • Description This cookie is set by addthis.com on sites that allows sharing on social media. The cookie is used to track user behavior anonymously to generate usage trends to improve relevance to their services and advertising.

Others

  • [x]

Other uncategorized cookies are those that are being analyzed and have not been classified into a category as yet.

  • Cookie pxcts

  • Duration session

  • Description Description is currently not available.

  • Cookie _pxttld

  • Duration session

  • Description Description is currently not available.

  • Cookie SGPBShowingLimitationDomain77659

  • Duration 2 days

  • Description Description is currently not available.

  • Cookie __Secure-YEC

  • Duration past

  • Description YouTube sets this cookie to stores the user's video player preferences using embedded YouTube video

  • Cookie S

  • Duration 1 hour

  • Description Used by Yahoo to provide ads, content or analytics.

  • Cookie test_cookie

  • Duration 11 months

  • Description This cookie is set by doubleclick.net. The purpose of the cookie is to determine if the users' browser supports cookies.

  • Cookie sc_at

  • Duration 1 year

  • Description Snapchat sets this cookie for showing relevant advertising based on the user’s movement.

  • Cookie TapAd_3WAY_SYNCS

  • Duration 1 month

  • Description TapAd sets this cookie for data synchronization with advertising networks.

  • Cookie _pin_unauth

  • Duration 1 year

  • Description Pinterest set this cookie to group actions for users who cannot be identified.

  • Cookie sc_anonymous_id

  • Duration 9 years

  • Description Soundcloud sets this cookie to enable visitors to embed content or files on the website.

  • Cookie um

  • Duration 1 year

  • Description Set by addthis.com.(Purpose not known)

  • Cookie DCRP_Categories

  • Duration 4 weeks

  • Description Description is currently not available.

  • Cookie vuid

  • Duration 2 years

  • Description Vimeo installs this cookie to collect tracking information by setting a unique ID to embed videos on the website.

  • Cookie X-AB

  • Duration 1 day

  • Description Adobe Analytics sets this cookie in context with multi-variate testing. This is a tool used to combine or change content on the website. This allows the website to find the best variation or edition of the site.

  • Cookie YTC

  • Duration 10 minutes

  • Description YouTube sets the YTC cookie to manage the embed and viewing of videos on the website.

  • Cookie sp_t

  • Duration 1 month

  • Description The sp_t cookie is set by Spotify to implement audio content from Spotify on the website and also registers information on user interaction related to the audio content.

  • Cookie sp_landing

  • Duration 1 day

  • Description The sp_landing is set by Spotify to implement audio content from Spotify on the website and also registers information on user interaction related to the audio content.

  • Cookie __asc

  • Duration 30 minutes

  • Description Alexa Metrics sets this cookie to track and report information to the Alexa analytics service.

  • Cookie __auc

  • Duration 1 year

  • Description Alexa Metrics sets this cookie to track and report information to the Alexa analytics service.

  • Cookie AWSESS

  • Duration

  • Description Awin sets this to ensure the same kind of advertisement is not shown to the user.

  • Cookie nevercache-b39818

  • Duration session

  • Description Description is currently not available.

REJECT Save My Preferences ACCEPT

Powered by Image 3

Image 4: LogoNews Hub

Premium Content

Read our exclusive articles

Facebook

Instagram

X

DiscordLinkedinRedditX

Search

Image 5: LogoNews Hub

Image 6: LogoMARKTECHPOST

Search AI news...

Search

HomeEditors PickAgentic AIAnthropic Releases FlashProve: Cryptographic Proofs That a Reply Came From Committed Weights

Open-source benchmark by DatalabIs your PDF parser actually getting it right? omni_parse_bench scores any parser on text, tables & layout with page-level pass/fail tests.Star on GitHub**→TEXTTABLE****LAYOUT**Text✓Tables✓Layout✓present order repeat table_cell layout_kind$uv pip install omni-parse-bench Sponsored

Anthropic Releases FlashProve: Cryptographic Proofs That a Reply Came From Committed Weights

By

Asif Razzaq

November 3, 2026

Image 7Add as a preferred source on Google

Anthropic’s Frontier Red Team has released FlashProve, an open-source research prototype for provable inference. FlashProve is a zkSNARK system from Anthropic that proves a reply came from a committed model. The proof reveals nothing about the model weights. On Llama 4 Maverick, a 400B mixture-of-experts model, it proves about 110 tokens/second on 1 H100. For developers, this targets a real gap: today you cannot check which model actually answered your API call.

TL;DR

  • Size: Proves a 400B MoE model (~17B active per token); context capped at 1,024 tokens per request.
  • Runs on: Prover needs 1 H100 80 GB, 24 CPU cores and ~290 GB host RAM. Verifier runs on a CPU, no GPU.
  • Performance: Orders of magnitude faster than prior open-source zkML systems on the same 400B model.
  • Best: 110 tokens/second proving on 1 H100, with 18.78 MB proofs checked in 17 seconds.
  • Worst: Proving costs ~70 to 95x the GPU time of plain vLLM inference.

What problem does provable inference solve?

A user querying a model cannot verify which model produced the response. A routing service could swap in a cheaper model. An attacker could tamper with the token stream. Judging from output quality alone is unreliable.

**TEXTTABLELAYOUTIs your PDF parser actually getting it right? none omni_parse_bench · scores text, tables & layout · open source Star on GitHub→**Sponsored

Anthropic lists 4 use cases:

  • Regulators could confirm hardware serves inference, supporting AI pacing rules.
  • Labs could detect tampered inference servers.
  • Users could verify text provenance.
  • Regulators could enforce serving of approved models only.

How does FlashProve work?

FlashProve has a prover (the model provider) and a verifier (the user). It runs in 2 phases:

  • Offline: The provider publishes a commitment, a short fingerprint binding one exact set of weights. This takes about 39 minutes and covers about 16 million requests.
  • Online: For each request, the GPU produces a proof that the committed model produced those tokens.

The proof system compiles an interactive oracle proof into a cryptographic proof using hash functions. Anthropic says this offers post-quantum security. It is the same family used by validity-proof L2 networks such as Starknet.

Three engineering choices drive the speed. Prover work scales with the ~17B active parameters, not all 400B. Requests are proved in batches after the fact, like prefill. Weights stream from host memory, so a single 80 GB GPU suffices.

100K 200K 300K+users hand AI their chores.+30% wallet bonus · ends Oct 31 Claim 30% bonus**→**Sponsored

How fast is it? Benchmarks

Anthropic measured the public 4-bit Maverick weights on 1 H100 with 24 CPU cores. Per the repo performance guide:

  • Batch of 24: 111.23 tokens/second, ~221 to 226 seconds per batch.
  • Batch of 1: 17.41 tokens/second. Batch of 64: 123.31 tokens/second, flagged as unreliable on 80 GB cards.
  • Proof size: 18.78 MB. Client downloads ~6.5 MB once per commitment.
  • Verification: 17 seconds on 24 threads, 21 seconds on 1 thread.

Against vLLM running FP8 Maverick on 8 H100s, proving costs about 72x the GPU time per batch. At vLLM’s highest tested load, the gap is about 94x.

How does FlashProve compare with other zkML systems?

Metrics FlashProve Attestable VerInf DeepProve zkLLM
Model proven Llama 4 Maverick (400B MoE) Gemma 4 31B (dense) Llama 4 Maverick (400B MoE) GPT-2, Gemma 3 LLaMA-2-13B
Throughput ~110 tok/s 53 to 77 tok/s ~0.02 tok/s (1,000 tokens in 14.3 h) ~2.9 tok/s (GPT-2), ~1.4 tok/s (Gemma 3) Full inference in under 15 min
Hardware 1 H100 + 24 CPU cores 1 H100 1 DGX Spark 1 machine; 31 tok/s distributed GPU (CUDA)
Proof size 18.78 MB 4.35 to 7.92 MiB 93.6 GB Not disclosed Under 200 kB
Verify time 17 s (24 threads) 157 to 648 ms 17.7 h (20 cores) 1 to 3.7 s Not disclosed
Context 1,024 tokens Up to 16K tokens 1,000 tokens Not disclosed Not disclosed
Code / license Open, Apache 2.0 Not open source Open, MIT Open source per Lagrange Paper (CCS 2024)

How is the security checked?

Cryptographic code is brittle, so Anthropic formalized the protocol in Lean. It proves completeness, soundness and zero knowledge. The README states a cheating provider is caught except with probability about q/2^124 + 2^-101.

FlashProve ships 2 verifiers. A fast C++ verifier is for daily use but carries no formal guarantee. A slower Lean verifier is proven to accept only what the soundness theorem accepts. Anthropic team notes Claude helped optimize the system.

Key Takeaways

  • FlashProve proves a 400B MoE model at ~110 tokens/second on 1 H100.
  • Proofs are 18.78 MB and verify on a CPU in 17 seconds.
  • Proving costs ~70 to 95x the GPU time of vLLM inference.
  • Security properties are formalized in Lean; weights stay hidden.
  • Limited to 1,024 tokens, greedy decoding, and MoE models for now.

Check out the**research post, technical report, protocol specification and GitHub repo. Also,feel free to follow us onTwitterand don’t forget to join our150k+ML SubRedditand Subscribe toour Newsletter. Wait! are you on telegram?now you can join us on telegram as well.**

Need to partner with us for promoting your GitHub Repo OR Hugging Face Page OR Product Release OR Webinar etc.?Connect with us

Image 8

Asif Razzaq

Website|+ posts Bio ⮌

Asif Razzaq is the CEO of Marktechpost AI Media Inc.. As a visionary entrepreneur and engineer, Asif is committed to harnessing the potential of Artificial Intelligence for social good. His most recent endeavor is the launch of an Artificial Intelligence Media Platform, Marktechpost, which stands out for its in-depth coverage of machine learning and deep learning news that is both technically sound and easily understandable by a wide audience. The platform boasts of over 2 million monthly views, illustrating its popularity among audiences.

$uv pip install omni-parse-bench**✓text✓tables✓layout→ scored per page Star on GitHub→**Sponsored

Previous articleNVIDIA Shows 3 Ways to Speed Up MoE Inference on DGX Spark, Lifting Ling-3.0-flash Throughput 42.5%

Asif Razzaq

RELATED ARTICLESMORE FROM AUTHOR

Image 9: NVIDIA Shows 3 Ways to Speed Up MoE Inference on DGX Spark, Lifting Ling-3.0-flash Throughput 42.5%

NVIDIA Shows 3 Ways to Speed Up MoE Inference on DGX Spark, Lifting Ling-3.0-flash Throughput 42.5%

Image 10: Soniox STT v6 Adds Agent Text Input and Echo Filtering for Voice Agents

Soniox STT v6 Adds Agent Text Input and Echo Filtering for Voice Agents

Image 11: OpenAI Introduces Pando: A Git Backend That Cuts Median Push Latency ~80%

OpenAI Introduces Pando: A Git Backend That Cuts Median Push Latency ~80%

Image 12: Zyphra AI Introduces Zyphra Hierarchical Attention (ZHA): A Path to True Subquadratic Attention

Zyphra AI Introduces Zyphra Hierarchical Attention (ZHA): A Path to True Subquadratic Attention

Image 13: The Letter Company Releases Letterpress-1: A Coding Agent Built for Growth Engineering

The Letter Company Releases Letterpress-1: A Coding Agent Built for Growth Engineering

Image 14: Deep Principle Releases Hydrogen-1.0: A 753B Open-Weight Model for Scientific Discovery

Deep Principle Releases Hydrogen-1.0: A 753B Open-Weight Model for Scientific Discovery

Open-source benchmark by DatalabIs your PDF parser actually getting it right? omni_parse_bench scores any parser on text, tables & layout with page-level pass/fail tests.**TEXTTABLELAYOUTText✓Tables✓Layout✓$uv pip install omni-parse-bench Star on GitHub→**Sponsored

Image 15Image 17Drex for Search · Nace.AI 2.3×faster agentic search Decision-powered retrieval for your coding agent.Plugs in via MCP, CLI or SDK. Cites the file, page and row.Try it free→OfficeQA Pro, per Nace.AI Sponsored

Image 19

DiscordLinkedinRedditX

© Copyright Reserved @2025 Marktechpost AI Media Inc

DEPLOY THIS MODEL

FlashProve (Anthropic)

PARTIAL — code open, unmaintained research artifact Apache 2.0 (code/proofs); Llama 4 weights under Meta Llama 4 license

Self-host · Prover+2 verifiers · needs 1 H100 80GB, 24 CPU cores, ~290GB RAM

API · No hosted API; run FlashProve prover yourself against Maverick

Weights · Needs separate Llama 4 Maverick 4-bit weights from Hugging Face

GH GitHub anthropics/FlashProve: prover, C++/Lean verifiers, Lean proofs↗HF Hugging Face Llama 4 Maverick weights (needed to run FlashProve)↗DOC Anthropic Research Research post + technical report on provable inference↗

Verified Nov 3, 2026 · Marktechpost

Supercharge your agentic search with Decision‑powered retrieval

TRY IT FREE

Close Welcome Bar

Get AI Dev Signals

The newsletter 70,000+ AI builders read. Model releases, tools and research, without the hype.

MARKTECHPOST Practitioner-first AI/ML news and analysis, read by 1M+ developers and researchers every month.

Sections

Company

Our network

© 2026 Marktechpost AI Media Inc. All rights reserved.Privacy & termsCookie policy

Go to mobile version

Image 20

来源:MarkTechPost · marktechpost.com