◀ 일년전◁ 한달전<< 일주일전< 하루전| 2024-06-13 |다음날 >일주일후 >>한달후 ▷ 21▲테렌스 타오의 Proof Checkers 및 AI 프로그램에 대한 견해 (scientificamerican.com)# AI가 수학자들의 '공동 파일럿'이 될 것임 ## 수학의 변화 - 수학은 전통적으로 고독한 학문이었음. - 최근에는 수학의 많은 부분이 개별 구성...1 point by GN⁺ 12달전 | 댓글 1개22▲미국 법원, 바나나 거대 기업 Chiquita의 준군사조직 자금 지원 책임 인정 (bbc.com)# 미국 법원, 치키타의 콜롬비아 민병대 자금 지원 책임 인정 ## 사건 개요 - 치키타 브랜드 인터내셔널이 콜롬비아 민병대 AUC에 자금을 지원한 ...1 point by GN⁺ 12달전 | 댓글 1개23▲Elixir 1.17 출시: 패턴의 집합 이론적 타입, 기간, OTP 27 (elixir-lang.org)# Elixir v1.17 출시: 집합 이론적 타입, 캘린더 지속 시간, Erlang/OTP 27 지원 ## 점진적 집합 이론적 타입 경고 - Elixir v1.17은 패턴에서 ...1 point by GN⁺ 12달전 | 댓글 1개