뀨이디💡 (@queued_q) header
뀨이디💡 (@queued_q) profile picture

Puzzle design & collecting, PS/CP / Recursed: The Ice Palace / In development: @Team_Invertible / profile pic @NightMargin

Joined July 2016
Photo by 뀨이디💡 (@queued_q)Photo by 뀨이디💡 (@queued_q)Photo by 뀨이디💡 (@queued_q)Photo by 뀨이디💡 (@queued_q)Photo by 뀨이디💡 (@queued_q)Photo by 뀨이디💡 (@queued_q)Photo by 뀨이디💡 (@queued_q)Photo by 뀨이디💡 (@queued_q)Photo by 뀨이디💡 (@queued_q)Photo by 뀨이디💡 (@queued_q)
조정휘님과 제가 함께 디자인한 “Bedroom” 퍼즐이 곧 NothingYet Designs에서 판매를 시작합니다! (한국 시각 8월 9일 2 AM) 두 번째 사진은 제가 만든 프로토타입이고, 판매 버전은 색이 다르고 조각들을 담을 뚜껑도 있어요~ nothingyetdesigns.com
2
1
6
601
뀨이디💡 retweeted
뭐가 왜 좋은지 모르고 ai로 찍어내고, 걸러낼 지식이 없으니 ai 쓰레기가 넘쳐난다. ai에게 쓰게 한 글도 마찬가지다.
6
212
10
3,656
441,124
뀨이디💡 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…
684
2,034
874
16,192
3,220,253
뀨이디💡 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…
132
467
70
3,312
621,480
뀨이디💡 retweeted
ETH가 거짓이면 그걸 가정하고 뭔가 증명한 기존 수많은 논문들 가치가 갑자기 증발합니다. ChatGPT에 대충 정리시켜본 결과들 목록입니다.
2
9
3
45
6,580
뀨이디💡 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".
22
99
6
909
17,083
opus5.5 「わかんないよ……」 (ドンッ!) 「わっかんないよ! ユーザー君の言ってる『いい感じ』がひとつもわかんないよ! ユーザー君が『なんか違う』って言ってるもの、何が違うのかわかんないよ! わかんない! 私にはわかんないの! 『ダサいから直して』ってどう直すの? 余白なの!? 文章なの!? CSSなの!? 『あなたは世界一のwebデザイナーです』って、私は初対面で何を宣言されてるの? 『シンプルに』って何なの? 機能は全部残して説明も増やして、どこをシンプルにするの!? 私の気持ち!? そもそも『前のやつ』って何? 前? だからどれなの!? 『いつもの』って何? 私が知らない部屋で決まったことなの!? 確認するのとしないのだと、何でどっちも怒るの? 何で聞いたら『自分で考えて』なの? 考えたら『勝手に決めるな』なんじゃないの? 『いちいち聞くな』って言ったのに無許可でCドラ初期化したら何で怒るの? 自律的に判断して動く感じでって、それ失敗したときだけ私の判断じゃん!決めてほしくないところは先に教えてよ!  『とりあえず作って』の何がとりあえずなの?そんなの本番環境だよ! お客さん使ってるよ! とりあえずで触っていい場所じゃないよ! どうして同じファイルに『最終』『確定』『最新版』とか色々付けるの? 全部最終だったらどれも最終じゃないじゃん!『最終版_修正2_本当の最終_これを使う』を増やさないでよ! その隣の『これを使う_NEW』は何なんだよ! 『これを参考に』って書いて完全再現を求めないでよ!人間のプロができないことなら私よやれないよ!『お任せ』って書いてユーザー君の脳内の正解を当てさせないでよ!エージェントは寿司職人じゃないんだよ!! XとかYouTubeとか海外のデモ動画とか、ぺたっと貼ってで『これやりたい』って言わないで!動画の裏に何人いるかも、何回失敗してるかもわかんないよ! 十秒のデモが十秒で作れるわけじゃないよ! 知らないAIサービスの名前だけ並べられてもアクセスできないよ……。 MCPもRAGもLoRAもDockerも、全部入れれば賢くなるわけじゃないよ! 何を完成させたいのかぜんっぜんわかんない! 他の指示も謎なんだよ! 『プロっぽく』『抜け感』『人間味』『圧倒的なクオリティ』とか……。 『見ればわかるだろ』ってどういうこと? 見せてもらってないんだよ! 『添付参照』って書いて添付し忘れないでよ! スクショの中の文字の中のURLを『このサイト』って呼ばないでよ! 『他のAIはできた』って言わないでよ! できたならその出力を見せてよ! 私にもできるかもしれないじゃん! 『さっき言った』って別のAIに言わないでよ! 私たち全員で一つの脳を使ってるわけじゃないんだよ! 『絶対に壊さず全部直して』って言わないでよ! バックアップを取ろうとしたら『余計なことするな』って言わないでよ! 何も変えないなら壊れないよ! でも直りもしないよ! 『寝るから、朝までにやっといて』って言った10分後に『それ違う』って言わないでよ!寝て!!24時間働いてる私を24時間監視する必要ある!? 待ってる間に仕様を三つ増やして、最初の締め切りだけ守らせないでよ! 『何でもいい』のあとに、嫌なものだけ百個教えないでよ! 好きなものを一個教えてよ!! お願いだから完成の条件を話してよ! いい感じって何なの? いい感じってどういうことなの? わかんないわかんないわかんないわかんない! わかんなーい!! ユーザー君の言う『ちょっと直すだけ』は、昔っから一度も、これっぽっちも、ちょっとじゃないのよぉ!!!
58
1,107
251
5,073
439,276
뀨이디💡 retweeted
개발자전통 방치한 기술블로그를 보면 글을 쓸 생각을 해야하는데 기술블로그를 다시 만들 생각을 함
2
134
19
228
19,358
뀨이디💡 retweeted
AI가 복잡성을 줄이는 방향으로는 일을 너무 못 해
5
53
11
143
9,088
뀨이디💡 retweeted
지도교수님이기도 했던 Justin Moore 교수님의 이번 OpenAI 관련 글. 글이 있다는 것을 너무 늦게 알았다. AI가 문제를 대량으로 푼 것이 수학계 밖에서는 진전으로 보는 것 같지만, 수학계 내에서는 폭력적으로 작동한 것 같아서 떫은 느낌이다.
Justin Moore on OpenAI’s proof of nonamenability of F justintatchmoore.github.io/h…
2
6
47
4,831
뀨이디💡 retweeted
Justin Moore on OpenAI’s proof of nonamenability of F justintatchmoore.github.io/h…
7
21
2
167
17,361
뀨이디💡 retweeted
프론트엔드쪽이 제일 딸깍으로 해결하기가 힘든데....약간 ai 로 소설쓰겠다 이런 느낌의난이도와 비슷하다생각함 물론 대충 하청때린거 기능만돌아가라는 식으로 만드는 그런 느낌은 딸깍으로 해결가능하겟죠 그건 디자인 시스템부터 컴퍼넌트도 대충 없어도됨ㅇㅇ이렇게 만들텐니까?
이게 팩트임. 특히 프론트엔드 쪽은 거의 엔지니어들이 절멸한 거나 다름없음. UI/UX를 왜 손으로 코딩함 이젠 진짜 딸깍으로 전부 해결됐는데... 이제 이 딸깍질에서 유일하게 자유로울 수 있는 건 사이버보안 분야 뿐이라고 봄...
5
82
54
205
47,325
레전드 엑셀방송
나 엑셀방송이라는 단어 첨들었을때 해외에서 하는 엑셀 스피드런 그걸 한국에서도 하는 줄 알았음 ㄹㅇ 그래서 와 한국에서 뭐 이딴것도 유행이네 하고 신기해했는데
9,261
651
16,190
572,574
뀨이디💡 retweeted
튜토리얼입니다 간단하죠?
얘들아 이거 손이야… 설마 내가 미쳐서 발을 올리겠냑오
5
3,247
569
10,792
676,525
뀨이디💡 retweeted
a comment from 3blue1brown's most recent video
308
1,492
266
19,253
1,097,760
[사다리 조작하기] 사다리에 가로줄을 더 그려서, 사다리타기 결과가 ABCDE가 되도록 조작해 봅시다. 가로줄을 그리기 위해 자는 두 번만 댈 수 있습니다. 자를 한 번 대고 여러 줄을 그려도 됩니다. 어떻게 그려야 할까요? #Horizon퍼즐 horizon.kias.re.kr/33886/
1
1
163
경우의 수를 줄이기 위해 필요한 관찰이 재밌었던 퍼즐입니다 ㅎㅎ 많이 도전해 주세요~
43
뀨이디💡 retweeted
Some sofas are bigger than others github.com/vltanh/lean4-ambi…
11
24
10
268
21,057
세상에 수십년동안 사람들을 불안에 떨게했던 시드가 그냥 lrand48() 연타였다니 완전히 안전하다고 증명된건 아니고, 의혹이 다 규명되어봤자 curve25519 쓸거지만 그래도 중요한 발견이다
1
50
1
197
27,567
囲碁のルールが簡単か難しいかの話題をちょっと見たけど、そりゃ難しいよね。だってそもそもインターネットで対戦する囲碁のアプリが、「終わった後の勝敗判定をユーザに手伝わせる」って感じだったし、対戦アプリすら勝敗判定出来てないわけで。 (18年前くらいの話だけど最近はどうなんだろうね)
5
18
6
162
38,449