駿河湾

IQC Waterloo Canada(1st July/2026), quantum information science 最近は量子計算とか。 フォローしていただけると幸いです。言いたいことを言ったりやめたり。（2023年二月頃から鬱で通院しつつ、良い感じです♪）

[駿河湾 @EngStdyAc]

こんな感じに、AI企業に全てを握られている感じは嫌です、、、

最新のinternal model好きなだけ使わせろ！！

[駿河湾 @EngStdyAc]

L=BPLなのね。試しに読もうとしたら100ページ越えてた
_(:3 」∠)_

私もよくわからなかったけど、BPLはrandom coinをpolynomial個以上使えるから、数え上げできず証明が面倒になるらしい

[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

[駿河湾 @EngStdyAc]

月に2本、、、結構ギリギリですね、、、

まあその分質を高める時間が増えるなら、私は嬉しいです。3本目からは有料とかでも良いですけどね。

[arXiv.org @arxiv]

arXiv has updated our policy on rate limiting for all submitters.

This update was made to fairly distribute moderator time & support the arXiv community of staff, volunteers, readers & authors.

Please read our announcement to learn more: https://t.co/lvzWuiv0hx

[駿河湾 @EngStdyAc]

@Pappus_Mugyutan って！！！！！言ってますけど！！！
匂わせって！！！

色々お疲れ様です！！

[駿河湾 @EngStdyAc]

@Pappus_Mugyutan 匂わせないでください！！
はっきり言ってください！！

[Pooya Hatami @Pooyahat]

Earlier this month, I participated in a two-day workshop at the Simons Institute on how the TCS community should adapt to rapid advances in AI. Our report, AI and TCS: The Next Six Months, is now out:

https://t.co/XX4bs7U962

[駿河湾 @EngStdyAc]

と思ってましたが、arXivに不完全な論文を出す気は無くなりました
_(:3 」∠)_

もともとは論文を頑張って書いている途中で雑な論文に同じ結果を示されることを懸念してました。
しかしOSFというサイトで事前にPDFをコミットできることに気づいたので、奇妙な選択をする必要はなくなりました！

[駿河湾 @EngStdyAc]

よし、arXivにはイントロなしの結果もどんどん載せていこう

[駿河湾 @EngStdyAc]

arXivに出す論文は、書けるならしっかり人間の手で書くべき、少なくともAI-generatedで不満があるまま出すべきではない

と思っている派です。

[駿河湾 @EngStdyAc]

complexity周り多いて
_(:3 」∠)_
本当に complexityって人気ない
_(:3 」∠)_

[Lech Mazur @LechMazur]

The Ultimate Top 500 Open Problems in Mathematics

https://t.co/ArIV77LJ9r

Weeks of work by 4 LLM families (GPT 6, Fable 5.1, GLM-5.3, DeepSeek V4 Pro). 34,890 pairwise judgments across 1,227 candidate problems. They ran repeated discovery rounds, source checks, deduplication, and clarification of exact problem statements. Models compared problems using source-backed descriptions without seeing the existing rankings or other models' judgments.

The comparisons considered the significance of a resolution, centrality to the field, connections across disciplines, scholarly and public recognition, and potential scientific or practical impact. Results were statistically combined and checked for ranking uncertainty and sensitivity to individual model families. Includes theoretical computer science, and mathematical physics.

The list includes plain-language explanations, sources, notes on what remains open, and links to related research where available.

Where the targets of recent AI results would rank if they were still open:

#21 — Smooth-forced Navier–Stokes breakdown (Fefferman C).
#32 — Unforced three-dimensional Euler blowup.
#92 — The Jacobian conjecture in general dimension.
#167 — Whether every group is sofic.
#211 — The planar unit-distance conjecture.

Note that the recently announced Navier–Stokes result concerns flow driven by a smooth external force. #4 entry is unforced three-dimensional Navier–Stokes global regularity (Fefferman's statement A), which remains open. Showing that a forced flow can develop a singularity does not settle whether singularities can arise without external forcing.

[SAIR @SAIRfoundation]

Today we introduce Open Math Model: open models and tools for mathematics.

Built for everyday research, shaped by the mathematical community, and developed in the open.

Read our co-founder Terence Tao’s blog:
https://t.co/PqLQqUoUXk

[Ryan O'Donnell @BooleanAnalysis]

STOC 2027 Call for Papers is out:
https://t.co/vaMzhjIswr

Note quite a lot of changes from previous STOC CfPs.

[駿河湾 @EngStdyAc]

AIにCSの youtuber になってもらい、それを聴きながら寝たい
_(:3 」∠)_

[駿河湾 @EngStdyAc]

なぜlog rank conjectureを知ってる人は結構いるんだろう

communication complexityをあまり知らない人もこの予想は知ってるっぽい

[Gautam Goel @gautamcgoel]

Two predictions: log rank conjecture + graph isomorphism in polynomial time. Might also see an improved approximation alg for TSP, or even MAXCUT.

[駿河湾 @EngStdyAc]

Amazonで置き配された荷物が盗まれた
_(:3 」���)_
オートロ���クなので犯人はこのアパートの中にいる！！！

[駿河湾 @EngStdyAc]

SMPで同じ関数f(x,y)をn回解く時の communication costの漸近レートを特徴づけて、対応する exponential strong converse も（AIが）示しました！

https://t.co/y8rsI7h88S

良いアイデアだと思うんですけどねえ
_(:3 」∠)_

[駿河湾 @EngStdyAc]

良さそう！

[駿河湾 @EngStdyAc]

とりあえず、サイバーセキュリティの観点からは絶対に減速した方がいい。

[毎日新聞 @mainichi]

AIが世界に危険���ぼす?　米アンソロピック「開発減速」呼びかけ
https://t.co/S0B1Co9UBs

アンソロピックCEOが業界全体で「AIの開発ペースを緩めなければならない」と呼びかけました。主要AI企業トップからは賛同が相次いでいます。

[Andrew Curran @AndrewCurran_]

We've found out why they had to pause subscriptions to the Pro plan today.

[駿河湾 @EngStdyAc]

@gejiqmq （Xで流行るというか、特定の個人だけが何度も主張してるだけだと思いますが、）同感です。

工学的にはそういう理解で十分な気もしますが、数学的に満足な議論を見たことはありません。

[駿河湾 @EngStdyAc]

大丈夫です！量子通信なら優位性が既に示されています！

同じ技術が使えること間違いなし！

[Yoshi-aki Shimada @yoshi_and_aki]

さすがにP=NPだったら世界中の量子コンピューター研究開発は即時解散かも。研究する意味は多少はあるかもしれませんが、やる気が、、、