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