기타 기업
Shanghai AI Laboratory
1건 · 최신순
2026년 10월 15일
-
수학자들, 상하이 AI Lab 'Intern-S2'와 협업해 1995년 Ghys 추측의 3차원 경우 증명…Lean으로 검증(보도)
Pandaily에 따르면 수학자들이 상하이 AI Lab의 모델 Intern-S2와 여러 차례 대화를 주고받으며 Étienne Ghys가 1995년에 낸 추측 가운데 여차원(codimension) 1인 경우의 증명을 만들었다. 이후 베이징대 팀이...