Featured on Sandesh for Contributions in AI and Computational Mathematics

The Math Legend Who Just Left Academia–For an AI Startup Run by a 24-Year-Old

Article URL: Comments URL: Points: 12 # Comments: 4

First Proof Project

Independent, transparent evaluation of AI in research mathematics.

ACM Transactions on Mathematical Software (toms) Vol 52, Issue 2

A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning

AI tools and agents are reshaping how researchers work, from proving theorems to training neural networks. Yet for many, it remains unclear

Google DeepMind's Aletheia: An Autonomous AI System for Mathematical Research and Proof Generation

Recent advances in foundational models have yielded reasoning systems capable of achieving a gold-medal standard at the International Mathem

Math Is Still Catching Up to the Mysterious Genius of Srinivasa Ramanujan

Article URL: Comments URL: Points: 8 # Comments: 0