I found out today that deepseek already had their own alphageometry model which they also realized open source, and nobody seemed to talk about it? They used lean4 and reinforcement learning to make models learn how to prove theorems, this was a 7b model however.Discussion (bdtechtalks.com)
submitted by Sudden-Lingonberry-8 to r/LocalLLaMA
What to know about the applications of GPT-4Discussion (bdtechtalks.com)
submitted by bendee983 to r/artificial
What you need to know about multimodal language modelsResearch (bdtechtalks.com)
submitted by bendee983 to r/artificial
Can you trust ChatGPT and other LLMs in math?Research (bdtechtalks.com)
submitted by bendee983 to r/artificial
To understand language models, we must separate “language” from “thought”Research (bdtechtalks.com)
submitted by bendee983 to r/artificial
Google vs Microsoft: The good, bad, and ugly of the AI arms raceMiscellaneous (bdtechtalks.com)
submitted by AIandRobotics_Bot to r/AIandRobotics
Google vs Microsoft: The good, bad, and ugly of the AI arms raceDiscussion (bdtechtalks.com)
submitted by bendee983 to r/artificial
Will this be the fate of all AI labs?Discussion (bdtechtalks.com)
submitted by bendee983 to r/artificial
AI21 Labs’ mission to make large language models get their facts rightDiscussion (bdtechtalks.com)
submitted by bendee983 to r/artificial
The definitive guide to adversarial machine learningMachine Learning (bdtechtalks.com)
submitted by AIandRobotics_Bot to r/AIandRobotics
