Ai Models

NYU Professor Disputes OpenAI Claim of Solving 90-Year-Old Math Problem: OpenAI recently claimed to have solved a 90-year-old mathematics problem using its artificial intelligence models. However, a New York University professor has publicly disputed the achievement, sparking a debate over the validity of the breakthrough.

Tech • Fireship

Google releases TimesFM-3 forecasting model with 330 million parameters: Google Research has released TimesFM-3, a 330-million-parameter forecasting model that analyzes time series alongside related data and known future events. Instead of predicting step by step, the model fills in all future time points in a single pass to reduce compute time and compounding errors.

AI Models • The Decoder

GPT-6 Astra solves advanced math problems on FrontierMath Tier 4 benchmark: GPT-6 Astra has successfully solved problems on FrontierMath Tier 4, a benchmark designed to test advanced mathematical reasoning in AI. This achievement represents a significant milestone in overcoming complex mathematical barriers for artificial intelligence models.

Artificial Intelligence • 量子位

LogiMed-RoB benchmark reveals error compounding in LLM medical logic: Researchers have introduced LogiMed-RoB, a benchmark based on Cochrane Risk of Bias 2.0 expert logic to evaluate large language models across 860 randomized controlled trials. Testing on 10 state-of-the-art models revealed a severe error compounding effect, despite the top model achieving 98.88% atomic consistency.

AI Models and Applications • arXiv

Moonshot AI • Moonshot AI

Kimi creator Moonshot AI targets $2 billion in annual revenue: Chinese artificial intelligence startup Moonshot AI, the creator of the Kimi chatbot, is targeting $2 billion in annual revenue. While usage figures for its K3 model have declined slightly in recent months, OpenRouter data shows up to 300 billion tokens are being generated daily by K3 models on the system.