kinaba retweeted
ただ、目標を定めるという行為がAIに取って替わられるというのは、「自分はこういうことを知りたい」「自分はこういうことに興味がある」ということすらAIに決めてもらう、というようなものなので、そんなことになったらもう人間として終わりな感じもする
kinaba retweeted
昔から良いテーマ・問題を見つけることが一番難しいと言われているように、理論を発展させるための良い中間目標地点（未解決問題）を設定することが一番難しいところですが、今後はそれもAIの得意分野になるかどうかは気になるところです
kinaba retweeted
つまり「これまでAIなしでは到底辿り着けなかった領域まで手が出せるようになった」「現時点でのAIの性能では、理論の発展にはまだ人間が相当介入する必要がある」という絶妙なバランスのため、現時点の AI−assisted 数学研究はめちゃくちゃ楽しいんですが、まあ今後は後者がどうなるか次第ですね
kinaba retweeted
今やっている研究だと、現時点では大未解決問題となるような巨大な障害はそんなに出てきていなくて、小さな障害がぽつぽつ現れるくらいですが、そういう小さい問題の多くはAIの力で潰せて、理論をスムーズに発展させられるというのが非常に大きいです
kinaba retweeted
理論を広げる・発展させるという観点から言えば、未解決問題というのは、理論を発展させるための中間目標（のうち，長い期間、達成できずに残っていたもの）でしかないので、AIでそれを解決できるようになったのはとても大きいなあと感じています
kinaba retweeted
結果は凄くてももっと広い分野の人でも僕の知ってるその道のプロならなんとなく伝わるようにまとめるはずだしその先の展望も提示してくれるのに対しAI論文のプレゼンは全然ダメで完成度低いと思うんですけど、他のガチプロが検証してくれると信じて騒ぐだけなのは失礼なので私はできる範囲で読んで騒ぐ
kinaba retweeted
Hey! @OpenAI
Release the full list of problems you have tried. This is valuable information for the mathematical community.
"Over the course of the evaluation, the model was posed approximately 4,000 problems."
kinaba retweeted
教育機関を卒業したときインターネットすら普及していなかったような世代が、 義務教育でSNSの功罪を教わっている世代に対して、「我々はお前らより正しく物事を判断できるのだ」という思い上がりをもとに、 選挙権を有さず代表を擁立できない人々の私権を制限するのは、極めて非道徳的であると信じる
子どもSNS利用規制 法案提出に向け年末めどに方針を 高市首相
news.web.nhk/newsweb/na/na-k… #nhk_news
kinaba retweeted
ICPC2026国内予選の参加記を投稿しました
本当に貴重な体験ができました！
長いですが、もしよかったら最後まで見てもらえると嬉しいです
視覚障害者だけでチームを組んでICPCに出場したお話
note.com/okawari_0915/n/n7b0…
#ICPC #視覚障害
kinaba retweeted
おまたせしました。2026年のICPC国内予選の結果を発表しました。
icpc.jp/2026/domestic/result…
kinaba retweeted
将棋の編入試験の受験資格の「いいとこ取り」、最長 26 局の連続範囲を見るだけで判定できることが Lean で証明できた
mametter.hatenablog.com/entr…
kinaba retweeted
ちなみに競プロ的に最高の理想は「実装は出来るけどアルゴリズムを自分で考えられないAI」で、これが使えるなら色々楽しい事が出来たんだよね。十分性能が上がって十分安くなったら、AtCoderでAIをホストして、プロンプトで制御してこれが出来る環境を整える、というのは面白そうだな、と思ってる。
kinaba retweeted
AWTF 2026 Heuristic の admin 兼作問者として、今回の OpenAI の結果についてコメントします。
昨年、OpenAI は 2 位でした。問題には主に二通りの方針があり、AI は外れ方針を選びましたが、同じ方針を選んだ人間には勝利しました。唯一 @FakePsyho だけが当たり方針に気付き、AI を打倒しました。
kinaba retweeted
Humanity has not prevailed ( • ᴖ • ｡)
AWTF Heuristic is now over and OpenAI has completely demolished human competitors.
In the end, humans performed quite well, but the performance of OpenAI was outstanding.
I'll post my detailed thoughts about this in a few days, since this deserves a longer commentary.
kinaba retweeted
はてなブログに投稿しました
【AI vs 人間 予告】AtCoder World Tour Finals 2026 はじまります！ - chokudaiのブログ chokudai.hatenablog.com/entr…
kinaba retweeted
ICPC国内予選へのご参加、ありがとうございました。問題文、解説、データセット、審判団を公開しました。
icpc.jp/2026/
kinaba retweeted
ICPC Announced that:
“Permits increase in gold-silver-bronze medals from 4-4-4 to 4-6-10 due to increased global growth.]”
Ref: icpc.global/worldfinals/rule…
