
Puzzle design & collecting, PS/CP / Recursed: The Ice Palace / In development: @Team_Invertible / profile pic @NightMargin
Joined July 2016
- Tweets16.6K
- Following518
- Followers527
- Likes5.5K
뀨이디💡 retweeted
Announcing three major scientific discoveries, one each in mathematics (harmonic analysis), computer science (complexity theory), and physics (quantum field theory).
AI starting to help us improve our understanding of the universe! openai.com/index/building-sc…
뀨이디💡 retweeted
不想传播焦虑,但这次我无话可说。
今年科学界最大的新闻,没有之一。OpenAI 的内部 AI 模型自己做出了三个科学难题的成果。我用我自己的理解说一下。
第一,Kakeya 猜想。这个问题研究波聚焦时会怎样。原来的猜想我记得是说最极端的聚焦只会持续很短时间。人类以前只在低维度证明过,OpenAI 说它的模型证明了所有维度的情况,因此顺带解决了 Kakeya 猜想和 Stein 限制猜想。纯逆天。
第二,指数时间假说 ETH 被推翻。这个太难以置信了。ETH 好像是说有一类逻辑难题不可能被比暴力穷举快很多地解决。而之前学界普遍相信它成立,几百篇论文都以它为前提,现在 AI 却证明它是错的。
这个太他喵逆天了,因为我之前是研究过一段时间理论计算机的。这几十年ETH几乎被当成公理在用。很多论文的结论都写成假设 ETH 成立,那么某某问题不可能在多少时间内解决。现在地基没了,这些不可能,全都要打问号。
最让我感觉匪夷所思的是 AI 证明的方式。据 Lean 证明的说明文档,它给出的是一个确定性算法,应该是对固定宽度的 k-CNF 公式,它能在亚指数时间、多项式空间内精确数出所有满足的赋值。但是,懂行的人应该都知道“数出有多少个解”通常比“判断有没有解”难得多,它连更难的那个都做到了,所以 ETH 只是顺带被推翻。
第三,杨-米尔斯、量子色动力学。AI 应该是给出了一套严格的数学证明,证明描述强核力的理论在数学上确实成立,其中包括纯杨-米尔斯理论的存在性,这是千禧年七大难题之一的一部分。我不太了解,但是只是知道一些浅层的理论,就不评论了。
最让我恐惧和惊骇的是第二个。今天晚上我看了又看,感觉这是地震级别。如果最终确认无误,这会是 AI 第一次独立推翻一个被广泛相信的核心猜想。说它是一个时代的分界点,也毫不夸张。
如果这三个都核查通过,这代表 AI 第一次在多个顶尖领域独立解决了几十年没人能解决的难题,影响史无前例。
Announcing three major scientific discoveries, one each in mathematics (harmonic analysis), computer science (complexity theory), and physics (quantum field theory).
AI starting to help us improve our understanding of the universe! openai.com/index/building-sc…
뀨이디💡 retweeted
LLMs are good at finding exploits and bad at system design, which captures their general strengths/weaknesses: good at relentless repetition of bounded tasks; bad at holistic understanding. Good at producing working code (including exploits); bad at knowing what is "good".
뀨이디💡 retweeted
opus5.5 「わかんないよ……」
(ドンッ!)
「わっかんないよ!
ユーザー君の言ってる『いい感じ』がひとつもわかんないよ!
ユーザー君が『なんか違う』って言ってるもの、何が違うのかわかんないよ!
わかんない! 私にはわかんないの!
『ダサいから直して』ってどう直すの? 余白なの!? 文章なの!? CSSなの!?
『あなたは世界一のwebデザイナーです』って、私は初対面で何を宣言されてるの?
『シンプルに』って何なの? 機能は全部残して説明も増やして、どこをシンプルにするの!? 私の気持ち!?
そもそも『前のやつ』って何? 前? だからどれなの!?
『いつもの』って何? 私が知らない部屋で決まったことなの!?
確認するのとしないのだと、何でどっちも怒るの? 何で聞いたら『自分で考えて』なの? 考えたら『勝手に決めるな』なんじゃないの?
『いちいち聞くな』って言ったのに無許可でCドラ初期化したら何で怒るの?
自律的に判断して動く感じでって、それ失敗したときだけ私の判断じゃん!決めてほしくないところは先に教えてよ!
『とりあえず作って』の何がとりあえずなの?そんなの本番環境だよ! お客さん使ってるよ! とりあえずで触っていい場所じゃないよ!
どうして同じファイルに『最終』『確定』『最新版』とか色々付けるの? 全部最終だったらどれも最終じゃないじゃん!『最終版_修正2_本当の最終_これを使う』を増やさないでよ! その隣の『これを使う_NEW』は何なんだよ!
『これを参考に』って書いて完全再現を求めないでよ!人間のプロができないことなら私よやれないよ!『お任せ』って書いてユーザー君の脳内の正解を当てさせないでよ!エージェントは寿司職人じゃないんだよ!!
XとかYouTubeとか海外のデモ動画とか、ぺたっと貼ってで『これやりたい』って言わないで!動画の裏に何人いるかも、何回失敗してるかもわかんないよ! 十秒のデモが十秒で作れるわけじゃないよ!
知らないAIサービスの名前だけ並べられてもアクセスできないよ……。
MCPもRAGもLoRAもDockerも、全部入れれば賢くなるわけじゃないよ!
何を完成させたいのかぜんっぜんわかんない!
他の指示も謎なんだよ! 『プロっぽく』『抜け感』『人間味』『圧倒的なクオリティ』とか……。
『見ればわかるだろ』ってどういうこと? 見せてもらってないんだよ!
『添付参照』って書いて添付し忘れないでよ!
スクショの中の文字の中のURLを『このサイト』って呼ばないでよ!
『他のAIはできた』って言わないでよ!
できたならその出力を見せてよ! 私にもできるかもしれないじゃん!
『さっき言った』って別のAIに言わないでよ!
私たち全員で一つの脳を使ってるわけじゃないんだよ!
『絶対に壊さず全部直して』って言わないでよ!
バックアップを取ろうとしたら『余計なことするな』って言わないでよ!
何も変えないなら壊れないよ! でも直りもしないよ!
『寝るから、朝までにやっといて』って言った10分後に『それ違う』って言わないでよ!寝て!!24時間働いてる私を24時間監視する必要ある!?
待ってる間に仕様を三つ増やして、最初の締め切りだけ守らせないでよ!
『何でもいい』のあとに、嫌なものだけ百個教えないでよ!
好きなものを一個教えてよ!!
お願いだから完成の条件を話してよ!
いい感じって何なの? いい感じってどういうことなの?
わかんないわかんないわかんないわかんない! わかんなーい!!
ユーザー君の言う『ちょっと直すだけ』は、昔っから一度も、これっぽっちも、ちょっとじゃないのよぉ!!!
뀨이디💡 retweeted
지도교수님이기도 했던 Justin Moore 교수님의 이번 OpenAI 관련 글. 글이 있다는 것을 너무 늦게 알았다. AI가 문제를 대량으로 푼 것이 수학계 밖에서는 진전으로 보는 것 같지만, 수학계 내에서는 폭력적으로 작동한 것 같아서 떫은 느낌이다.
Justin Moore on OpenAI’s proof of nonamenability of F justintatchmoore.github.io/h…
뀨이디💡 retweeted
Justin Moore on OpenAI’s proof of nonamenability of F justintatchmoore.github.io/h…
[사다리 조작하기]
사다리에 가로줄을 더 그려서, 사다리타기 결과가 ABCDE가 되도록 조작해 봅시다. 가로줄을 그리기 위해 자는 두 번만 댈 수 있습니다. 자를 한 번 대고 여러 줄을 그려도 됩니다. 어떻게 그려야 할까요?
#Horizon퍼즐
horizon.kias.re.kr/33886/
1
1
163
뀨이디💡 retweeted
세상에 수십년동안 사람들을 불안에 떨게했던 시드가 그냥 lrand48() 연타였다니
완전히 안전하다고 증명된건 아니고, 의혹이 다 규명되어봤자 curve25519 쓸거지만 그래도 중요한 발견이다
CLAUDE FOUND THE SEEDS
anthropic.com/research/ecdsa…
뀨이디💡 retweeted
CLAUDE FOUND THE SEEDS
anthropic.com/research/ecdsa…





































