Vals AI(@ValsAI):We asked ten Claude Opus 5.5 agents to devise a faster shortest-path algorithm and prove it in Lean. Within 15 hours, they produced C-HD: a formally verified improvement over the published bounds.

Vals AI

@ValsAI

Public LLM Evaluation // @8vc @BloombergBeta @pearvc @a16z @HRTVentures @nextladder

Joined March 2024

277 Following 23.1K Followers

Vals AI@ValsAI

2026.09.22 18:50

We asked ten Claude Opus 5.5 agents to devise a faster shortest-path algorithm and prove it in Lean. Within 15 hours, they produced C-HD: a formally verified improvement over the published bounds.

3.4K

247

Forward to community

Most Popular Users

749.7K Followers

1M Followers

111.9M Followers

241.7M Followers

6.3M Followers

196.2K Followers

3.4M Followers

5.4M Followers

470.9K Followers

2M Followers

1.8M Followers

348.8K Followers

2.1M Followers

1.8M Followers

9.1M Followers