Intern S2
주제 아카이브 • 1 건
AI 생성: 요약은 링크된 출처를 바탕으로 AI가 작성했습니다. AI 활용 방식
2026-10-15
기술
연구자들이 Shanghai AI Lab의 Intern-S2 모델을 사용하여 1995년 Ghys 추측의 여차원 1 경우에 대한 증명을 개발했습니다. 여러 차례의 대화를 거친 이 작업은 Peking University 팀에 의해 Lean 증명 보조 도구로 형식화되었습니다.
연구 • Pandaily
퍼머링크