itta_kun

アクチュアリー（CERA）好きなもの ζ特殊値、ボルダリングおじさんで12歳8歳の父。ツイートは個人の意見です

[itta_kun @ITTA_kun]

すごいなナス

[itta_kun @ITTA_kun]

あれ、日経平均すごい下落ね

[ClaudeDevs @ClaudeDevs]

The Claude Code hackathon is back, and we're bringing it to Japan!

エンジニアの方も、そうでない方も、日本在住のビルダーならどなたでも応募できます。世界に何を見せてくれるのか、楽しみにしています。
応募締切は10月26日 23:59（日本時間）：

https://t.co/YXVYxl5gdU

#claudejapan2026

[poyo @k_solidified_]

河東セミナーニュースで気になったところ
「OpenAI の論文は正しい．もっと短く，人間にわかりやすくできるので今書いている．このアイディアでほかの関連問題も解ける．我々は今まで30年間間違った方向を向いていた．」

[Abhishek Saha @ObhishekSaha]

When the proof of Fermat's last theorem was announced by Wiles in June 1993, newspapers around the world covered it extensively. I was a ten-year-old boy in Calcutta, India, and the story was splashed across my local newspaper. A few months later, I went to a bookshop with my grandfather and bought two popular books that tried to explain what all the excitement was about.

Yesterday was the single greatest day of mathematical breakthroughs in history. This is not an exaggeration.

In terms the collective significance and depth of the results released, this was at least ten times, perhaps even a hundred times, as momentous as the proof of Fermat's Last Theorem.

So where is the media? Where are the headlines, the breathless newsrooms, the door to door conversations? Where is the sense of incredible wonder this moment deserves?

[Captain Sude @captain_sude]

https://t.co/NAnB9nCiVF

If OpenAI's proof of the modularity conjecture over imaginary quadratic fields hold up, we have a full proof that every elliptic curve over a CM number field is modular.

[Shiva Kintali @ShivaKintali]

Here is a Short Proof of the Quasi-Riemann Hypothesis.

My goal here is to substantially simplify OpenAI’s proof and focus only on proving the Quasi-Riemann Hypothesis for some 1-c, without worrying about maximizing the value of the c.

I obtained a much shorter proof for c=1/48. This proof is easy to understand and it can be taught in math courses in one lecture.

It is self-contained. It is only 21 pages including abstract, proof overview, all proof details and references.

Paper is on my homepage: https://t.co/IIjOhmNDjU

PDF file: https://t.co/UwN9nn6mAv

CC: @AlexKontorovich @__alpoge__ @jdlichtman @cremieuxrecueil @danielmarinq @stevenstrogatz @kenono691 @littmath @nasqret @PI010101 @nechita_ion @Isaac__kim @FryRsquared @wtgowers @MarcusduSautoy @DrEugeniaCheng @JSEllenberg @JohnDCook @JDHamkins @AxlerLinear @emilyriehl @hollykrieger @Kit_Yates_Maths @PoShenLoh @robertghrist @AlexKontorovich @kenono691 @ch_nira @rrwilliams @lreyzin @ChrisPeikert @fortnow @RadishHarmers @thomasfbloom @abhatt2 @mahdi_tcs_ @octonion @prz_chojecki @thegautamkamath

[itta_kun @ITTA_kun]

@Miyazaki_Math 数学者になりたかったワナビーの者の感想です。大予想群の解決に向けた数学者リソースが足りなかった所にAIが貢献できるようになって、数学者の方々がさらに賢くなるのだと思いました。何十年か数学進んだと思うので生きているうちに先を見てみたいです

[itta_kun @ITTA_kun]

Quasi Rieman予想とCMアーベル多様体のホッジ予想は眺めておくけど、数学者の反応を知りたい

[itta_kun @ITTA_kun]

めちゃすごすぎ
008. The Deligne-Drinfeld conjecture
030. Modularity over imaginary quadratic fields

[IUTGtr @IUTTOfSM1969]

何時間前にOAIが公開したこのプレプリント結果を、望月教授のメールアドレスに送った。このp進セクション予想は、遠アーベル幾何全般、そしてIUT理論の更なる改良版を貫く中心的な研究対象。

https://t.co/cGku4WAXmd

[itta_kun @ITTA_kun]

proof of the Hodge Conjecture for CM abelian varieties…

[OpenAI @OpenAI]

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.

https://t.co/7N6TPlft1P

[itta_kun @ITTA_kun]

@LSo1TD6E0qqh0mU ありがとうございます😊！

[itta_kun @ITTA_kun]

祝　妻の大学院合格

[itta_kun @ITTA_kun]

@w_teshi ありがとうございます！

[itta_kun @ITTA_kun]

@twokun ありがとうございます！

[itta_kun @ITTA_kun]

@yoshi_matsumori ありがとうございます！

[itta_kun @ITTA_kun]

今夜はお祝いだ

[itta_kun @ITTA_kun]

AIが数学的に意味深い何かを構成できるかは分かりませんが、予想が証明できた（反証できた）と言える中に有用なものがあるかもですよ。予想周辺の研究ペースも上がるし、ぜひAI使ってほしい