Yale prof solves part of math's 'Rosetta | Dark Hacker News