iehn

プログラマのための(論理|コード)パズルに載ってます／プログラミングコンテスト(TCO20 MM 優勝, HTTF 2020 優勝)／囲碁

[iehn @arimasenu]

囲碁のルールで何が悪いかって、色んな人が言及してるのにちゃんとした説明をできてる人が居なさそうなところよね。まず、ルール周りについて書かれた本を読んだほうがと勧めようと思ったけど、レビューを見るとあんまり良くなさそうなので、本もダメそう。

[iehn @arimasenu]

(Argonが)記事を書きました。https://t.co/huuLTx5gEg

[iehn @arimasenu]

Opus 5.5よりArgonの方が少し賢そう。昔自分が手で解いた問題を解かせてみたんだけど、最小化問題で自分の解が469、Argonが出したのは460、自分の解を見せたらその構造なら455まで減らせるって即答してきた。AIの賢さより自分の詰めの甘さがわかってしまった感じ。

[iehn @arimasenu]

Argonを試してるんだけど、IDEの方ではまだ使えず、Appの方は何故かファイル書き込みができず度々ハングする…

[iehn @arimasenu]

kaggleのポケカ、SimulationとStrategyで別のチームを組めるの？と思いつつ、そのうち誰かが質問して解決するだろうと思ってたんだけど、Simulationが終わった時点でも進展がないっぽいな。※何もしなかったので関係ないんだけど

[iehn @arimasenu]

内容がまったくわからず現時点での得点だけが見えてるの、評価値放送みがある

[iehn @arimasenu]

変な揺れ方だったなと思って地震情報を見たら深さ150kmだった。なるほど？

[iehn @arimasenu]

AHC、1,2年以内には長期でもAIだけで上位に入れるようになると思ってるんだけど、長期だと使用検知が現実的じゃないから禁止が無理そう。どちらかというとAI禁止の短期のみが生き残るんじゃないかな。

[iehn @arimasenu]

Fableは米政府公認の高性能になったのか。その性能を得るために何をしたのかが論文か特許かで明らかにならないかなと思ってたけど、それも止められてそう。

[iehn @arimasenu]

3.5 Flashを試してみたけど、実装は任せられないわ。応答が早いだけで中身がない感じ。

[iehn @arimasenu]

難しいことはお願いしない方針で進めてたのに実装してくれなくて終わった

[iehn @arimasenu]

antigravity(gemini)でのコンテスト参加、いくつかしてみて、片手間で上位10%くらいには入れるけど、それ以上は難しいという感じ。

[iehn @arimasenu]

geminiに実装させるのを試してたけど、もう諦めたほうが良い気がしてきた。

[iehn @arimasenu]

antigravity(gemini)、設定が悪いのかもしれんが、開発ルールを設定して最初に読み込むようにしても完全に無視して、いくつかやったことを消し飛ばしたりする。コードは基本見ないでどれだけやれるのか試してたけど、無理だわ。

[iehn @arimasenu]

antigravity(gemini)、色々自動でやってくれるんだけど、お願いしたことの途中で何かエラーが発生すると、エラーの原因を突き止めましたとだけ報告してきたりしていて、ノリツッコミ的な構造だなと思うなどした。

[iehn @arimasenu]

gemini、バグ修正がなかなかできず、問題ありませんとか正しいですって主張してくる。たぶん、ユーザーにネガティブなことを言わないように調整してるせいで自身も悪いと思わず反省しない感じになってる。

[iehn @arimasenu]

geminiのProプランが1時間位で上限に達して終了したんだけど、Ultraに上げるべきかどうか。ルールがどう変わるかもわからないのと、そこまでの金額なら別のものの方が良さそうなので微妙。

[iehn @arimasenu]

プロフィールに囲碁って入れてるからか、おすすめに囲碁関係のが結構流れるように少し前からなってるんだけど、間違ってるようにしか見えない問題を見てすごくモヤッとしてる。

[iehn @arimasenu]

純粋な組織票がどれだけあるのか確かめる実験としては面白いな。なんでそんな実験をしようと思ったのかはわからないが。

[iehn @arimasenu]

1,300ドルしか使ってなかったのか。1,2年後にはもっと安くなるだろうし、AHCのルール変更が必要になるのもわかる。

[Sakana AI @SakanaAILabs]

Our AI agent has achieved 1st place in a competitive optimization programming contest against over 800 human participants.

Blog: https://t.co/0JPYuz3Tki

In AtCoder Heuristic Contest 058, Sakana AI’s ALE-Agent took the top spot. For context on the difficulty of these challenges, an OpenAI agent secured 2nd place in the AHC world tournament last year.

The task was a 4-hour production planning optimization challenge. While the problem setters anticipated a standard approach combining constructive heuristics and simulated annealing, our agent independently discovered a more effective strategy. It implemented a "virtual power" heuristic and a diverse neighborhood search that allowed it to escape local optima better than human experts.

This was achieved through inference time scaling using multiple frontier AI models. The agent ran parallel code generation, analyzed the results, and iteratively refined its algorithms in real time.

The total cost was approximately $1,300.

This result suggests AI agents can now match top human experts in tasks requiring extended reasoning and original scientific discovery. Please read our blog for more details.

We extend our deepest thanks to the host, @algo_artis, and @atcoder. We will continue to research AI as a partner that expands human exploration to discover solutions to complex real-world problems.