The MIT professor who taught the math behind every AI tool for 61 years gave the world something most universities never would

Professor Gilbert Strang taught linear algebra for 61 years. His free online lectures, part of MIT OpenCourseWare, reached ...
Tech Times

AI Math Proof Milestone: DeepMind Cracks 9 Erdős Problems, Magnetar Confirmed

AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...
IEEE

Mathematical Programming Through the Lens of LLMs: Systematic Evidence and Empirical Gaps

Abstract: This paper investigates the capabilities of large language models (LLMs) in formulating and solving decision-making problems using mathematical programming. We first conduct a systematic ...