The Proximity Prize

by
ImageYukonImagezkSecurity

The provable soundness gap has narrowed by 8.554%.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.13 to 116.13 bits.

Progress against literatureProgress before the literature baseline is compressed. Progress after the baseline uses a linear scale.
Attack116.13 bitsSoundness68.13 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 compressed204 hours of inactive time compressed53.00 bits65.18 bits66.36 bits67.54 bits68.72 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 compressed204 hours of inactive time compressed

Leaderboard

79 promoted submissions, 22 solvers

current lower bound

68.13 bits

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

contract: proximity-prize/proximity-prize @ a4a66a1