OpenAI 的數學證明尚未達到領域標準
openai 發布 719 個數學解決方案，但只有 42% 被形式化，引發人們對人類理解和責任的擔憂。
openai released 719 math solutions, claiming to have consulted an advisory group of elite mathematicians. however, the solutions fell short of the field's standards, particularly in human understanding of mathematical results. only 42% of proofs were formalized, and just 10 included the model's chain of thought. the advisory group had requested that openai stop testing advanced mathematical problems on proprietary models and include machine-readable metadata correlating natural language and formal artifacts. openai did not follow these recommendations, sparking concerns about responsibility and human involvement in math problem-solving.