coole mijlpaal in AI-wiskunde Aristoteles (een AI-wiskundige) heeft zojuist het probleem van Erdos #124 opgelost, dat bijna 30 jaar openstond. boris alexeev (onderzoekswiskundige) heeft het uitgevoerd op een nieuwe beta van Aristoteles met sterkere redenering + natuurlijke taalinterface, en het produceerde een volledige formele bewijs. best een gekke moment voor AI-theorema bewijzen.