NIST's CAISI evaluated DeepSeek V4 Pro using private benchmarks and a cost-comparison filter that excluded every US model except GPT-5.4 mini. Critics call the methodology convenient.
Ein 23-jähriger Laie hat mit einem Prompt an GPT-5.4 Pro das offene Erdős-Problem #1196 gelöst – Mathematiker sehen darin eine neue Qualität.
Der 23-jährige Liam Price hat mit GPT-5.4 Pro das Erdős-Problem #1196 gelöst, das sich mit der Erdős-Summe primitiver Mengen befasst. Die KI bewies, dass die Summe asymptotisch gegen 1 konvergiert, und verbesserte damit die bisher beste Schranke von Jared Lichtman erheblich. Der Beweis nutzt Markov-Ketten zur Modellierung der Primfaktor-Struktur ganzer Zahlen – ein neuartiger Ansatz, den Terence Tao als engere Verbindung zwischen analytischer Zahlentheorie und stochastischer Prozesstheorie lobte. Das Problem wurde formal im Beweissassistenten Lean verifiziert.
OpenAI's newest model matches GPT-5.4's speed while outperforming it on nearly every benchmark. It's rolling out to paid ChatGPT users today.
OpenAI announced GPT-5.5, describing it as its smartest and most intuitive model yet, featuring improved code writing and debugging, online research capabilities, and cross-tool functionality with enhanced safeguards. The release comes amid intensifying competition with Anthropic and just before Elon Musk's high-profile trial against OpenAI executives beginning Monday in Oakland, California.
Security researchers used GPT-5.4 and Claude Opus 4.6 in an open-source harness to reproduce Anthropic's Mythos vulnerability findings for under $30 per scan.
