小猫遊りょう（たかにゃし・りょう）

Grok foundation model V9-Medium (1.5T) has finished training. Evals look good. A lot of Cursor data was added in supplementary training and there is more to come. Fine-tuning is underway and reinforcement learning begins in a few days. 2 to 3 weeks to public release. This will be a major improvement over the 0.5T v8-small that currently serves all Grok production traffic, especially for difficult coding tasks.

最近、テスト時の計算を増やすことで「遅い思考（システム2）」の領域でも性能がスケールしていく実験結果が続々と報告されてきている。今後、言語モデルに数分〜数ヶ月ぐらい考え続けてもらうことで、数学や科学の未解決問題のような困難で有益な問題でも改善の余地がある

一流の数学者たちが認めるような重要な数学の未解決問題の証明を次々と生成できるモデルも登場すると思っている

Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.

Gemini アプリの月間アクティブユーザー数が9億人以上 ChatGPTでは週間アクティブユーザー数が9億人以上で、「月間」と「週間」の違いがあることには注意が必要だが、どちらもユーザー数が着実に増え続けている