Brown University
External collaborator on Aletheia mathematics research agent
How media typically covers Junehyuk Jung
Junehyuk Jung 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”