Science(5개 스토리)

Waymo는 초현실적인 자율 주행 시뮬레이션을 생성하는 생성 AI 모델인 Waymo 월드 모델을 출시했습니다. Google DeepMind의 Genie 3를 기반으로 구축된 이 모델은 실제 환경에서 접하기 어려운 희귀하고 복잡한 시나리오를 시뮬레이션할 수 있습니다. 언어 프롬프트와 운전 입력을 통한 높은 제어 기능을 제공하여 카메라 및 라이다 데이터와 같은 다중 센서 출력을 생성할 수 있으며, Waymo의 자율 주행 시스템의 안전성과 확장성을 향상시킵니다.

저자는 유명 작가인 어머니 어슐라 K. 르 귄에 대한 전시회를 큐레이팅하며, 특히 그녀의 오래된 타자기를 활용한 인터랙티브 요소를 통해 그녀의 유산과 창의적 과정을 조명했습니다. 이 전시회는 전통적인 전기적 서사를 거부하고, 르 귄 자신의 '캐리어 백'으로서의 스토리텔링 철학을 선형적인 영웅 서사가 아닌 방식으로 풀어냅니다.

물리학, 생물학, 금융, 기계 학습, 전력망, 교통 흐름 등 여러 분야의 연구자들이 복잡한 시스템의 티핑 포인트를 예측하기 위한 동일한 수학적 도구를 독립적으로 개발했습니다. 1935년부터 2004년 사이에 다른 이름으로 다른 학술지에 발표된 이러한 발견은 상당한 노력의 중복과 응용 지연을 강조하며, 시간, 자원 낭비를 초래하고 잠재적으로 인프라 취약성으로 이어졌습니다. arXiv의 논문은 이러한 수렴적 발견을 분석하고 학제 간 전문화 또는 구조적 인센티브가 이러한 파편화를 유지했는지 의문을 제기합니다.

UK 바이오뱅크 데이터를 이용한 연구에서 40-64세 개인의 혈중 오메가-3 수치와 조기 발병 치매(EOD)의 관계를 분석했습니다. 결과는 높은 총 오메가-3 수치와 EOD 위험 간의 통계적으로 유의미한 반비례 관계를 보여주었으며, 이는 젊은 시절 오메가-3 섭취를 늘리는 것이 질병의 발병을 늦추는 데 도움이 될 수 있음을 시사합니다.

콜라코프스키 수열은 자신의 런-렝스 인코딩을 설명하는 {1,2} 기호의 무한 수열입니다. 수열의 각 항은 동일한 기호의 다음 런 길이를 나타내며, 기호는 1과 2 사이에서 번갈아 나타납니다. 이는 자기 생성적이고 프랙탈과 같은 수열로, 재귀 및 밀도와 같은 흥미로운 수학적 속성을 가지고 있으며 여전히 연구 중입니다.

이 글은 암에 대한 역사적인 믿음을 탐구하며, 특히 17세기 외과의사 사무엘 스미스가 암성 액체를 맛보고 사망한 사례에 초점을 맞춥니다. 이 사례는 암이 전염되지 않는다는 현대적 이해에 앞서, 강렬한 감각 경험과 감정이 질병과 연결된다는 초기 근대 의학 이론을 보여줍니다.

Changan Nevo A06은 나트륨 이온 배터리를 탑재한 최초의 양산형 전기차로, 추운 날씨에서의 성능이 크게 향상되었습니다. 리튬 이온 배터리와 달리 -40도에서도 주행 거리 손실이 거의 없고 열 폭주 위험이 없습니다. 에너지 밀도는 LFP 배터리와 비슷하지만, 뛰어난 저온 성능과 저렴한 비용으로 EV 및 에너지 저장 장치에 대한 유망한 대안이 됩니다.

이 게시물은 형식 검증 언어인 Lean4를 사용하여 PBS Kids의 Cyberchase 에피소드를 형식적으로 검증한 내용을 상세히 설명합니다. 저자는 원리로부터 수학적 원리를 도출하는 쇼의 초점에 영감을 받아, 이를 엄격한 검증이 필요한 소프트웨어 공학에 적용합니다. 이 글은 Lean에서 Nim의 변형인 에피소드의 게임을 모델링하고, 함수의 정의 방법, 적에 대한 비결정적 선택 처리 방법, Lean의 증명 전술을 사용하여 재귀 함수의 종료 증명을 보여줍니다. Lean이 수학적 사실을 표현하고 기본 공리까지 코드 동작을 검증하는 데 얼마나 강력한지 강조합니다.