← Back to PeopleFEResearcherFeng et al.UnknownAuthors of Aletheia, a mathematics research agent that solved FirstProof problems autonomously.1Mentions1Articles1OutletsAssociated TopicsAI Agents1AI Research1Foundation Models1Reinforcement Learning1Coverage PatternsHow media typically covers Feng et al.Article Typesresearch1Media Anglestechnical1Narrative Framingbreakthrough1Associated AI ModelsGemini 3 Deep Think1ArticlesMost recent first