#vetting — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #vetting, aggregated by home.social.
-
Intriguing 🤔:
“We’re Gonna Need A Lot More Mathematicians”, Amit Sahai via Terence Tao (https://terrytao.wordpress.com/2026/09/24/were-gonna-need-a-lot-more-mathematicians/).
Via HN: https://news.ycombinator.com/item?id=49852717
#AI #LLMs #Mathematics #Math #Research #TheoremProving #Mathematicians #Vetting #ArtificialIntelligence