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

Published 11 hours ago

Source: hnrss.org

Article URL: https://mathstodon.xyz/@tao/115855840223258103

Comments URL: https://news.ycombinator.com/item?id=46560445

Points: 436

# Comments: 248

Read Original Article

Related Articles from hnrss.org

CDC staff 'blindsided' as child vaccine schedule unilaterally overhauled

Oh My Zsh adds bloat

Microsoft revealed as company behind controversial data center proposal in MI

OLED, Not for Me

Maine's black market for baby eels

USDA suspends federal financial awards to Minnesota and Minneapolis