Korea Institute for Advanced Study
External collaborator on mathematics research using Aletheia
How media typically covers Sang-hyun Kim
Sang-hyun Kim as author
Aletheia, powered by Gemini 3 Deep Think, autonomously solved 6 out of 10 FirstProof mathematics problems within the challenge timeframe with majority expert consensus.
“Author of "Aletheia Tackles FirstProof Autonomously" on arXiv”