新智元 (微信公众号)T2·68 pts
- Traceability of 722 OpenAI-generated math papers confirms they are built entirely on existing human theoretical frameworks, with no proofs created 'from scratch'.
- The AI references span 11,067 human works and ~9,600 scientists, including 114 recipients of Fields, Abel, or Wolf Prizes.
- Case studies show AI directly employs advanced human mathematical tools like the Fargues-Scholze correspondence and Talagrand's cavity method in geometry and probability.