Loading...
Loading...
Researchers at OpenAI used a generative model to disprove a decades-old conjecture in discrete geometry — a variant of the Erdős unit distance problem from 1946 — demonstrating AI’s growing role in mathematical discovery. The model produced counterexamples and assisted in formalizing the argument, prompting rapid community discussion and verification. The breakthrough underscores advances in AI reasoning and tooling, as well as debates about reproducibility, mathematical rigor, and how models integrate with traditional proof workflows. The news coincides with OpenAI’s broader push into real-time multimodal models and reflects wider interest in tooling choices for AI-driven research pipelines.
An OpenAI model overturning a central discrete geometry conjecture demonstrates AI reaching research-grade mathematical reasoning, affecting expectations for automated discovery and verification. Tech professionals should reassess workflows for R&D, model validation, and collaboration between human experts and AI tools.
Dossier last updated: 2026-05-20 19:48:43
An OpenAI model has disproved a central conjecture in discrete geometry
OpenAI model disproves central conjecture in discrete geometry (Erdos 1946 unit distance problem)
An OpenAI model has disproved a central conjecture in discrete geometry
&#32; submitted by &#32; <a href="https://www.reddit.com/user/simulated-souls"> /u/simulated-souls </a> <br/> <span><a href="https://openai.com/index/model-disproves-discrete-geometry-conjecture/">[link]</a></span> &#32; <span><a href="https://www.reddit.com/r/artificial/comments/1tixhbv/an_openai_model_has_disproved_a_central/">[comments]</a></span>
An OpenAI model has disproved a central conjecture in discrete geometry
An OpenAI model has disproved a central conjecture in discrete geometry
Zac Hall / 9to5Mac : OpenAI launches three new real-time voice models for reasoning, translation, and transcription, included in its Realtime API — OpenAI has just released three new realtime voice models that it says will “unlock a new class of voice apps for developers.” Each new voice intelligence model …
A V2EX thread polls developers about which web_search tools they integrate into AI agents. The OP lists 16 free tools — including minimax, Baidu, Brave, SerpAPI, OpenAI, Grok, DuckDuckGo, and Gemini — and describes a setup where a lightweight child agent (minimax-m2.7) aggregates and summarizes search results to save tokens, while the main agent delegates search tasks to it and disables its own search calls. Replies note similar approaches; one developer mentions a DeepSeek-native coding agent using DuckDuckGo with Bing as a fallback. The discussion highlights practical trade-offs in tool diversity, token costs, and orchestration strategies for multi-search-agent pipelines.