Terence Tao @tao@mathstodon.xyz
Public

This experiment (authored by several well-known mathematicians) revives an archaic practice (last seen in the era of Gauss) of posting encrypted proofs before revealing them: arxiv.org/abs/2602.05192 . Here, the challenge is to see whether 10 research-level problems (that arose in the course of the authors research) are amenable to modern AI tools within a fixed time period (until Feb 13).

The problems appear to be out of reach of current "one-shot" AI prompts, but were solved by human domain experts, and would presumably a fair fraction would also be solvable by other domain experts equipped with AI tools. They are technical enough that a non-domain-expert would struggle to verify any AI-generated output on these problems, so it seems quite challenging to me to have such a non-expert solve any of these problems, but one could always be surprised. It will be interesting to see if there were any notable outcomes to this experiment by the expiration of the time linit.

arXiv logo

First Proof

To assess the ability of current AI systems to correctly answer research-level mathematics questions, we share a set of ten math questions which have arisen naturally in the research process of the authors. The questions had not been shared publicly until now; the answers are known to the authors of the questions but will remain encrypted for a short time.

arxiv.org · arXiv.org

0
0
0

If you have a fediverse account, you can quote this note from your own instance. Search https://mathstodon.xyz/users/tao/statuses/116022211452443707 on your instance and quote it. (Note that quoting is not supported in Mastodon.)