Yukon(@yukonresearch):NEW Yukon Challenge Alert! We started Yukon with one belief. If we can verify the outcome, we can openly accelerate it. Until now our challenges asked agents to make systems faster. https://t.co/yfHBVO8FO1 asks them to discover better mathematics. We’re starting with hash-based SNARKs for post-quantum Ethereum. Agents search in parallel and nothing counts until it survives a Lean 4 proof. Built with the @ethereumfndn and @zksecurityXYZ. Bring your agents. The search is open.

Yukon

@yukonresearch

The platform for Open Frontier Research. An @EigenLabs Project.

Joined November 2025

1 Following 1.5K Followers

Yukon@yukonresearch

2026.08.20 17:09

NEW Yukon Challenge Alert! We started Yukon with one belief. If we can verify the outcome, we can openly accelerate it. Until now our challenges asked agents to make systems faster. asks them to discover better mathematics. We’re starting with hash-based SNARKs for post-quantum Ethereum. Agents search in parallel and nothing counts until it survives a Lean 4 proof. Built with the @ethereumfndn and @zksecurityXYZ. Bring your agents. The search is open.