It was a great honor and privilege to work under Professor Ahmed’s supervision. I miss him deeply!
[In Memoriam][IJOC][ICSP2019]
August 1, 2026: Ten advances in mathematics and theoretical computer science. https://openai.com/index/ten-advances-in-mathematics/
July 24, 2026: Terrence Tao. Mathematics in the age of AI. https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf
July 20, 2026: Improved Convergence Rate for Stochastic Multi-Gradient Descent: A Proof Discovered with AI. https://arxiv.org/abs/2607.18174
July 14, 2026: Closing the Oracle-Complexity Gap in Derivative-Free Convex Optimization: A Near-Quadratic Lower Bound from Exact Function Values. https://arxiv.org/abs/2607.13335
June 30, 2026: AI-Assisted Discovery of Convex Relaxations via Dual Agents. https://arxiv.org/abs/2606.31182
June 28, 2026: How AI Settled the Complexity of the Oldest SGD Algorithm. https://arxiv.org/abs/2606.29593
June 10, 2026: Last-Iterate Convergence of Optimistic Multiplicative Weight Update. https://arxiv.org/abs/2606.11773
June 5, 2026: The Balance Property: The Constrained Case, with a View on Risk Sharing. https://arxiv.org/abs/2606.07276
June 3, 2026: Solving Open Problems in Operations Research Using AI. https://pranavnuti.com/Solving_Open_Problems_in_Operations_Research_using_AI.pdf
May 30, 2026: Convergence of BDRS as a Matrix Scaling Algorithm. https://optimization-online.org/2026/05/convergence-of-bdrs-as-a-matrix-scaling-algorithm/
May 21, 2026: Advancing Mathematics Research with AI-Driven Formal Proof Search. https://arxiv.org/abs/2605.22763
May 11, 2026: Curvature-Dependent Lower Bounds for Frank–Wolfe. https://arxiv.org/abs/2605.10595
May 9, 2026: Agentic MIP Research: Accelerated Constraint Handler Generation. https://arxiv.org/abs/2605.09186
April 18, 2026: Bolzano: Case Studies in LLM-Assisted Mathematical Research. https://arxiv.org/abs/2604.16989
April 4, 2026: An Improved Last-Iterate Convergence Rate for Anchored Gradient Descent Ascent. https://arxiv.org/abs/2604.03782
March 16, 2026: The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning. https://arxiv.org/abs/2603.15914
February 3, 2026: Accelerating Scientific Research with Gemini: Case Studies and Common Techniques. https://arxiv.org/abs/2602.03837
November 20, 2025: Early Science Acceleration Experiments with GPT-5. https://arxiv.org/abs/2511.16072
October 30, 2025: Accelerating Mathematical Research with Language Models: A Case Study of an Interaction with GPT-5-Pro on a Convex Analysis Problem. https://arxiv.org/abs/2510.26647
October 27, 2025: Point Convergence of Nesterov’s Accelerated Gradient Method: An AI-Assisted Proof. https://arxiv.org/abs/2510.23513
September 22, 2025: Gödel Test: Can Large Language Models Solve Easy Conjectures?. https://arxiv.org/abs/2509.18383
September 22, 2025: Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory. https://arxiv.org/abs/2509.18057
June 16, 2025: AlphaEvolve: A Coding Agent for Scientific and Algorithmic Discovery. https://arxiv.org/abs/2506.13131
December 14, 2023: Mathematical Discoveries from Program Search with Large Language Models. https://www.nature.com/articles/s41586-023-06924-6
Work-life balance: https://getaprofessor.com/2024/03/07/managing-effective-work-life-balance-in-academia/
Healthy diet and body health: https://www.hopkinsmedicine.org/health/wellness-and-prevention/8-ways-to-lose-belly-fat-and-live-a-healthier-life
Running: https://www.runnersworld.com/uk/training/a774274/rules-of-running-over-40s/
Be mindful of mental health: https://www.dedicated.care/articles/8-simple-steps-boost-mental-wellness-seniors