We prove that ζ(5) is irrational. The proof constructs integer polynomials Qₙ of degree 37n with 0 < Qₙ(ζ(5)) < exp(−139n²/5) for all sufficiently large n. These polynomials are rationally normalized…

YouTube video by Netflix Japan

うつろ舟にあったという謎の宇宙文字、その正体はすでに解明済み。オレの論文も読んでね～（NHKBSのダークサイドでも放映してますし）　　　https://chukyo-u.repo.nii.ac.jp/records/201 NHK科学文化部 (@nhk_kabun) を引用 江戸時代、現在の茨城県沿岸に漂着したとされる謎の船「うつろ舟」に関する新たな資料が確認され、東京の国立公文書館で特別展...

OpenAI is working with an independent Advisory Group on Mathematics and Artificial Intelligence to guide the review and communication of emerging AI results.

木村　巌 訳

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

View full specifications of HUAWEI Mate XT ULTIMATE DESIGN, including available colours, screen, camera, battery life, storage, and more.

Interesting developments tonight, as Levent Alpöge and Tristan Buckmaster announce that after a fair amount of work they have constructed examples of finite-time blowup for a broad class of PDEs in…

2026年初夏に、最新LLMが研究に使えるようになったと聞いたので、7月8月と Anthropic の Claude Fable を使ってみていました。その過程でいろいろ思ったことを、徒然なるままに書いておこうと思います。未来に読み返して思うこともあるでしょうし。

Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

An essay, based on a public lecture delivered at the 2026 International Congress of Mathematicians, on how the mathematical community might respond to the arrival of artificial intelligence tools…

東京・池袋の大型書店「三省堂書店池袋本店」が、12月31日をもって閉店することがわかった。同店公式Xが発表した。

An unreleased version of Claude has made strides on a problem related to the Riemann hypothesis. It improved the lower bound for the fraction of zeros of the Riemann zeta function that satisfy the…

A universal document converter

ミルカさんが参戦してフェルマーの小定理について議論。そして、テトラちゃんと「僕」は新たな問題に挑戦！

ミルカさんが参戦してフェルマーの小定理について議論。そして、テトラちゃんと「僕」は新たな問題に挑戦！

Fields Medal 2026 winners appear to have been leaked when a front-end coding error on the ICM 2026 website let anyone extract hidden records naming Yu Deng, John Pardon, Jacob Tsimerman, and Hong…

It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexam…

It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexam…

ALT: Hello There