Loading...
Loading...
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. Th
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
&#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.