It will be fantastic if agents + auto-research can start designing real protocols that go beyond performance optimisation
i.e. good enough “intuition” behind all the core mathematical components in ZK (polynomial commitment, etc), design new protocols through some combinations

I implemented zk-autoresearch, based on Karpathy's autoresearch loop, on a production ZK prover, Plonky3.
Soundness review by a Plonky3 engineer is pending before I treat these as final. The methodology finding is already clear, preliminary results below.
Target: Plonky3's NTT

Barna

Twitter

Source: Synced

Just now, a historic "closed-door" event occurred in the AI community.

Anthropic has officially banned access to OpenClaw using its own subscription plan!!!

Boris Cherny, the creator of Claude Code, announced: Starting at 3 PM EST on April 4th (3 AM Beijing time on April 5th), Claude will block all third-party tools; access to these tools will only be available through additional subscription plans or APIs.

[OpenClaw] This means that thousands of users who rely on OpenClaw for improvements...

Anthropic officially blocks OpenClaw, causing a global developer crisis within 24 hours.

MicroStrategy founder Michael Saylor asserts that Bitcoin has won the global narrative war, specifically naming BIP- […]
The article, "Michael Saylor Warns BIP-110 is the Biggest Threat to Bitcoin; Four-Year Cycle is Dead, Institutional Capital is the Real Protagonist," was first published on BlockTempo, the most influential blockchain ABMedia media.

Michael Saylor warns that BIP-110 is the biggest threat to Bitcoin; the four-year cycle is dead, and institutional capital is the real protagonist.

Warnings of a looming economic rupture are intensifying as Robert Kiyosaki links inflation, oil shocks, and retirement strain to decades-old policy shifts that may now be converging in 2026.
Key Takea...