NHacker Next
  • new
  • show
  • ask
  • jobs
  • submit
login
“Erdos problem #728 was solved more or less autonomously by AI”mathstodon.xyz
591 points by cod1r 1 days ago | 335 comments