· ai
AI models are starting to crack high-level math problems
Since the release of GPT 5.2, AI tools have become inescapable in high-level mathematics....
-
- · 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...
- · it
Cursed circuits #3: true mathematics
Article URL: https://lcamtuf.substack.com/p/cursed-circuits-3-true-mathematics Comments URL: https://news.ycombinator.com/item?id=46351345 Points: 8 Comments: 1...
- · ai
Why Mathematics Is Essential in Machine Learning
Introduction — The Black Box Myth Machine Learning is often presented as an essentially algorithmic discipline: you load data, choose a model, train it, and “i...