2019年 実用数学技能検定2級合格
2019年 実用数学技能検定準1級合格
2021年 知の祭典 算数オリンピック ファイナリスト
2022年 知の祭典 算数オリンピック ファイナリスト
2022年 完全数の研究に関する新しい視点として「現代数学」（2022年4月号）において紹介

数学の定理を自動的に生成するAIの研究をしています。
数学は、暗号技術や物理、化学などあらゆる分野の基礎となるものであり、その定理を自動的に生成できれば、数学や科学技術の発展の速度が加速度的に変わることになると考えます。
これから来るシンギュラリティの時代に、人間のできることが何かを考えながら、より有益なAIを作っていきたいです。