Leiden Declaration on Artificial Intelligence and Mathematics

(lms.ac.uk)

41 points by _____k2 hours ago

2 comments

  • amelius0 minutes ago
    Use AI to find new ideas. Then use formal systems to validate them. You can even use AI to write formal proofs.
  • r7212 hours ago
    Previous discussions:<p><a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=48380670">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=48380670</a> (84 comments)<p><a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=48382052">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=48382052</a> (357 comments)