[📪정보] PutnamBench 리더보드 업데이트

[익명(orangestar1122)]

[익명(shore1232)]

이제 lean 쓰는 쎈수학왕들은 아무 감흥도 없다 어차피 연말에 자연어로 다 풀릴텐데..

[익명(to414)]

딥씽크나오면 pass1으로 어디까지 뚫으려나

[asi2026(dart5404)]