참고Reddit
OpenAI(오픈AI) Dots 에이전트 스웜, 47년 된 수학 난제 증명 성공
에이전트 스웜이 복잡한 수학적 증명 및 검증(Lean) 프로세스를 자율적으로 수행한 사례. 에이전트의 실질적 연구 활용 가능성 제시.
원문 제목 I Used OpenAI Dots as an agent swarm to break a 47 year old math record, for free (with Lean verification of the proof)
원문 보기 ↗