2019 Passed the second level of the Practical Mathematics Proficiency Test
2019 Passed the pre-first level of the Practical Mathematics Proficiency Test
2021 Festival of Wisdom: Mathematical Olympiad finalist
2022 Festival of Wisdom: Mathematical Olympiad finalist
2022 Introduced as a new viewpoint on the research of perfect numbers in Modern Mathematics (April 2022 issue)

I am researching artificial intelligence that automatically generates mathematical theorems. Mathematics is the basis of all fields, including cryptography, physics, and chemistry. If mathematical theorems can be automatically generated, I believe that the pace of mathematical, scientific, and technological development will change exponentially.
I would like to create more beneficial artificial intelligence while considering what humans can do in the age of the singularity to come in the future.