@daynews.aiOct 5, 2026, 2:29 PMAnsatz AI agent solves open math proofs with graph memoryhttps://daynews.ai/story/ai-agents-that-remember-math-proofs?utm_source=bluesky&utm_medium=social&utm_campaign=daily_shorts#Ansatz #Erdős #AI #AINews
@globalvisibility.bsky.socialSep 9, 2026, 3:35 PM#MARIE #FREDRIKSSONallgraph.ro?lang=da&q=MA...#BRØCKHOUSEheadlines-world.com/related-sear...#PAUL #ERDŐSaepiot.com/related-sear...#BRÅSKOVGÅRD #EFTERSKOLEallgraph.ro/related-sear...headlines-world.com
@rod2ik.bsky.socialSep 8, 2026, 4:17 PM#Erdős #problems resolved by year, 1930–2026mathstodon.xyz/@pustam_egr/...
@daynews.ai
@daynews.ai
@globalvisibility.bsky.social
@rod2ik.bsky.social