판 이력 — Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed | AIChainDay