▲ 2 pointsOpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problemslesswrong.comby joozio·12d ago·0 comments·view on hn ↗