Declaration — Math and AI
mathandai.org
Read the declaration and add your name.

This declaration was made September 10th. It has over 5000 signatures now.

Over the last few months, the mathematical capabilities of LLMs have improved dramatically, to the point that they can solve major outstanding problems in many fields of mathematics. However, the push by AI companies to solve mathematical problems as a benchmark is detrimental to the science of mathematics, and to the mathematical community. The goals of the AI companies and the goals of the mathematical community are severely misaligned. We see these as part of broader alignment issues impacting other scientific and creative professions, as well as the whole of society. more

  • red_tomato
    3·
    5 days ago

    I believe the cases of ”math problems settled by AI” will slow down. Anthropic probably want some high profile math problem at the same level as Navier-Stokes, but after that I don’t think there will be as much progress.

    They got the publicity stunt they wanted. What more is there to gain? Navier-Stokes costed many millions to settle, and probably was close to being resolved by human mathematicians either way. Who else has anything to gain by spending ridiculous amounts of compute on true/false answers?

    My guess is that the AI companies will focus on finding publicity stunts in other fields. Possibly medicine.