Heesung Shin

Mathematician

[Heesung Shin @ensual]

대한민국 문제가 69문제 없는 것은 영어로 번역이 안 되서 그런 것 같은데... 한국어로된 문제 그대로 넣어도 훈련하기 좋을 듯 한데..

[상일 @sioum]

AI 훈련에 필요하니까 3만개 넘는 전세계 수학경시대회 문제를 모아놓은 데이터셋이 나왔네요. 이거 AI 훈련 뿐만 아니라 수학 경시대회 좋아하는 학생 훈련에도 유용할듯. https://t.co/hJ3VSbOfKN

[상일 @sioum]

공중파 예능(?) 프로에서 재미있는 measure theory 이야기 하신 김상현 교수님 화이팅!

[EBS] 처음부터 다시 배우는 부피
https://t.co/C6w97XU83D

[Axiom @axiommathai]

1/ AxiomProver has solved Fel’s open conjecture on syzygies of numerical semigroups, autonomously generating a formal proof in Lean with zero human guidance.

This is the first time an AI system has settled an unsolved research problem in theory-building math and self verifies.

[상일 @sioum]

오늘부터 #KAIST 수리과학과 겸직교수가 되었습니다. 다시 모교와 함께 할 수 있어 기쁘네요. 다시 적은 수의 대학원생도 받을 수 있습니다.

[Heesung Shin @ensual]

@leejseo_public 제 발표였을까요? 재밌게 봐 주었다면 감사하네요.

[IBS Discrete Mathematics Group (기초과학연구원 이산수학그룹) @ibsdimag]

The 2025 Combinatorics Workshop (2025 조합론 학술대회) was held from Aug 18 to 20 at IBS. Combinatorics Workshop is an annual conference for researchers in combinatorics and related areas in Korea, started in 2004. 5 invited talks and 13 contributed talks. https://t.co/O5ruw5NdZQ

[상일 @sioum]

"만 5세 때 영재로 방송 프로그램에 출연, 17세 때 국제수학올림피아드에서 한국인 첫 만점, 서울대 수학과 조기 졸업, 미국 하버드대 수학과 박사 졸업, 현재는 UC버클리 수학과 교수….
한국의 영재 성공사례 1호로 불리며 세계적인 수학자가 된 신석우(47) 교수의 프로필"
https://t.co/LpneJ3SXK4

[박부성 @puzzlist]

루마니아 대통령 선거에서 당선된 니쿠쇼르 단(Nicușor Dan) 부쿠레슈티 시장이 1987년과 1988년 국제수학올림피아드에서 만점으로 1등을 했던 금메달리스트라고. 수학 박사 학위를 가진 대통령은 처음 아닐까?

https://t.co/2HbQRtxByS

[MadScientist @SecretLabMS]

미친 간접비를 15% 감축도 아닌 15% 로 ㄷㄷㄷㄷ

1. 트럼프 집권이 끝날때까지 미국 대학의 신규 채용은 없을듯 (정착연구비를 줄 돈이 없으니 신규 채용이 있을 턱이)
2. 학과의 행정직원 등 수많은 지원인력은 잘려나감
3. 외국계 연구책임자 (특히 중국계) 등은 썰물처럼 미국을 뜰듯

[전우용 @histopian]

수학 입시강사를 ‘수학의 대가’라고 하지는 않습니다.
그들의 일은 고등학교 졸업생 수준에 맞는 수학을 가르치는 겁니다.
그런데 ‘한국사 강사’를 ‘한국사학의 대가’ 취급하는 사람은 왜 이리 많은지 모르겠습니다.
그들의 일도 고등학교 졸업생 수준에 맞는 ‘한국 연대기 암기법’을 가르치는 겁니다.

[Heesung Shin @ensual]

Happy New Year 2025.
2025 = (1 + 2 + ... + 9)² = 1³ + 2³ + ... + 9³.

[상일 @sioum]

대한수학회 소식지 212호에 실린 2024 Korean Student Combinatorics Workshop 후기

[네츠케 @netsukei]

[일찍 잔 사람들 상황요약]
1. 오후 10시 반 쯤 윤석열이 비상계엄령 선포함 "사유 : 종북좌파세력척결"
2. 11시에 계엄 포고령 선포되고 군대 투입됨
3. 국회의원 300명중 150명 이상 모이면 계엄해제결의안 발의할 수 있음
4. 윤석열 군대 풀어서 국회 봉쇄함

[Los Angeles Dodgers @Dodgers]

FREDDIE FREEMAN WALK-OFF GRAND SLAM. #WORLDSERIES

[상일 @sioum]

우리 학생들 스스로 국내 이산수학 관련 분야 대학원생들 초대하여 1주일간 공주한옥마을에서 합숙하며 연구 토의를 진행했습니다. IBS 이산수학그룹에서 후원하여 처음 시도했던 이번 행사가 앞으로도 잘 이어갈 수 있길 바랍니다.

[Chœ Byung-yoon @kevincby_]

파이썬 리스트 컴프리헨션이 넘조은이유

[Science girl @sciencegirl]

How is this possible?

📹 superbraintoys_official
https://t.co/1bvJ9DlAyE

[한겨레 @hanitweet]

오랫동안 지역민의 사랑을 받아온 대전 유성구 봉명동의 유성호텔이 오는 31일 영업을 종료합니다. 온천호텔 영업을 시작한 지 109년 만입니다.

https://t.co/rW51eRFKOq

[김병준(Byungjun Kim) @DrByungjunKim]

[KAIST 원총]
2024 KAIST 학위수여식 학생 퇴장 조치에 대한 성명문