불러오는 중
판 이력 — Breaking the high-degree barrier in Lehmer's problem with a human-AI discovery loop | AIChainDay