Yc

Google DeepMind의 AlphaProof Nexus는 Science에 발표된 연구에 따르면 수십 개의 미해결 수학 문제를 풀었으며, 그중 9개의 Erdős 문제와 56년 동안 미해결이었던 두 문제를 포함합니다. 이 발표는 OpenAI가 동료 검토 없이 GitHub에 AI 증명을 던져 넣어 불매 운동에 직면한 시점에 나왔습니다.

연구 • The Decoder

생산성

AI 도구 사이에서 복사-붙여넣기를 반복하고 있다면, 클립보드 관리자나 Raycast 같은 도구를 사용하여 작업 흐름을 간소화하세요.

OpenAI는 부호 오류로 핵심 논증이 무효화된 AI 생성 수학 논문 2건을 철회했는데, 이는 700개 이상의 논문을 한 번에 공개한 지 불과 하루 만에 일어난 일입니다. 인간 수학 협회는 보이콧을 촉구하고 있으며, 필즈상 수상자 테렌스 타오는 AI 생성 증명의 품질에 대해 경고했습니다.

AI Research • Hacker News