PR #1000 for verifiers is a big milestone. The open-source RL community keeps shipping!
MACHINE LEARNING
-
Open Source Self-Driving: Underrated AI Progress
By
–
Open source self-driving is one of the most underrated AI projects out there. Love following the progress!
-
LLMs ignore source credibility but fix is possible, says paper
By
–
LLMs are oblivious to the fact that some sources are more credible than others, but that’s an eminently fixable problem: https://
homes.cs.washington.edu/~pedrod/papers
/iswc03.pdf
… -
Aletheia Autonomous Math Research Begins New Era AI Discovery
By
–
This is just the beginning for #Aletheia and autonomous math research. We’re excited to keep pushing the boundaries in AI for knowledge discovery responsibly and transparently! Thanks to the #FirstProof team for a brilliant challenge! 🚀 Learn more about Aletheia here: nitter.net/lmthang/status/2026689…
-
OpenAI and Google DeepMind Compete on Mathematics
By
–
Key Excerpt: "OpenAI claims it answered half… while Google DeepMind scored 6/10… Google's #Aletheia uses a computationally intensive Gemini paired with a verification algorithm… mathematicians are still impressed." Article (paywalled): newscientist.com/article/251… [Translated from EN to English]
-
Math Agent Aletheia Featured in FirstProof Challenge by New Scientist
By
–
“Mathematics is undergoing the biggest change in its history.” Glad to see our math agent #Aletheia featured by @newscientist on its results at the FirstProof inaugural challenge, alongside other interesting milestones in AI for Math research! Implications worth thinking about. Link in thread.
-
Comparing AI for coding and general tasks
By
–
Which AI is better? Anthropic? Google? OpenAI? For coding and general tasks. Report:
-
Integrating Modern Data Platforms Into Electronic Health Records Systems
By
–
The Benefits of Integrating a Modern Data Platform Into the EHR #AI #AIio #AIInnovation #ML #DataScience #Futureofwork @HaroldSinnott @fogoros @iainljbrown @NandoDF @katecrawford @drhassanrashidi @YuHelenYu ow.ly/vnQn30sTyFg
→ View original post on X — @terence_mills, 2026-03-10 21:00 UTC
-
Neurosymbolic AI and LeCun’s New Company: Is There Anything New?
By
–
And it’s also neurosymbolic. Is there anything actually new in LeCun’s new company?
-
Montreal Deep Tech Scene Booming with Major AI Company Hires
By
–
Montreal deep tech scene is getting hot!! Many recent hires of Cohere, Mistral, Periodic Labs, Poolside are all based in Montreal. And now, AMI will have an office here 🔥 It's a no-brainer, though. @Mila_Quebec has the highest concentration of deep learning expertise with interdisciplinary connections. Thanks to recent US regulation changes on immigration, no more brain drain! Let's build more in Canada! Yann LeCun (@ylecun) Unveiling our new startup Advanced Machine Intelligence (AMI Labs). We just completed our seed round: $1.03B / 890M€, one the largest seeds ever, probably the largest for a European company. We're hiring! [the background image is the Veil Nebula – a picture I took from my backyard, most appropriate for an unveiling] More details here: techcrunch.com/2026/03/09/ya… — https://nitter.net/ylecun/status/2031268686984527936#m
→ View original post on X — @hugo_larochelle, 2026-03-10 20:55 UTC