GPT-5.4 Pro
PulseAugur coverage of GPT-5.4 Pro — every cluster mentioning GPT-5.4 Pro across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
Tiny models outperform frontier AI in agent coding benchmark
A recent agent coding benchmark revealed that smaller, more efficient models are outperforming larger, frontier models. The SmolLM3 3B model, capable of running on a laptop, achieved a score of 93.3, significantly surpa…
-
Google DeepMind AI assists mathematicians, tops FrontierMath benchmark
Google DeepMind has released an AI system called "AI Co-Mathematician" designed to collaborate with human mathematicians on complex problems. This system, built on Gemini 3.1 Pro, achieved a new state-of-the-art score o…
-
GPT-5.4 Pro assists 23-year-old in solving 60-year-old Erdős problem
A 23-year-old individual leveraged GPT-5.4 Pro to solve a 60-year-old mathematical problem known as an Erdős problem. The solution, a proof based on discrete Markov chains, has been verified using the Lean proof assista…
-
GPT-5.5 Pro excels on benchmarks; Microsoft Playwright aids web agents
OpenAI's GPT-5.5 Pro has reportedly achieved significant gains on the Epoch benchmark, with its base version outperforming the previous Pro model. This suggests substantial efficiency improvements in OpenAI's latest ite…
-
OpenAI's GPT-5.4 Pro assists in solving a 60-year-old mathematical problem
OpenAI has announced that a 60-year-old unsolved mathematical problem, known as the Erdős problem, has been solved with the assistance of their GPT-5.4 Pro model. Researchers from OpenAI detailed how the AI's advanced r…
-
OpenAI's GPT-5.4 Pro aids in solving 60-year-old math problem
OpenAI's GPT-5.4 Pro assisted in solving a 60-year-old mathematical problem posed by Paul Erdős. This development raises questions about the future of AI in mathematical research and problem-solving. OpenAI researchers …
-
Amateur uses ChatGPT to solve 60-year-old math problem, surprising experts
A 23-year-old amateur mathematician named Liam Price has solved a 60-year-old mathematical problem, known as an Erdős problem, using ChatGPT. Price, who has no advanced mathematics training, reportedly used a single pro…