AI cracks a 27-year-old pillar of computer science, OpenAI and Anthropic claim
Fcking_Chuck · reddit · 2026-10-31
According to Science, OpenAI and Anthropic each claim their AI systems have cracked a 27-year-old foundational problem in computer science. If independently verified, it would mark a landmark for AI's role in mathematical and theoretical research. Both frontier labs making such claims around the same time has drawn attention to verification standards and details of the results.
More from Models
- Particle-1, a token-efficient model, launches on Cloudflare AI Gateway — garrytan · 2026-10-31
- OpenAI Claims Proof That L = BPL, Hinting at AI-Generated Formal Mathematics — chaumian · 2026-10-31
- Qwenputer: a full RISC-V CPU inside Qwen3.5-4B weights, running C in forward passes — armand_ruiz · 2026-10-31
- OpenAI blocks weapons details for teens, adds auto-ending chats fixated on violence — rohanpaul_ai · 2026-10-31
- Granite Switch 4.1.1 ships: update models like you update software — krvarshney · 2026-10-31
- Mistral Open-Sources Le Chonk: Top Open Model on FrontierCode, Cyberdefense-Tested by CrowdStrike and Cloudflare — tensorqt · 2026-10-31