EUNO.NEWS EUNO.NEWS
  • All (21181) +146
  • AI (3169) +10
  • DevOps (940) +5
  • Software (11185) +102
  • IT (5838) +28
  • Education (48)
  • Notice
  • All (21181) +146
    • AI (3169) +10
    • DevOps (940) +5
    • Software (11185) +102
    • IT (5838) +28
    • Education (48)
  • Notice
  • All (21181) +146
  • AI (3169) +10
  • DevOps (940) +5
  • Software (11185) +102
  • IT (5838) +28
  • Education (48)
  • Notice
Sources Tags Search
한국어 English 中文
  • 1 week ago · ai

    Erdos problem #728 was solved more or less autonomously by AI

    Article URL: https://mathstodon.xyz/@tao/115855840223258103 Comments URL: https://news.ycombinator.com/item?id=46560445 Points: 129 Comments: 67...

    #Erdos problem #automated theorem proving #AI mathematics #machine learning #symbolic reasoning
  • 1 week ago · ai

    “Erdos problem #728 was solved more or less autonomously by AI”

    Article URL: https://mathstodon.xyz/@tao/115855840223258103 Comments URL: https://news.ycombinator.com/item?id=46560445 Points: 198 Comments: 139...

    #Erdos problem #AI #automated theorem proving #machine learning #mathematics
EUNO.NEWS
RSS GitHub © 2026