Top storyAI-Assisted Math Study Tightens Bounds on a Longstanding Constant
A case study reports that an AI research system helped improve bounds on the Grothendieck constant, while the authors emphasize that human researchers chose the key pivot and independently verified only the theorem-level result.










