Mathematics
주제 아카이브 • 3 건
AI 생성: 요약은 링크된 출처를 바탕으로 AI가 작성했습니다. AI 활용 방식
2026-10-07
기술
11개의 정사각형의 최적 포장에 대한 AI 지원 증명이 Lean으로 공식 검증을 통과했다. 완료된 EvolvingPrograms 검증 실행은 모든 7,920개의 로컬 Lean 모듈을 수락했으며, 최종 감사에서는 허용 오류가 0건으로 보고되었다.
AI 연구 • Hacker News
퍼머링크
2026-10-08
기술
OpenAI는 부호 오류로 핵심 논증이 무효화된 AI 생성 수학 논문 2건을 철회했는데, 이는 700개 이상의 논문을 한 번에 공개한 지 불과 하루 만에 일어난 일입니다. 인간 수학 협회는 보이콧을 촉구하고 있으며, 필즈상 수상자 테렌스 타오는 AI 생성 증명의 품질에 대해 경고했습니다.
AI Research • Hacker News
퍼머링크TechCrunch에 따르면, OpenAI의 AI 생성 수학 증명 홍수는 프론티어 연구소가 자문한 수학 연구자 그룹이 설정한 지침에서 벗어났습니다. 회사의 수학적 해결책에 대한 접근 방식은 아직 해당 분야의 기준을 충족하지 못하는 것으로 알려졌습니다.
AI Research • TechCrunch AI
퍼머링크