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