AIが数学を解いたって？
Chapters
Show Notes
- Erdős Problem #728 - erdosproblems.com
- Terence Tao on Mathstodon
- AI contributions to Erdős problems - GitHub Wiki
- Aristotle: IMO-level Automated Theorem Proving - arXiv
- The visual system of the Greenland shark - Nature Communications
- Eye-opening research - UC Irvine News
- Dwitter - JavaScript demos in 140 characters
- Dissecting A Dweet - Frank Force
- Google will now only release Android source code twice a year - Android Authority
- Google takes next big leap in killing AOSP - OSnews
- I Cannot SSH Into My Server Anymore - soap.coffee
- Podman Quadlet automatic updates
- Fedora CoreOS Auto-updates - Zincati
