테리 타오, AI 코딩 에이전트로 1999년 죽은 자바 애플릿 되살리고 신규 시각화 앱까지 제작

필즈상 수상자도 이제 도커 컨테이너 안 켜진다고 LLM한테 물어보는 거 한 발자국 남았네 ㅋㅋ

LLM 이전에도 마틴 헤어러 같은 필즈상 수상자가 전문 소프트웨어 만든 적 있음, 새삼스러운 일 아님

글 마지막에 균형잡힌 시각 좋더라, 논문 핵심 아니니까 LLM 리스크 감수할만하다는 거임

근데 '신뢰'라는 표현 자체가 애매한데, 도널드 크누스가 짜줘도 버그 없다고 신뢰는 못하는 거잖아

LLM 코드는 진짜 유지보수 불가능하고 신뢰 못함, 저스테이크 토이 프로젝트면 괜찮지만 하이스테이크면 절대 안됨

테리 타오가 AI 얘기 계속 하는 거 보면 숨겨진 이해관계 있는 거 아니냐는 의심도 듦

그냥 수학 연구에 시간 아껴주는 툴로 보는 거 아닐까, 비개발자들은 이런 거 위협 아니라 그냥 편한 도구로 봄

이거 항상 취미 프로젝트에서만 도메인 전문가가 AI 쓰는 거 보여주는데 진짜 시리어스한 데는 안 씀

타오는 이미 formal verification이나 연구 논문급 수학 문제에도 AI 쓰고 있음, 이건 좀 소프트한 포스트일 뿐임

교육자료 만들고 논문 보충자료 만드는 게 교수 본업인데 이게 왜 시리어스하지 않은지 모르겠음