4 ms·
New Lower and Upper Bounds for the Grothendieck Constant
- lukeplato 2mo agorelated paper on the long-horizon AI research system used: https://arxiv.org/pdf/2608.11195 https://arxiv.org/pdf/2608.11195
- nh23423fefe 2mo agoThe section where the Research-state representation is assessed to be fragile is the work I want to see more of. I've already accepted that models know everything and will only get smarter, its cope to pretend hallucination is achilles heel. I want to understand how to build/use harnesses that converge on goal states and allow me to contribute human expertise like intuition and taste. The components they call bulletin, session report, and especially the curated summary are the parts that make their work go forward.
- danabramov 2mo agoThanks for posting. I'm doing some AI vibemathing and running into exactly the difficulties they describe.
- tkgally 2mo agoThe comment under “Future Directions” at the end of that paper would seem to apply to the use of AI in software development, business management, and other areas as well: “For AI[-assisted mathematics] research, improving research judgement and research-state representation may require training and evaluation on records of mathematics as a process, including failed approaches, strategic decisions, and evolving assessments of evidence. For mathematical practice, while these limitations persist, human expertise is likely to remain most valuable in these global functionalities: deciding when to persist or reframe a direction, and maintaining an accurate representation of accumulated progress.”
- a2ff6eeb0 2mo agoYeah, the end goal is that you can run the economy autonomously, at higher levels of complexity than people could understand or reasonably make decisions about.
- pestatije 2mo agoAI will tell us how the world works and we won't be able to understand what it means
- random3 2mo agoThis makes no sense. It would be smart enough to understand but not enough to explain it, or are you assuming the human brain can’t comprehend the world by default?
- deleted 2mo ago[deleted]
- semiquaver 2mo ago[flagged]
- aleph_minus_one 2mo ago> This is nothing, wait until they see my proof of the Flibknopf Conjecture! You mean the (Tait) Flyping Conjecture from knot theory? > https://mathworld.wolfram.com/FlypingConjecture.html https://mathworld.wolfram.com/FlypingConjecture.html > https://en.wikipedia.org/wiki/Tait_conjectures#Flyping https://en.wikipedia.org/wiki/Tait_conjectures#Flyping This one has already been proved.
- throwaway81523 2mo agoInteresting. I wonder if there has also been any recent progress on the Legendre constant. Kidding.
- alan_li_ 2mo agoI am one of the first authors of this paper. To summarize our work, the Grothendieck constant (KG) is a fundamental constant in fields like analysis, algorithms, and quantum information, and concretely we prove 1.7135 < KG < 1.7819. The results came from truly novel ideas, and diverged significantly from the previous literature on proving upper and lower bounds. Our results were discovered in collaboration with a long-horizon research harness we built using publicly accessible frontier models, with separate reasoning and coding agents. We found that although AI excels at technical execution, they need deep human insight for research taste–understanding which ideas to pursue or abandon. We’ve documented our research experience as a case study of long-horizon human-AI collaboration; we hope to help shape future conversations around humans and AI in math, in a time dominated by results from large AI companies. Happy to answer any questions about the results or the proofs!
- hackandthink 2mo agoBy Grothendieck's standards, there are a surprising number of important practical applications. "Grothendieck's Theorem, past and present" https://arxiv.org/abs/1101.4195 https://arxiv.org/abs/1101.4195