Mathematics and Artificial Intelligence
How Artificial Intelligence Can Assist Mathematicians?
Expository Paper: Exploring Hyperbolic Groups with Elementary Geometry and Genetic Algorithms
Expository Paper: Is Math Curvy? Is Math Fat?
Our empirical results reveal a dual scale geometry: while the globally the graph of theorems is tree-like (Gromov-hyperbolic with $\delta=1$ ), locally it exhibits dense clustering (Jaccard-overlap proxy $\kappa \approx 0.022$ ). This tree of cliques reveals an intrinsic structure of the world of formalized mathematics.
We demonstrate the utility of this geometric duality through one toy example of AI-Mathematics collaboration: Manifold Extrapolation, where automated conjectures are generated by extending the manifold into peripheral leaf nodes.
How Artificial Intelligence can Assist Educators in Mathematical Science?
Randomized Control Trial on How Artificial Intelligence can Improve Human Collaboration in Virtual Classroom
Dr. Ashani Dasgupta
Dr. Ashani Dasgupta specializes in geometric group theory and low-dimensional topology. His research includes relative hyperbolicity, embedding problems, Morse conditions, local connectedness of boundaries for relatively hyperbolic groups, and connectedness properties of Bowditch boundaries.
Srijit Mukherjee
Srijit Mukherjee is a PhD student in the EECS Department at Pennsylvania State University (after studies in Statistics at Indian Statistical Institute). He builds interpretable AI solutions for biomedical imaging and diseases, collaborating with doctors and engineers at Harvard and Yale. His work explores expressing "mind, information, and intelligence" through mathematics and engineering, with applications in generative AI for problem-solving and novel problem creation.
Dr. Arka Banerjee
Arka Banerjee (Postdoc at Auburn University) focuses on metric geometry, geometric group theory, coarse geometry, coarse cohomology, coarse embeddings, group actions on CAT(0) cube complexes, coarse Poincaré duality spaces, and topological methods in geometry and topology.
Ragunath JV
Raghunath is a PhD applicant in Pure Mathematics, with a focus on Topology, Group Theory, and allied areas. He love discussing Math Olympiad problems, particularly strategical game-theory, geometry, combinatorics problems.
Swarnabja Bhaumick
Swarnabja Bhaumick works in computer vision and machine learning, specializing in event and activity recognition in video surveillance for cyber-physical systems. His research uses deep learning methods (hybrid CNN-RNN architectures, graph-based key-frame selection, multi-tier feature fusion) to handle unconstrained videos from drones/CCTVs and achieve robust performance on benchmarks like UCF-101, HMDB, and CCV.
Shayeef Murshid
Shayeef Murshid (Indian Statistical Institute) researches quantum computing and quantum information theory, with emphasis on quantum state discrimination, nonlocality, and the intersection with quantum cryptography — including secure encryption protocols and certified data deletion mechanisms.
Dr. Sourayan Banerjee
Sourayan Banerjee is a PhD holder from IISER Bhopal and a Postdoctoral scholar at IIT Kanpur. His research focuses on Algebraic K-theory, exploring the intersections of algebra and topology.