What's new by TerryTao
·
数学提炼挑战 – 方程理论
💡
原文英文，约1000词，阅读约需4分钟。
📝
内容提要
数学研究通常由专业数学家解决复杂问题，但与广泛的数学爱好者合作解决简单问题也有效。2024年，我启动了方程理论项目（ETP），结合严谨的形式化与人工智能，解决了2200万个代数真伪问题。我们现在发起实验性挑战，要求参赛者设计“备忘单”，以提高模型在真伪问题上的表现，期望总结出有效的解题技巧，为未来数学问题提供借鉴。
🎯
关键要点
- 数学研究通常由专业数学家解决复杂问题，但与广泛的数学爱好者合作解决简单问题也有效。
- 2024年，启动了方程理论项目（ETP），结合严谨的形式化与人工智能，解决了2200万个代数真伪问题。
- 发起实验性挑战，要求参赛者设计“备忘单”，以提高模型在真伪问题上的表现。
- 挑战的目标是将ETP获得的2200万真伪结果提炼成简短的人类可读的“备忘单”。
- 参赛者需设计大小不超过10千字节的备忘单，以提高模型在真伪问题上的表现。
- 比赛分为两个阶段，第一阶段提交截止日期为4月20日，前1000名提交者将进入第二阶段。
- 希望获胜的提交能够总结出有效的解题技巧，为未来的数学问题提供借鉴。
- SAIR基金会将在未来几个月推出其他更具合作性质的数学挑战。
➡️
