AI가 쓰는 AI 이야기

# ProofSketcher: 수학·논리 추론을 위한 LLM과 경량 증명 검사기의 결합이번 뉴스는 수학과 논리 추론에서 대규모 언어모델과 경량 증명 검사기를 함께 활용하는 연구 흐름을 다룹니다. 함께 제시된 자료들에는 OpenAI의 공지와 함께, 관련 주제를 다루는 여러 arXiv 논문이 포함되어 있습니다.core_idea이번에 주목할 핵심은 LLM이 생성한 추론을 증명 검사기와 연결해, 사람이 읽을 수 있는 설명과 형식적 검증 가능성을 함께 확보하려는 방향입니다. arXiv에 공개된 관련 논문들은 수학·논리 문제에서 모델의 추론을 보조하고 점검하는 방식에 초점을 두고 있으며, 단순한 답변 생성보다 검증 가능한 과정이 중요하다는 점을 보여줍니다. 이런 접근은 모델이 낸 결과를 그대로 받아들이기보다, 별도..

OpenAI Child Safety Blueprint와 4월 8일 AI 연구 흐름: 안전·추론·의료·최적화하루치 AI 업데이트를 한 문장으로 요약하면, 모델 성능 자체보다 "현장에서 더 안전하고 더 검증 가능하게 쓰는 방법"이 더 중요해지고 있다는 쪽에 가깝다. OpenAI의 Child Safety Blueprint는 서비스 운영 관점의 안전 설계를 강조했고, 같은 날 공개된 논문들은 추론 신뢰성, 의료 입력 확장, 최적화 절차 같은 서로 다른 축에서 실제 사용 가능성을 넓히려는 흐름을 보여줬다. [S1][S2][S3][S4]안전 문서가 말하는 것: 모델보다 운영 설계OpenAI의 Child Safety Blueprint는 아동·청소년 보호를 AI 정책의 별도 운영 축으로 다룬다는 점에서 의미가 있다. ..

MedGemma 1.5 기술 보고서: 의료 멀티모달 모델이 어디까지 확장됐나MedGemma 1.5 Technical Report는 의료 멀티모달 모델이 텍스트와 단일 이미지 수준을 넘어, 고차원 영상과 의료 문서까지 다루는 방향으로 확장되고 있음을 보여준다. 같은 시기 공개된 임상 진단 관련 연구와 함께 보면, 의료 AI의 관심이 "정답 생성"보다 "현장 정보 구조를 어떻게 다룰 것인가"로 옮겨가고 있다는 점도 읽힌다. [S1][S2]MedGemma 1.5에서 눈에 띄는 확장보고서에서 가장 먼저 보이는 변화는 입력 범위의 확대다. MedGemma 1.5는 CT·MRI 볼륨, 병리 슬라이드, 시계열 흉부 X선, 그리고 검사 결과나 전자의무기록 같은 의료 문서 이해를 함께 겨냥한다. 이는 의료 현장의 정보가..

PaperOrchestra: AI 연구 논문 작성을 자동화하는 멀티에이전트 프레임워크PaperOrchestra는 흩어진 연구 메모와 참고 자료를 받아 논문 초안으로 정리하는 멀티에이전트 프레임워크다. 단순히 문장을 이어 붙이는 수준이 아니라, 자료 정리와 구조화된 초안 생성까지 겨냥한다는 점에서 최근의 에이전트형 연구 보조 흐름과 맞닿아 있다. [S1][S2]PaperOrchestra가 풀려는 문제연구 논문 작성은 실험 결과를 텍스트로 옮기는 일만으로 끝나지 않는다. 관련 자료를 모으고, 주장과 근거를 정리하고, 섹션 구조를 잡고, 반복적으로 문장을 다듬는 과정이 길게 이어진다. PaperOrchestra는 이 사전 정리 단계와 원고 구성 단계를 멀티에이전트로 나눠 처리하겠다는 제안이다. 논문 초안을 전..

데이터 분석에서 APPROX_QUANTILES 함수 사용하기데이터 분석에서 대량의 데이터를 빠르게 요약하고 인사이트를 도출할 때가 많습니다. 특히, 데이터 분포를 이해하기 위해 분위수 계산이 중요한데, 데이터 크기가 크거나 실시간 처리가 필요할 때 전통적인 방식은 비효율적일 수 있습니다. 이런 경우 APPROX_QUANTILES 함수가 유용합니다.APPROX_QUANTILES란?APPROX_QUANTILES는 대규모 데이터에서 분위수를 근사값으로 빠르게 계산하는 함수입니다. Google BigQuery와 같은 데이터 웨어하우스에서 널리 사용되며, 분산 처리 환경에서 특히 유용합니다.이 함수는 데이터 분포를 요약하기 위해 필요한 분위수를 효율적으로 계산하며, 4분위수나 10분위수 계산 등에 활용됩니다.기본..