12:55
2026-08-12
aiunderstanding.org
artificial-intelligence
AI-Assisted Math Study Tightens Bounds on a Longstanding Constant
A new arXiv case study reports that an AI research system helped mathematicians improve the known bounds on the Grothendieck constant, a problem dating to 1953, achieving a lower bound of 6pi/11 (abou…