labyradar

· 상태 degraded

핵심

Sharing AI progress in mathematics

OpenAI 가 내부 프론티어 모델을 활용해 수학의 미해결 문제들을 해결하고 Lean 형식화 증명 결과를 공개했습니다.

openai

🎲 탐험

3D-printing platform rapidly produces complex electric machines

3D 프린팅 플랫폼을 이용해 복잡한 전기 장비를 신속하게 제작하는 기술 성과를 소개한다. 제조업과 AI 의 융합 가능성을 보여주나 구체적인 알고리즘이나 데이터 활용 측면의 정보는 부족하다.

hn_front

Sensor-Language-Action Models

센서 관측 데이터와 자연어, 행동을 통합하는 단일 모델을 제안하여 지각과 행동 사이의 간극을 해소합니다. 언어를 의미적 인터페이스로 활용함으로써 이질적인 행동을 예측하고 설명할 수 있으며 센서의 의사결정 능력을 확장했습니다.

hf_papers

ayghri/i-have-adhd

코딩 에이전트가 핵심 답변을 놓치는 문제를 해결하기 위해 개발된 ADHD 친화적 출력 방식의 기술입니다.

gh_trending

Harness-Aware Distillation for Small Language Model Agents

작은 언어 모델 에이전트를 위한 하네스 인식 디스틸레이션 기법을 소개합니다. 소프트웨어 환경인 하네스가 처리하지 못하는 교사만의 고유 능력을 집중적으로 학습하도록 하여 효율적인 지식 이전을 가능하게 합니다.

hf_papers