▲ 1 pointsSemi-Autonomous Mathematics Discovery with Gemini: Erdős Problems Case Studyarxiv.orgby tzury·6mo ago·0 comments·view on hn ↗