AI may have just solved a million-dollar math problem

A mathematician compared the feat to IBM's history-making Deep Blue computer beating Gary Kasporov at chess in 1977

IBM

Read story

Related stories 8

- International: 'Artificial Intelligence in Museums' - International
- International: ‘Artificial Intelligence in Museums’ International Council of Museums Sep 3, 2026 ↑ 0 ↓ 0
- Engineering: Three Layers that Make It Work | CMU Software Engineering Institute The appeal of applying AI to MBSE is apparent. This post explores how to integrate AI without weakening engineering rigor. Sep 3, 2026 ↑ 0 ↓ 0
- Quasar 438B: Europe's Leading AI Model Quasar sets a new benchmark for European AI, outperforming comparable European models on seven of eight selected Artificial Analysis evaluations. Sep 2, 2026 ↑ 0 ↓ 0 Guiding & Evaluating Conversational AI in LLMs using Formal Dialogue Models Formal dialogue models have been developed over the last several decades to shed light on the conversational practises of people in a wide range of communicative contexts. More recently conversational AI has made rapid progress in generating plausible content Sep 1, 2026 ↑ 0 ↓ 0 Improving our alignment and security practices Improving our alignment and security efforts Aug 31, 2026 ↑ 0 ↓ 0