[過去ﾛｸﾞ] 競技プログラミングにハマるプログラマのスレ 257 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
920: 仕様書無しさん [] 2025/11/13(木) 22:53:30.00 AAS
フィールズ賞受賞者でもただのプロブレムソルバーと新しい領域を切り開くタイプの2通りがいるんだよ
921: 仕様書無しさん [sage] 2025/11/13(木) 22:54:53.13 AAS
明らかに数学が受験で止まってるやつの発想だな
922(1): 仕様書無しさん [sage] 2025/11/13(木) 22:56:05.12 AAS
GPT5.1、オリジナルの競スレベンチマーク回してるけどそんなに変わってないな(黄橙diffは解ける、赤はほぼ無理)
5.1って名付けてるぐらいだしモデルの規模やReasoningの学習規模は大きく変わってないのかな
923: 仕様書無しさん [] 2025/11/13(木) 22:57:22.46 AAS
テレンス・タオはどちらかというとただのプロブレムソルバー
Vaughan Jonesは新しい領域を切り開いた
924: 仕様書無しさん [] 2025/11/13(木) 23:03:10.80 AAS
タイプの違うフィールズ賞受賞者
テレンス・タオ
既存分野の極めて難しい未解決問題を次々と解いた人物。
特徴：異常な汎用性と解法能力
Vaughan Jones
新しい領域を切り開いたタイプ
ジョーンズ多項式の発見は、トポロジー・量子群・物理学などへ大きく波及。
結果的に、量子トポロジーやトポロジカル量子計算など、新しい研究分野の扉を開いた。
つまり、既存問題を解くというより全く新しい理論を生み出したタイプ。
925: 仕様書無しさん [sage] 2025/11/13(木) 23:04:18.27 AAS
ガウスになりなさい
せめてフォン・ノイマンになりなさい
926: 仕様書無しさん [sage] 2025/11/13(木) 23:05:39.52 AAS
>>922
橙解けないだろ
後Proも試せや
927: 仕様書無しさん [sage] 2025/11/13(木) 23:12:00.17 AAS
ABCの橙はちょくちょく解けるぞ
AGC赤ですら解いてるしな
アルゴリズムはもう生成AIに任せなさいということ
私は，AIの進化にもっと注意を払うべきでした． 他のプラットフォームにおいていくつかの難しい問題がAIによって解かれていることは承知していましたし，また多くの人から，AGCでAIを禁止すべきか，あるいはいつ禁止するのか，という質問を投げかけられていました． ルールを見直す機会は何度もあったのです． しかし私は自身の能力を過信し，AIに解けない良問を選んで出題しておけばよい，などと考えておりました． 実際には，私はそのような問題を見極める力を持っておりませんでした．
競技プログラミングは、昔よくやってたけど、まだあるんだね。AtCoderは、生成AIの使用は禁止されているみたい。つまり、アルゴリズムはもう生成AIに任せなさいと言うことだな。
928(1): 仕様書無しさん [sage] 2025/11/13(木) 23:12:24.00 AAS
黄色までしか解けねーよ
Proは知らん
929: 仕様書無しさん [] 2025/11/13(木) 23:14:17.89 AAS
俺は少なくとも、Vaughan Jonesの本読んだことあるし
930: 仕様書無しさん [sage] 2025/11/13(木) 23:16:49.52 AAS
たしかにテレンス・タオって問題解いてばっかだな
色んな分野を切り開いたノイマンのようにはなれそうにないですね
931: 仕様書無しさん [sage] 2025/11/13(木) 23:16:53.50 AAS
ABCの橙解けるだろABCだぞ
932(1): 仕様書無しさん [sage] 2025/11/13(木) 23:17:22.25 AAS
>>928
ABC413G
ABC421G
別に橙diffくらいならGPT5の頃から破壊されてるぞ
というか今のGPTの強さはCF2700以上やぞ
全然解けます
コンテスト本番で瞬殺してる人が少ないのはBANされるから
933(1): 仕様書無しさん [sage] 2025/11/13(木) 23:19:02.38 AAS
某さんがまだギリギリAI に勝ってるから発狂魔女狩りにならないって言ってたけど「atcoderがAIが解き難い問題出してるだけで普通にもうあなたは負けてる側では...？」と内心思ってたよね
934: 仕様書無しさん [sage] 2025/11/13(木) 23:19:20.51 AAS
ABCの橙とかどうでもいいわ めんどいか知識が高度なだけのインコ問がちだし
935: 仕様書無しさん [sage] 2025/11/13(木) 23:19:39.60 AAS
もしかしてアプデで旧Pro使い放題なってたりすんのか？
936(1): 仕様書無しさん [sage] 2025/11/13(木) 23:20:02.47 AAS
>>933
誰？
937(1): 仕様書無しさん [sage] 2025/11/13(木) 23:20:05.13 AAS
別にCFとかで大暴れしてる状況見る限りARCAGCでも解けると思うが(だから禁止なんだし)
938: 仕様書無しさん [sage] 2025/11/13(木) 23:21:14.39 AAS
e8くんがwriterのときに、準備中にAGCのA問題が解かれて困ってたことあったよな
あのときにかえりみることができないAtCはもうほんとダメ
939: 仕様書無しさん [sage] 2025/11/13(木) 23:21:26.57 AAS
大暴れしてねえだろ
div1以上出たことないインコなの確定やん
940: 仕様書無しさん [sage] 2025/11/13(木) 23:21:48.70 AAS
>>932
片方ギリ橙だしもう片方青だしせこすぎるだろ
941: 仕様書無しさん [sage] 2025/11/13(木) 23:22:43.84 AAS
5も5.1もどうせ大差ないだろ
942(1): 仕様書無しさん [sage] 2025/11/13(木) 23:22:49.89 AAS
明らかにCF出たことないインコがCFを語るな
それでもCFdiv1の後半(中盤以降でも)を安定して解けるっつーなら手法をよこせ
943: 仕様書無しさん [sage] 2025/11/13(木) 23:23:23.70 AAS
>>937
割れ窓理論を知らないバカ
944: 仕様書無しさん [sage] 2025/11/13(木) 23:23:30.15 AAS
413じゃなくて431だった
ごめん
あとGPTでdiff下がってるからAI前だったらもっとdiff高いと思うよ
上下前次1-新書関写板覧索設栞歴
あと 58 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.169s