マイクロソフトのrStar-Math、North、HippocraticAI【AIニュース】