OpenAI put a broad range of new mathematical results from an internal frontier model on GitHub — covering 90 of the top 500 open problems in all of math, as per Proof of Atlas, in 722 manuscripts across 372 families.
Summaries like this, in your inbox every morning.
Pick your industry and the AI tools you use, and get news related to your work every day.
Free · 30 seconds with Google · unsubscribe anytimeWhat is AIToday? →
Ask AI anything about this article. The AI reads this article, earlier AIToday articles, and Wikipedia, and cites its sources. Q&As are published on this page for other readers too.
Vertex, Inc. named Debanjan Saha, DataRobot CEO and former Google Cloud and AWS executive, to its board effect…
Western Digital's fiscal 2026 revenue rose 35.7% to $12.92B, as management says roughly 80% of hyperscale data…
Uber says its Legal Redlining Agent, built from early 2024 through 2025 and piloted with Uber Legal in 2025, d…
Albert Bourla told The Wall Street Journal's CEO Brief that Pfizer moved AI decisions from a central expert te…
Alpha Modus, an AI company based in Cornelius, obtained key rulings in its patent disputes with Lowe's and oth…
The Motley Fool's analyst chose Qualcomm over ASML for 2026, pointing to Qualcomm's forward P/E of 17.5x versu…
