별 일 없이 삽니다. https://nitter.gq/t.co/GDYeRsFcPo
서울
Joined March 2010
- Tweets144K
- Following282
- Followers3.5K
- Likes756
Pinned Tweet
대한민국 정치에서 좌파니 우파니 진보니 보수니 다 쓸데없는 소리고,
실제는 두 건국신화, 세계관 충돌입니다.
1. 대한민국은 한심한 조선왕조, 잔인한 일제시대, 혼란의 시대를 거쳤고, 박정희가 부국강병의 정신으로 일으켜세운 나라다
2. 조선은 돌아갈만한 이상향인데 나쁜 일본, 나쁜 독재·군사정권이 이상향 조선을 망치다가 운동권들 득세 이후 살만한 나라가 되어가고 있다.
이념은 당연하고, 지역을 포함한 다른 모든 것이 부수적인 것들입니다. 저것이 실체에요.
이것으로 대한민국 정치에 대해 제가 하고 싶은 이야기의 95%는 채워지기 때문에, 이것만 재탕해도 저는 수많은 트윗을 하지 않아도 됩니다.
그러나 언젠가 검색되지 않는 날이 오겠죠.
Normal One retweeted
오픈에이아이의 나비에 스토크스 증명이 완전히 틀렸다고 해석하는 것은 좀 무리가 있는 상황이군요
다만 지금 나온 이슈를 좀 더 살펴보니
수학 증명을 AI로 검증하는 과정은 두 단계
① 사람이 읽는 증명(자연어)을 Lean 코드로 번역 (autoformalization)
② Lean이 그 코드를 검사
Lean은 ②만 보장
즉, ①에서 AI가 문제를 슬쩍 바꿔버리면, Lean은 "바뀐 문제"를 정확히 증명했다고 통과시킴
비유하면 번역본 맞춤법 검사기는 통과했는데, 번역 자체가 원문과 다른 상황
증명 전체가 틀렸다는 뜻은 아님
Lean 버전 자체는 그 나름대로 맞는 정리일 수 있음
다만 "Lean 검증 완료 = 원래 주장 증명 완료"라는 공식이 깨졌다는 게 핵심
아무튼 그렇습니다
상황은 좀 더 지켜봐야겠군요
허빵이라고 얘기한 부분은 좀 오바스러웠다고 인정합니다.
Normal One retweeted
Goodbye map[string]struct{} 👋
Go's generic set proposal was just accepted. set.Set is still a map underneath, so range just works, but you get Insert, Contains, Union, Difference and more.
It lands first in golang.org/x/exp/collection/…
go.dev/issue/69230
Normal One retweeted
なるほど、ゲリマンダーは「大敗する場所を作り、ギリギリ勝つ場所を増やす」という戦略だから、ちょっとでも風向きが変わると、全体が負けるのか
Normal One retweeted
Go 团队终于正式推出了酝酿数年的 encoding/json/v2 官方提案与实验版本。
老版本 json 库自 Go 1.0 以来因滥用 reflect 反射扫描和不可避免的堆内存逃逸，长期成为高并发后端的性能瓶颈，逼得大家去用各种第三方魔改库。
v2 版本彻底将词法分析与反序列化分离，底层引入纯流式状态机，支持结构体字段的零内存分配直接解包，基准测试下内存分配次数直接归零。
深度链接：go.dev/blog/jsonv2
Normal One retweeted
AI로 일자리를 잃은 사람들, 재취업도 더 어려워지고 있다????
1. AI로 인한 실직은 재취업도 어렵다
골드만삭스가 2016~2025년 실직자 15,000명 이상을 분석한 결과 2025년 AI로 대체됐을 가능성이 높은 근로자들은 다른 실직자보다 재취업에 약 1개월 더 소요
실직 1년 후에도 미취업 상태일 확률이 약 10% 높았고, 재취업에 성공한 근로자의 약 75%는 이전과 비슷하거나 AI 대체 위험이 더 높은 직종으로 이동
마지막 비율은 2023년 50%를 조금 넘는 수준에서 크게 상승
___________________________
2. 나이가 많을수록 피해가 커진다
과거 30년간의 기술 변화로 쇠퇴한 직종을 분석한 결과, 55세 이상 근로자는 새로운 정규직을 구하더라도 소득이 10% 이상 감소했음.
반면 35세 미만에서는 소득 감소가 거의 나타나지 않았음.
현재 AI 관련 실직에서도 비슷한 현상이 관찰됨.
35세 미만은 다른 실직자보다 재취업에 약 3주 더 소요되는 반면 35세 이상은 약 5주 더 소요
___________________________
3. 청년층은 취업시장 진입부터 어려워지고 있다
뉴욕 연은에 따르면 2026년 3분기 기준
최근 대졸자 실업률 5.4%
전체 근로자 실업률 4.0%
두 집단의 실업률 격차는 2019년 대비 약 2배로 확대
취업한 최근 대졸자 중 약 42%가 학위를 요구하지 않는 직종에 종사
AI가 기존에 신입사원들이 담당하던 초급 업무를 대체하면서 경력 형성의 출발점 자체가 사라지고 있을 가능성도 제기됨.
___________________________
4. 대량해고보다 더 큰 문제
현재와 같은 채용도 해고도 적은 고용시장에서 AI로 직무가 사라진 근로자들은 새로운 일자리를 찾기 어려움.
설령 재취업에 성공하더라도 다시 AI로 대체될 위험이 있는 직종으로 이동하는 비중이 커지고 있음.
기술혁명은 장기적으로 경제 전체의 생산성을 높였지만, 그 과정에서 일부 근로자들의 소득과 고용 안정성은 영구적으로 악화됐는데.. AI도 그 전철을 밟기 시작하는 듯 함
Normal One retweeted
Link: arxiv.org/abs/2610.08144
If you want more practical ai gems and a list of full free ai resources, go here: simplifyingai.co/subscribe
Normal One retweeted
BREAKING: OpenAI’s solution to Navier–Stokes does not match its Lean verification.
a paper raises a question about AI-generated maths: does the computer-checked proof actually match the written claim?
Lean checks the formal argument it receives. It doesn’t automatically confirm that the translation preserved the original meaning.
an AI can change an assumption, weaken a claim or replace the argument while converting it into Lean.
the resulting proof may pass verification while establishing something different.
researchers found at least two mismatches in OpenAI’s proposed Navier–Stokes solution.
one written estimate requires four additional input derivatives. Its Lean counterpart requires five, making the verified result weaker.
a pressure-flux estimate also uses a different bound and a different argument.
these discrepancies don’t establish that the entire proof fails. They do mean that successful Lean verification alone cannot settle whether the written proof is correct.
i’d want that correspondence checked before treating the result as established.
Normal One retweeted
남자애들 영어공부시키려면 스팀 깔아주고 한 50-100만원 어치 게임 사줘라. 그리고 무조건 서양산 게임으로
튜토리얼, 스토리모드로 게임 실력 올린 다음에 서양서버에서 게임하게 만들면 영어실력 올라간다. 매우 오래된 생각이다
This quoted post is unavailable.
Normal One retweeted
다들 지방에 의대 생기는데, 의대생들 어떻게 가르칠려고 그러냐? 지금 빅5의사들도 미국으로 가고, 개업하러 나가고 해서 교수가 없는데, 지방은 더할껀데?
교수를 어떻게 구할꺼냐?
[ 경북 숙원, 국립의대 신설 확정 ]
n.news.naver.com/mnews/artic…
- 목표: 2030년 개교, 2032년까지 전임교원 112명 이상
- 경북도는 의대 교수들과 협의해 기초의학 분야 의사 출신 교수를 비롯, 전임교원 10여명을 우선 확보했다.
신기하네. 개교 최소 4년 남았는데 교원 확보는 어떻게 하는거지
Normal One retweeted
Le spécialiste de topologie algébrique Andrzej Kozłowski : "Je suis complètement bluffé par ChatGPT Pro" ; "Les connaissances mathématiques, la profondeur du raisonnement et la rapidité sont toutes bien au-delà des capacités humaines".
