Resolution criteria

This market will resolve to "Yes" if, by December 31, 2027, Terence Tao publishes a paper in which he explicitly acknowledges that a result was solved by artificial intelligence (AI) prior to his publication. The acknowledgment must be verifiable through the paper's content or accompanying statements. If no such publication is made by the specified date, the market will resolve to "No."

Background

Terence Tao is a renowned mathematician known for his contributions across various fields, including harmonic analysis, partial differential equations, and number theory. (terrytao.wordpress.com) In recent years, AI systems have made significant strides in solving complex mathematical problems. For instance, in 2024, Google DeepMind's AI systems, AlphaProof and AlphaGeometry 2, achieved performance comparable to silver medalists in the International Mathematical Olympiad. (reuters.com) Additionally, OpenAI's "Strawberry" series of AI models, introduced in 2024, demonstrated enhanced reasoning capabilities, solving complex problems in science, coding, and mathematics. (reuters.com)

Considerations

While AI has shown promise in solving mathematical problems, its role in producing original research results that are subsequently acknowledged by leading mathematicians like Terence Tao remains to be seen. The integration of AI in mathematical research is an evolving field, and the extent to which AI-generated results will be recognized in formal academic publications is still developing.

• Update 2025-05-28 (PST) (AI summary of creator comment): The terms result and AI for this market are clarified as follows:

  • Result: A complete proof of some lemma, proposition, or theorem.

  • AI: A software capable of generating proofs automatically. Examples include LLMs and systems like AlphaProof.