[일반] 올해 발표될 제미니 2.0이 더 기대되는 이유

[익명(211.59)]

알파 기하학 추가 예정

[익명(220.72)]

Oai일해야겠지?

[익명(shore1232)]

알파기하 저거 유클리드기하, 그것도 imo 스타일 문제 특화던데 공리적인 추론이 가능했으면 좋겠음. 유클리드 공준 주면 기하학의 기본성질 바로 추론하는 식으로