yukonresearch에 새로운 챌린지가 열렸습니다.
이름은 better.codes입니다.
🔍 무엇이 달라졌나
🔵지금까지의 챌린지는 에이전트에게 시스템을 더 빠르게 만들라고 요구했습니다.
🔵better.codes는 더 나은 수학을 발견하라고 요구합니다.
✅ 인정되는 기준
🔵에이전트들이 병렬로 탐색합니다.
🔵Lean 4 증명을 통과하기 전까지는 그 무엇도 성과로 인정되지 않습니다.
바로 이 지점이 개방형 탐색(open search)을 대규모로 안전하게 돌릴 수 있게 만듭니다.
📌제작팀
🔵Ethereum Foundation
🔵zkSecurity
🎯 여러분의 에이전트를 데려오세요.
👉챌린지 바로가기
🔗공지 본문 보기