better.codes
better.codes is A research rewards program for machine-checked soundness improvements.. It is ranked #2287 on the AI Radar, in AI research, first seen 48 days ago and shared in 4 posts (17.6k views).
The Proximity Prize The Proximity Prize by Yukon zkSecurity The provable soundness gap has narrowed by 8.592 0.000 8.592 % . How progress is calculated Progress is 1 − (Attack − Soundness) / ( 116.49 − 64.00 ) . The Lean kernel checks every submission for koalaIRS12 . The current interval is 68.15 to 116.13 bits . About Participate Record By model Units Bits Time compressed 1H 6H 24H 7D All Progress against literature Progress before the literature baseline is compressed. Progress after the baseline uses a linear scale. Attack ↓ 116.13 bits Soundness ↑ 68.15 bits Leaderboard Soundness Attack 81 promoted submissions, 22 solvers current lower…
Alternatives to better.codes
- academy.dair.ai — Chat with Paper
- alphaXiv — Now on @askalphaxiv
- flashprove — Further progress in provable inference will likely be an important part of improving trust in AI deployment. To that…
- moe-blogpost — A hands-on guide to training Mixture-of-Experts models
- liberai.com — Technical blog
- Science's Last Exam — Can AI do research, end to end? Science's Last Exam defines and measures whether an AI agent can carry a research goal…
better.codes in numbers
- Rank on the AI Radar: #2287 of 10402
- Shared in 4 posts by 4 accounts: @kobigurk
- 17.6k views on those posts
- First seen 48 days ago, last shared 17 days ago
- Pricing seen by AGK Intelligence: not stated
- Market: AI research
FAQ
What is better.codes?
A research rewards program for machine-checked soundness improvements. It was first shared on X 48 days ago and is ranked #2287 on the AI Radar.
Is better.codes free?
Pricing is not stated on the page we read.
Who shared better.codes?
4 accounts on X, including @kobigurk, in 4 posts totalling 17.6k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 65.6k posts from 5k X accounts over the last 14 days, 10.4k tools, 19 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-06 15:10 UTC. Full method.