GPT-5.2 Pro Solves Another Erdős Problem as New Database Reveals Most Attempts Still Fail

2026-01-19

OpenAI's GPT-5.2 Pro has aided in solving another Erdős problem. Neel Somani utilized the AI model to crack the number theory behind Erdős problem #281. Mathematician Tao Zhelun described this as "perhaps the clearest example yet of an AI solving an unsolved mathematical problem." Although earlier proofs may have influenced the model's answer, Tao Zhelun confirmed that GPT-5.2 Pro's proof is "quite distinct."

However, Tao Zhelun cautions about a bias in public perception regarding AI capabilities. Negative results are seldom publicized, while positive outcomes spread rapidly. A new database developed by Paata Ivanisvili and Mehmet Mars Seven tracks AI attempts on Erdős problems, revealing an actual success rate of only 1% to 2%, primarily concentrated on simpler issues.

Nevertheless, despite Tao Zhelun's belief that medium-difficulty Erdős problems remain challenging, AI is still a valuable tool. The first autonomously solved Erdős problem confirmed by Tao Zhelun dates back to January 4, 2026.

RECENT AI NEWS

More Gemini Features Coming to Google TV

2026-04-30

Google TV integrates Gemini AI for image/video generation, enhances Google Photos, and adds a dedicated YouTube Shorts feed to the homepage.

Google Adds 25M Subscriptions in Q1, Driven by YouTube and Google One

2026-04-30

Alphabet Q1 paid subscribers reached 350M, fueled by YouTube & Google One. YouTube ad revenue slightly missed at $9.88B amid Premium growth. Total Q1 revenue hit $109.9B, beating forecasts.

Claude Now Directly Integrates with Photoshop, Blender, and Ableton

2026-04-29

Anthropic releases Claude connectors for Adobe, Blender, and Ableton, enabling AI workflow automation and app control. It also sponsors the Blender Development Foundation.

Apple Introduces 12-Month Commitment Installment Subscription Model for App Store

2026-04-29

Apple introduces an App Store model splitting 12-month plans into monthly installments. On iOS 26.4+, it lowers upfront costs without reducing total price, adding billing tracking.

Google Wallet Launches Aadhaar Digital ID Support in India

2026-04-28

Google launches Aadhaar digital IDs in Wallet for India, enabling secure QR/NFC verification. A phased partner rollout targets key sectors, while passport-based credentials expand globally.

YouTube Tests AI-Driven Search with Guided Answers

2026-04-28

YouTube tests "Ask YouTube," an AI tool blending text and video for complex queries. Initially for US Premium users, it supports interactive follow-ups, expanding Google's AI search.

Google Expands Pentagon AI Access Following Anthropic's Refusal

2026-04-29

Google grants US DoD classified AI access, joining OpenAI and xAI in defense deals amid Anthropic's dispute. Contractual safeguards against surveillance and lethal weapons remain unenforceable.

Mistral AI Launches Workflows for Enterprise AI Orchestration

2026-04-29

Mistral AI launches Workflows, a Temporal-powered orchestration platform for secure, Python-driven enterprise AI automation featuring human-in-the-loop approvals.

View Detail

comma voice

Comma is a voice input and speech-to-text app for iPhone, iPad, and Android. Hold to speak, slide out to pause without ending the note, and slide back when the thought returns. On-device recognition keeps working offline.