101010.pl is one of the many independent Mastodon servers you can use to participate in the fediverse.
101010.pl czyli najstarszy polski serwer Mastodon. Posiadamy wpisy do 2048 znaków.

Server stats:

487
active users

#symbolicAi

0 posts0 participants0 posts today
Dr. Anna Latour<p>Hi everyone,</p><p>I feel like a re-introduction is long overdue!</p><p>My name is Anna, and I'm an assistant professor of Algorithmics at the Delft University of Technology, specialising in combinatorial optimisation, symbolic AI, constraint programming, propositional model counting, operations research and reasoning under uncertainty.</p><p>I'm a nerd, a feminist and a traveller, not always in that order.</p><p>In my spare time I like to hike and go geocaching. I try to go swing dancing a few times a week. I am a Trekkie. I want to learn how to draw. I am an Indomie and Obsidian enthusiast. Based in the Netherlands, I miss Belgium, Canada and Singapore.</p><p>Since a job in academia somehow always is personal, I have chosen to mix professional interactions with the more personal ones on this platform. At least for now. Obviously, my opinions do not necessarily reflect those of my employer yadiyadiyada.</p><p>Hope to keep interacting with you all!</p><p><a href="https://mathstodon.xyz/tags/Introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Introduction</span></a> <a href="https://mathstodon.xyz/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AcademicMastodon</span></a> <a href="https://mathstodon.xyz/tags/Algorithmics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Algorithmics</span></a> <a href="https://mathstodon.xyz/tags/SymbolicAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SymbolicAI</span></a> <a href="https://mathstodon.xyz/tags/CombinatorialOptimisation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CombinatorialOptimisation</span></a> <a href="https://mathstodon.xyz/tags/ConstraintProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ConstraintProgramming</span></a> <a href="https://mathstodon.xyz/tags/ModelCounting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ModelCounting</span></a> <a href="https://mathstodon.xyz/tags/OperationsResearch" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OperationsResearch</span></a> <a href="https://mathstodon.xyz/tags/ProbabilisticInference" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProbabilisticInference</span></a> <a href="https://mathstodon.xyz/tags/Geocaching" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Geocaching</span></a> <a href="https://mathstodon.xyz/tags/LindyHop" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LindyHop</span></a> <a href="https://mathstodon.xyz/tags/Jazz" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Jazz</span></a> <a href="https://mathstodon.xyz/tags/SwingDancing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SwingDancing</span></a> <a href="https://mathstodon.xyz/tags/Hiking" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Hiking</span></a> <a href="https://mathstodon.xyz/tags/Obsidian" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Obsidian</span></a> <a href="https://mathstodon.xyz/tags/StarTrek" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>StarTrek</span></a> <a href="https://mathstodon.xyz/tags/Travel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Travel</span></a> <a href="https://mathstodon.xyz/tags/TUDelft" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TUDelft</span></a> <a href="https://mathstodon.xyz/tags/MastoMiGoreng" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MastoMiGoreng</span></a> <a href="https://mathstodon.xyz/tags/Indomie" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Indomie</span></a> <a href="https://mathstodon.xyz/tags/GNUTerryPratchett" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GNUTerryPratchett</span></a> <a href="https://mathstodon.xyz/tags/Catstodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Catstodon</span></a> <a href="https://mathstodon.xyz/tags/Mastocats" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mastocats</span></a> <a href="https://mathstodon.xyz/tags/Caturday" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Caturday</span></a> <a href="https://mathstodon.xyz/tags/ExpatLife" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExpatLife</span></a> <a href="https://mathstodon.xyz/tags/MakanApaToda" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MakanApaToda</span></a></p>
Miguel Afonso Caetano<p>Gary Marcus is onto something in here. Maybe true AGI is not so impossible to reach after all. Just probably not in the near future but likely within 20 years. </p><p>"For all the efforts that OpenAI and other leaders of deep learning, such as Geoffrey Hinton and Yann LeCun, have put into running neurosymbolic AI, and me personally, down over the last decade, the cutting edge is finally, if quietly and without public acknowledgement, tilting towards neurosymbolic AI.</p><p>This essay explains what neurosymbolic AI is, why you should believe it, how deep learning advocates long fought against it, and how in 2025, OpenAI and xAI have accidentally vindicated it.</p><p>And it is about why, in 2025, neurosymbolic AI has emerged as the team to beat.</p><p>It is also an essay about sociology.</p><p>The essential premise of neurosymbolic AI is this: the two most common approaches to AI, neural networks and classical symbolic AI, have complementary strengths and weaknesses. Neural networks are good at learning but weak at generalization; symbolic systems are good at generalization, but not at learning."</p><p><a href="https://garymarcus.substack.com/p/how-o3-and-grok-4-accidentally-vindicated" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">garymarcus.substack.com/p/how-</span><span class="invisible">o3-and-grok-4-accidentally-vindicated</span></a></p><p><a href="https://tldr.nettime.org/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://tldr.nettime.org/tags/NeuralNetworks" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NeuralNetworks</span></a> <a href="https://tldr.nettime.org/tags/DeepLearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DeepLearning</span></a> <a href="https://tldr.nettime.org/tags/SymbolicAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SymbolicAI</span></a> <a href="https://tldr.nettime.org/tags/NeuroSymbolicAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NeuroSymbolicAI</span></a> <a href="https://tldr.nettime.org/tags/AGI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AGI</span></a></p>
Dr. Anna Latour<p>I am hiring!</p><p>I have a fully funded PhD position available for someone with an interest in logic and statistics, at Delft University of Technology (Netherlands).</p><p>Application deadline: 31 August 2025</p><p><a href="https://careers.tudelft.nl/job/Delft-PhD-Position-Symbolic-AI-and-Reasoning-Under-Uncertainty-2628-CD/824585702/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">careers.tudelft.nl/job/Delft-P</span><span class="invisible">hD-Position-Symbolic-AI-and-Reasoning-Under-Uncertainty-2628-CD/824585702/</span></a></p><p><a href="https://mathstodon.xyz/tags/AcademicJobs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AcademicJobs</span></a> <a href="https://mathstodon.xyz/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AcademicMastodon</span></a> <a href="https://mathstodon.xyz/tags/GetFediHired" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GetFediHired</span></a> <a href="https://mathstodon.xyz/tags/AcademicJob" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AcademicJob</span></a> <a href="https://mathstodon.xyz/tags/SymbolicAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SymbolicAI</span></a> <a href="https://mathstodon.xyz/tags/Statistics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Statistics</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/ConstraintProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ConstraintProgramming</span></a> <a href="https://mathstodon.xyz/tags/CombinatorialOptimisation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CombinatorialOptimisation</span></a> <a href="https://mathstodon.xyz/tags/SensitivityAnalysis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SensitivityAnalysis</span></a> <a href="https://mathstodon.xyz/tags/FormalMethods" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalMethods</span></a> <a href="https://mathstodon.xyz/tags/CombinatorialOptimization" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CombinatorialOptimization</span></a> <a href="https://mathstodon.xyz/tags/Delft" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Delft</span></a> <a href="https://mathstodon.xyz/tags/TUDelft" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TUDelft</span></a> <a href="https://mathstodon.xyz/tags/AcademicChatter" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AcademicChatter</span></a></p>
Eki<p>Et si l’IA ne volait pas nos jobs… mais notre singularité ?</p><p>Merci @Framasoft &amp; @hubertguillaud pour ce miroir lucide.</p><p>Avec KENTA, on tente l’inverse : un moteur symbolique, offline et éthique, qui relie au lieu de trier.</p><p>Plutôt que d’évaluer, il révèle.</p><p>Pour que la tech redevienne un compagnon de sagesse — pas un juge algorithmique.</p><p><a href="https://mastodon.top/tags/IA%C3%A9thique" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IAéthique</span></a> <a href="https://mastodon.top/tags/SymbolicAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SymbolicAI</span></a> <a href="https://mastodon.top/tags/Recrutement" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Recrutement</span></a> <a href="https://mastodon.top/tags/TechnologieHumaine" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TechnologieHumaine</span></a></p>
Harald Sack<p>Today together with Torsten Schrade in the NFDITalk on "Knowledge Graph Kitchen - An integrated ETL environment for decentralized research data integration"</p><p>presentation slides: <a href="https://zenodo.org/records/14261258" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">zenodo.org/records/14261258</span><span class="invisible"></span></a><br>video recording: <a href="https://www.youtube.com/watch?v=T8tWa4OcoMc" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=T8tWa4OcoM</span><span class="invisible">c</span></a></p><p><span class="h-card" translate="no"><a href="https://nfdi.social/@NFDI" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>NFDI</span></a></span> <span class="h-card" translate="no"><a href="https://nfdi.social/@nfdi4culture" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>nfdi4culture</span></a></span> <span class="h-card" translate="no"><a href="https://nfdi.social/@NFDI4DS" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>NFDI4DS</span></a></span> <a href="https://sigmoid.social/tags/NFDIMatWerk" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NFDIMatWerk</span></a> <span class="h-card" translate="no"><a href="https://nfdi.social/@mardi" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>mardi</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@tabea" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>tabea</span></a></span> <span class="h-card" translate="no"><a href="https://fosstodon.org/@heikef" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>heikef</span></a></span> <span class="h-card" translate="no"><a href="https://blog.epoz.org/" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>epoz</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@sourisnumerique" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>sourisnumerique</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@joerg" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>joerg</span></a></span> <a href="https://sigmoid.social/tags/ontologies" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ontologies</span></a> <a href="https://sigmoid.social/tags/knowledgegraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>knowledgegraphs</span></a> <a href="https://sigmoid.social/tags/symbolicAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>symbolicAI</span></a> <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://sigmoid.social/tags/rdm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rdm</span></a> <span class="h-card" translate="no"><a href="https://sigmoid.social/@fizise" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>fizise</span></a></span> <span class="h-card" translate="no"><a href="https://wisskomm.social/@fiz_karlsruhe" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>fiz_karlsruhe</span></a></span></p>
FIZ ISE Research Group<p>Our colleague <span class="h-card" translate="no"><a href="https://fedihum.org/@sourisnumerique" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>sourisnumerique</span></a></span> at her presentation of "One Pattern to Express Them All? Towards Generalised Patterns for Ontology Design in the Digital Humanities" at the <a href="https://sigmoid.social/tags/WOP2024" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WOP2024</span></a> workshop on Ontology Design Patterns.</p><p>paper: <a href="https://zenodo.org/records/14063917" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">zenodo.org/records/14063917</span><span class="invisible"></span></a><br>presentation: <a href="https://zenodo.org/records/14063901" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">zenodo.org/records/14063901</span><span class="invisible"></span></a></p><p><span class="h-card" translate="no"><a href="https://wisskomm.social/@fiz_karlsruhe" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>fiz_karlsruhe</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@lysander07" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>lysander07</span></a></span> <a href="https://sigmoid.social/tags/dh" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dh</span></a> <a href="https://sigmoid.social/tags/ontologies" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ontologies</span></a> <a href="https://sigmoid.social/tags/ontologydesign" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ontologydesign</span></a> <a href="https://sigmoid.social/tags/odp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>odp</span></a> <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://sigmoid.social/tags/symbolicAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>symbolicAI</span></a> <a href="https://sigmoid.social/tags/ISWC2024" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ISWC2024</span></a> <a href="https://sigmoid.social/tags/ISWC" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ISWC</span></a> <a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>semanticweb</span></a> <span class="h-card" translate="no"><a href="https://nfdi.social/@NFDI4Memory" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>NFDI4Memory</span></a></span> <span class="h-card" translate="no"><a href="https://nfdi.social/@nfdi4culture" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>nfdi4culture</span></a></span></p>
Chris J. Karr<p>This was an EXTREMELY interesting paper on what modern LLMs can learn from older older symbolic AI / expert system approaches to improve the validity of what those statistical models generate on their own, using the Cyc system as the contrast to the modern systems.</p><p><a href="https://arxiv.org/abs/2308.04445" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2308.04445</span><span class="invisible"></span></a></p><p><a href="https://omgwars.com/tags/Cyc" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cyc</span></a> <a href="https://omgwars.com/tags/DougLenat" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DougLenat</span></a> <a href="https://omgwars.com/tags/SymbolicAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SymbolicAI</span></a> <a href="https://omgwars.com/tags/ExpertSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExpertSystems</span></a> <a href="https://omgwars.com/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://omgwars.com/tags/ChatGPT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ChatGPT</span></a> <a href="https://omgwars.com/tags/Bard" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Bard</span></a> <a href="https://omgwars.com/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://omgwars.com/tags/KnowledgeRepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KnowledgeRepresentation</span></a></p>
µP<p><a href="https://mastodon.social/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ArtificialIntelligence</span></a> programmed in <a href="https://mastodon.social/tags/BASIC" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BASIC</span></a> on the <a href="https://mastodon.social/tags/Commodore64" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Commodore64</span></a> was a common thing. There are several books teaching <a href="https://mastodon.social/tags/symbolicAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>symbolicAI</span></a> algorithms and routines used for <a href="https://mastodon.social/tags/games" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>games</span></a>. It always depends what is understood as <a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> … even some very rudimentary <a href="https://mastodon.social/tags/subsymbolic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>subsymbolic</span></a> AI programs in BASIC are known from the 80s.</p><p><a href="https://youtu.be/6yax2npaDkw" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/6yax2npaDkw</span><span class="invisible"></span></a></p>
Gonzalo Polavieja<p><a href="https://mathstodon.xyz/tags/Introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Introduction</span></a></p><p>I study how collectives of agents (animals, neurons, mathematical structures) can solve problems. </p><p>We also develop AI approaches based on Model Theory and Universal Algebra. They do not use optimization and are very transparent to mathematical analysis.</p><p><a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mathstodon.xyz/tags/algebra" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>algebra</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/types" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>types</span></a> <a href="https://mathstodon.xyz/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComputerScience</span></a></p><p><a href="https://mathstodon.xyz/tags/Neuroscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Neuroscience</span></a>, <a href="https://mathstodon.xyz/tags/CollectiveBehavior" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CollectiveBehavior</span></a> <a href="https://mathstodon.xyz/tags/CollectiveIntelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CollectiveIntelligence</span></a></p><p><a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/ComputerVision" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComputerVision</span></a> <br><a href="https://mathstodon.xyz/tags/SymbolicAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SymbolicAI</span></a> <br><a href="https://mathstodon.xyz/tags/CognitiveSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CognitiveSystems</span></a><br><a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ArtificialIntelligence</span></a></p>
Gonzalo Polavieja<p><a href="https://mastodon.social/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>introduction</span></a> </p><p>I think about how a collective of agents (animals, neurons, mathematical structures) can solve problems. I am also interested in what it means to produce a good model and an understanding of something.</p><p>I am excited to be here to learn and discuss. </p><p><a href="https://mastodon.social/tags/Neuroscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Neuroscience</span></a>, <a href="https://mastodon.social/tags/CollectiveBehavior" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CollectiveBehavior</span></a> <a href="https://mastodon.social/tags/CollectiveIntelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CollectiveIntelligence</span></a></p><p><a href="https://mastodon.social/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComputerScience</span></a></p><p><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://mastodon.social/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mastodon.social/tags/algebra" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>algebra</span></a> <a href="https://mastodon.social/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mastodon.social/tags/types" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>types</span></a> </p><p><a href="https://mastodon.social/tags/machinelearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>machinelearning</span></a> <a href="https://mastodon.social/tags/computervision" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>computervision</span></a> <br><a href="https://mastodon.social/tags/symbolicAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>symbolicAI</span></a> <br><a href="https://mastodon.social/tags/CognitiveSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CognitiveSystems</span></a><br><a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mastodon.social/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ArtificialIntelligence</span></a></p>
sofia ☮️🏴<p>another great <a href="https://chaos.social/tags/MIRI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MIRI</span></a> <a href="https://chaos.social/tags/talk" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>talk</span></a> about the "open source prisoners dilemma" (playing one-shot prisoners dilemma with machine agents that have access to each other's source code):</p><p><a href="https://invidio.us/watch?v=WG_Krd-wGM4" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="">invidio.us/watch?v=WG_Krd-wGM4</span><span class="invisible"></span></a></p><p><a href="https://chaos.social/tags/symbolicAi" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>symbolicAi</span></a> <a href="https://chaos.social/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ai</span></a> <a href="https://chaos.social/tags/gameTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gameTheory</span></a></p>
sofia ☮️🏴<p><a href="https://chaos.social/tags/MIRI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MIRI</span></a> has some great talks online, such as this one about the 'current' (2016 anyway 😅) state of symbolic AI / problem solvers</p><p><a href="https://invidio.us/watch?v=35BWlvPcYvg" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="">invidio.us/watch?v=35BWlvPcYvg</span><span class="invisible"></span></a></p><p>sadly he doesn't name the systems he's talking about.</p><p><a href="https://chaos.social/tags/symbolicAi" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>symbolicAi</span></a> <a href="https://chaos.social/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ai</span></a> <a href="https://chaos.social/tags/agi" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>agi</span></a></p>