UT Austin 수학과 학과장, OpenAI가 400개의 AI 생성 증명 발표 준비 중이라고 밝혀UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs▲ 2 · twitter.com · 6일 전 · 0 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…