참고Reddit
오픈AI, AI 생성 수학 증명 400여 건 공개 예정…수학 연구의 패러다임 변화 예고
AI가 수학적 발견을 주도하는 시대가 도래. 연구자들은 인간의 역할이 '증명'에서 '이해'로 이동하고 있음에 주목해야 함.
원문 제목 UT Austin Math Chair Francesco Maggi says OpenAI appears to be preparing to release ~400 AI-generated proofs at once, mathematics is approaching a point where discovery is no longer the scarce part; human understanding is
원문 보기 ↗