#agenticproving — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #agenticproving, aggregated by home.social.
-
🎩✨ Welcome to the future, where you too can pretend to understand math by having a "terminal AI" convert your problems into an incomprehensible Lean 4 proof! 🤖📚 Who needs actual comprehension when you can just throw #buzzwords like "agentic proving" and "Obsidian knowledge graph" into the void and hope for the best? 🚀
https://math-ai-org.github.io/mathcode/ #terminalAI #agenticProving #Lean4 #knowledgeGraph #HackerNews #ngated -
🎩✨ Welcome to the future, where you too can pretend to understand math by having a "terminal AI" convert your problems into an incomprehensible Lean 4 proof! 🤖📚 Who needs actual comprehension when you can just throw #buzzwords like "agentic proving" and "Obsidian knowledge graph" into the void and hope for the best? 🚀
https://math-ai-org.github.io/mathcode/ #terminalAI #agenticProving #Lean4 #knowledgeGraph #HackerNews #ngated -
🎩✨ Welcome to the future, where you too can pretend to understand math by having a "terminal AI" convert your problems into an incomprehensible Lean 4 proof! 🤖📚 Who needs actual comprehension when you can just throw #buzzwords like "agentic proving" and "Obsidian knowledge graph" into the void and hope for the best? 🚀
https://math-ai-org.github.io/mathcode/ #terminalAI #agenticProving #Lean4 #knowledgeGraph #HackerNews #ngated -
🎩✨ Welcome to the future, where you too can pretend to understand math by having a "terminal AI" convert your problems into an incomprehensible Lean 4 proof! 🤖📚 Who needs actual comprehension when you can just throw #buzzwords like "agentic proving" and "Obsidian knowledge graph" into the void and hope for the best? 🚀
https://math-ai-org.github.io/mathcode/ #terminalAI #agenticProving #Lean4 #knowledgeGraph #HackerNews #ngated -
🎩✨ Welcome to the future, where you too can pretend to understand math by having a "terminal AI" convert your problems into an incomprehensible Lean 4 proof! 🤖📚 Who needs actual comprehension when you can just throw #buzzwords like "agentic proving" and "Obsidian knowledge graph" into the void and hope for the best? 🚀
https://math-ai-org.github.io/mathcode/ #terminalAI #agenticProving #Lean4 #knowledgeGraph #HackerNews #ngated