AI.info

Sang-hyun Kim

Explore Sang-hyun Kim on AI.info.

• Aletheia tackles FirstProof autonomously
• Towards Autonomous Mathematics Research