#aiinmath — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #aiinmath, aggregated by home.social.
-
Ah, the Theo Conjecture! 🤖 When humans can't solve a 35-year-old problem, just let an AI do it and call it "unexpected genius." 🙄 Meanwhile, mathematicians everywhere are having existential crises. 😂
https://firstprinciples.com/blog-article/ai-system-theo-conjecture-solves-35-year-old-math-conjecture #TheoConjecture #AIinMath #UnexpectedGenius #ExistentialCrisis #MathHumor #HackerNews #ngated -
Ah, the Theo Conjecture! 🤖 When humans can't solve a 35-year-old problem, just let an AI do it and call it "unexpected genius." 🙄 Meanwhile, mathematicians everywhere are having existential crises. 😂
https://firstprinciples.com/blog-article/ai-system-theo-conjecture-solves-35-year-old-math-conjecture #TheoConjecture #AIinMath #UnexpectedGenius #ExistentialCrisis #MathHumor #HackerNews #ngated -
Human mathematicians are being outcounterexampled
https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/
Comments: https://news.ycombinator.com/item?id=48983382
#HackerNews #humanmathematics #counterexamples #AIinMath #mathematicians #innovation
-
Human mathematicians are being outcounterexampled
https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/
Comments: https://news.ycombinator.com/item?id=48983382
#HackerNews #humanmathematics #counterexamples #AIinMath #mathematicians #innovation
-
I am deeply disappointed by Terence Tao's uncritical use of AI.
-
I am deeply disappointed by Terence Tao's uncritical use of AI.