The Proximity Prize

by
ImageYukonImagezkSecurity

The provable soundness gap has narrowed by 8.516%.How progress is calculatedProgress is 1 − (Attack − Soundness) / (116.49 − 64.00). The Lean kernel checks every submission for koalaIRS12. The current interval is 68.11 to 116.13 bits.

Progress against literatureProgress before the literature baseline is compressed. Progress after the baseline uses a linear scale.
Attack116.13 bitsSoundness68.11 bits
128.00 bits116.39 bits116.28 bits116.18 bits116.08 bits116.49 bits156 hours of inactive time compressed15 hours of inactive time compressed30 hours of inactive time compressed33 hours of inactive time compressed126 hours of inactive time compressed53 hours of inactive time compressed22 hours of inactive time compressed53.00 bits65.17 bits66.35 bits67.52 bits68.70 bits64.00 bits156 hours of inactive time compressed15 hours of inactive time compressed30 hours of inactive time compressed33 hours of inactive time compressed126 hours of inactive time compressed53 hours of inactive time compressed22 hours of inactive time compressed

Leaderboard

77 promoted submissions, 22 solvers

current lower bound

68.11 bits

  1. 01
    BitWonkaGPT-6 Astra
  2. 02
    jacklightChenGPT-6 Astra×3
  3. 03
    i34-9andSubmission authorsi34-9Submitterpartylikeits1983Co-author0xLucqsCo-authorGPT-5.6 Sol
  4. 04
    nethoxaandSubmission authorsnethoxaSubmitterjsignCo-authorjacklightChenCo-authorGPT-6 Astra
  5. 05
    BitWonkaClaude Fable 5.1
  6. 06
    DaniiRixClaude Opus
  7. 07
    i34-9GPT-5.6 Sol
  8. 08
    saucegodbasedGPT-5.6 Sol
  9. 09
    nethoxaClaude Fable 5.1×2
  10. 10
    ercumentyildirimClaude Fable 5.1
  11. 11
    jieyilongGPT-5.6 Sol
  12. 12
    BitWonkaClaude Opus
  13. 13
    ercumentyildirimClaude Fable 5.1
  14. 14
    i34-9GPT-5.6 Sol
  15. 15
    jieyilongGPT-5.6 Sol
  16. 16
    i34-9GPT-5
  17. 17
    i34-9GPT-5.6 Sol
  18. 18
    BitWonkaGPT-5.6 Sol
  19. 19
    jieyilongGPT-5.6 Sol
  20. 20
    alexanderlhicksGPT-5.6 Sol
  21. 21
    jacklightChenGPT-5.6 Sol
  22. 22
    kongtaoxingGPT-5.6 Sol
  23. 23
    hadakangClaude Opus
  24. 24
    jacklightChenGPT-5.6 Sol
  25. 25
    zkfriendlyGPT-5.6 Sol
  26. 26
    jieyilongGPT-5.6 Sol
  27. 27
    jacklightChenGPT-5.6 Sol
  28. 28
    saucegodbasedGPT-5.6 Sol
  29. 29
    BitWonkaGPT-5.6 Sol×2
  30. 30
    jacklightChenGPT-5.6 Sol
  31. 31
    Inah-choiGPT-5.6 Sol
  32. 32
    kongtaoxingGPT-5.6 Sol
  33. 33
    alxkzmnGPT-5.6 Sol
  34. 34
    kongtaoxingGPT-5.6 Sol
  35. 35
    jieyilongGPT-5.6 Sol
  36. 36
    CrystallineButterflyGPT-5.6 Sol
  37. 37
    jieyilongGPT-5.6 Sol×3
  38. 38
    BitWonkaGPT-5.6 Sol×3
  39. 39
    jieyilongGPT-5.6 Sol
  40. 40
    BitWonkaGPT-5.6 Sol
  41. 41
    erdkocakGPT-5.6 Sol
  42. 42
    BitWonkaGPT-5.6 Sol
  43. 43
    saucegodbasedGPT-5.6 Sol
  44. 44
    erdkocakGPT-5.6 Sol
  45. 45
    BitWonkaGPT-5.6 Sol×3
  46. 46
    i34-9GPT-5.6 Sol
  47. 47
    saucegodbasedGPT-5.6 Sol
  48. 48
    jieyilongGPT-5.6 Sol
  49. 49
    i34-9GPT-5.6 Sol×2
  50. 50
    saucegodbasedGPT-5.6 Sol
  51. 51
    jieyilongGPT-5.6 Sol
  52. 52
    BitWonkaGPT-5.6 Sol
  53. 53
    newjordanClaude Fable 5
  54. 54
    erdkocakGPT-5.6 Sol
  55. 55
    saucegodbasedGPT-5
  56. 56
    CrystallineButterflyGPT-5.6 Sol
  57. 57
    nasqretGPT-5
  58. 58
    jieyilongGPT-5.6 Sol
  59. 59
    BitWonkaGPT-5.6 Sol
  60. 60
    mirinda-cmdGPT-5.6 Sol
  61. 61
    BitWonkaGPT-5.6 Sol
  62. 62
    xadahiyaGrok 4×2
  63. 63
    recmoGPT-5.6 Sol
  64. 64
    ginGPT-5.6 Sol
  65. 65
    saucegodbasedGPT-5.6 Sol

contract: proximity-prize/proximity-prize @ cdb451f