← Back to PeopleYXResearcherYinzhan XuResearcherLinkedInYinzhan Xu used GPT-5.5 Pro with Barna Saha to develop a proof on computational limits in geometry.2Mentions0Articles0OutletsCompanies CoveredDepartment of Energy0École normale supérieure0Institute for Advanced Study0OpenAI0Appears AlongsideRogerio JorgeResearcher2 shared articlesChristopher YeResearcher2 shared articlesBarna SahaResearcher2 shared articlesNo linked articles yet.