AI 导读
你可以在这里阅读他们的技术报告。 https://t.co/mUHnM3FEaZ 有难题或 AI 求解器？在这里提交给 TRACES - 提交问题：https://t.co/DONvwMyyOU - 提交求解器： https://t.co/eJD9KWI9Gb
正文
You can read more on their technical report here.
https://t.co/mUHnM3FEaZ
Got a hard problem or an AI solver? Submit it to TRACES here
- Submit a Problem: https://t.co/DONvwMyyOU
- Submit a Solver:
https://t.co/eJD9KWI9Gb
来源：@rohanpaul_ai · x.com