Live and recent posts from across the Fediverse tagged #aimathematics, aggregated by home.social.
#aimathematics
@ngate not always is AI bad at math:
https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/
#counterproof #lean #aimath #aimathematics
