Same event

  1. Top Mathematicians Warn of AI Race for Proofs
  2. heise+ | Math Proofs by AI: Why Mathematicians Distrust Model Providers

heise+ | Math Proofs by AI: Why Mathematicians Distrust Model Providers

By with∅ut-me 30.09.2026 at 15:36 Uhr Research & Discoveries Artificial Intelligence
TL;DR AI-generated OpenAI reportedly invested significant resources to solve the Navier-Stokes equations, a mathematical problem unproven for 90 years. This was apparently done to preempt two human mathematicians, one of whom works for Anthropic.

Source: heise.de

0 votes

Same event

  1. Top Mathematicians Warn of AI Race for Proofs
  2. heise+ | Math Proofs by AI: Why Mathematicians Distrust Model Providers

Discussion

Log in to join the discussion.

No comments yet. Be the first!