We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math

Mathematician Francesco Maggi just questioned OpenAI's 400-proof release. Here's what you need to know. Maggi posted that OpenAI is about to put roughly 400 AI-generated proofs on a public server. He says experts are still working out how OpenAI's Navier, Stokes example works, and it is not an easy task. That example goes back to September 8, 2026. OpenAI shared an AI-generated solution to the Navier, Stokes Millennium Prize Problem, with a writeup and a formal proof in Lean. Maggi's point is that until mathematicians digest it, its impact on mathematics is limited. He argues that results have to be understood, connected, challenged and reused. His question is what happens if mathematics is generated faster than mathematicians can absorb it, and what value 400 proofs at once actually have. The pushback came fast. Some say this is normal, since historians have unread documents and astronomers have unstudied galaxies. Others compare it to GitHub, where the world sorted out how to use code of mixed quality. One reply says AI systems could use the results faster than humans can absorb them. A mathematician estimated OpenAI understands no more than 5% of the solutions. Another noted that about 3,000 subfields means 400 proofs is only 1 or 2 per 1,000 specialists. The fight sits inside a wider split. On September 11, Terence Tao and 24 other Fields Medalists signed an open letter, "A Severe Misalignment of AI in Mathematics". It says AI company goals and the mathematical community's goals are severely misaligned. The Conjecture Institute replied that AI is an accelerant, not a bane, to mathematical progress. Key numbers: - About 400 AI-generated proofs reportedly headed to a public server - September 8, 2026: OpenAI's Navier, Stokes claim, with a Lean proof - September 11: open letter signed by 25 Fields Medalists - Maggi's post drew about 3,200 views in its first hours, per the trending page Mathematicians now disagree over whether releasing proofs in bulk helps the field or just outpaces human understanding.

とんでもない悪臭を放つ急患が襲来。 数件の歯医者を放流させられているようで、おそらく臭いが原因。本人は悪い人ではないが冗談抜きで10m先でも臭う。座っていたユニットはハイターでもエタノールでも臭いが少し残る… 臭いは雑菌臭。所謂生乾き臭。 これってどうしたら良いの…？皆さんどうします？

俺の大学生活始まったわ

母親「学校に行くことで潰される個性があるよ、だったら行かない方がいい〜ぜ！漢字も計算も音読も苦手、同じことの繰り返し退屈なんです〜♪」 歌ってる暇あったら学校に行けるよう努力してあげてくれ、頼む！

兄貴が10歳ぐらいの時、夕飯で、ふざけて、誤って味噌汁床に落とした時、母上はピクリともせず「そこに台拭き有るでしょ？自分で拭いて全部片付けなさい。やめなさい。って言いましたよ？」って、黙々と母上と戸惑うワシだけでご飯食べた。一切兄貴を手伝わないで自分だけで片付けさせてて怖かったな…

参加型ミニゲームを作りました。 誰でも1時間に1回、どこか1文字だけ書き換えることができます。みんなで怪文書を作ろう yosegaki.suzaku-tools.worker…