https://stories.geovanylaguerre.net 2026-10-28T02:36:43.172Z weekly 1 https://stories.geovanylaguerre.net/laboratory 2026-10-28T02:36:43.172Z monthly 0.7 https://stories.geovanylaguerre.net/programs 2026-10-28T02:36:43.172Z monthly 0.7 https://stories.geovanylaguerre.net/projects 2026-10-28T02:36:43.172Z monthly 0.7 https://stories.geovanylaguerre.net/stories 2026-10-28T02:36:43.172Z monthly 0.7 https://stories.geovanylaguerre.net/artifacts 2026-10-28T02:36:43.172Z monthly 0.7 https://stories.geovanylaguerre.net/stories/when-the-proof-assistant-started-guessing-ai-s-quiet-reshaping-of-mathematical-practice 2026-10-24T00:00:00.000Z monthly 0.8