As AI keeps improving, mathematicians struggle to foretell their own future
In the ongoing campaign by artificial intelligence companies to take over pure mathematics, another round is commencing. The team behind First Proof, an effort to benchmark the ability of large language models (LLMs) to contribute to research-level mathematics, has announced its next exam. For this second round, which it plans to roll out over the…
