TRACE

Linux Foundat
2026-08-26 05:27:03

Linux Foundation Takes Over TRACE, an Open-Source Standard for AI Runtime Attestation

The Linux Foundation has announced that it is taking over TRACE, an open-source standard used for AI runtime attestation, according to a Techub News brief citing Crypto Briefing. The move is aimed at improving accountability in AI systems and supporting trust and compliance across different computing environments. The item did not disclose additional technical details about TRACE’s governance structure, implementation roadmap, or participating organizations. Based on the source text, the announcement centers on the Linux Foundation’s role in assuming stewardship of the standard and the intended goal of making AI systems more accountable at runtime. The report also frames the handover as a step tied to broader trust and compliance needs in cross-environment computing scenarios.

60
Linux Foundation Takes Over TRACE, an Open-Source Standard for AI Runtime Attestation
Tsinghua Univ
2026-08-24 01:13:10

Tsinghua and Wharton researchers use GPT-built proof to set a limit on gradient descent step sizes

Researchers Jianhao Ma of Tsinghua University and Yuxin Chen of the University of Pennsylvania’s Wharton School have released a paper addressing a roughly 40-year question in optimization theory: how far standard gradient descent can go if its structure is left unchanged and only the step-size schedule is tuned. Their result states that for any pre-specified nonnegative step-size sequence, gradient descent has a lower-bound convergence rate of Ω(T^-1.9319), ruling out the possibility that step-size design alone can match the O(1/T²) rate achieved by Nesterov’s accelerated method. The paper, as described in the report, is notable not only for the theorem itself but also for how the proof was produced. The core argument was generated through iterative work with GPT-5.6 Sol Pro, with the researchers supplying the problem target and a high-level “resisting oracle” strategy, then correcting gaps as they appeared. The result was later translated into Lean 4 code with Codex and formally checked line by line. According to the report, the final formalization used zero “sorry” and zero “admit,” meaning no proof steps were skipped. The code has been made public on GitHub alongside a traceability file linking the paper’s theorems to the Lean implementation.

550
Tsinghua and Wharton researchers use GPT-built proof to set a limit on gradient descent step sizes
Trace Network
2026-07-08 08:45:55

Trace Network Labs Update Shows TRACE Supply Near Maximum Cap

Trace Network Labs’ latest public data shows TRACE has an all-time high of 0.98 and a circulating supply of 99,519,869 against a 100,000,000 maximum, highlighting a token structure that is already close to full circulation.

180
Trace Network Labs Update Shows TRACE Supply Near Maximum Cap
Trace Network
2026-07-08 08:45:55

Trace Network Labs Snapshot: TRACE Circulating Supply Nears Maximum Cap

Trace Network Labs is described as an enterprise-focused PoS protocol for supply chain, data management, trade settlement, and financing. Public data shows TRACE has a 0.98 all-time high and a circulating supply of 99,519,869 out of a 100,000,000 maximum.

250
Trace Network Labs Snapshot: TRACE Circulating Supply Nears Maximum Cap