make "Segment Anything" 8x faster by just using PyTorch's more advanced features. No C++, no custom extensions. great post (and work) by @cpuhrsch and the team!
OPEN SOURCE
-
LeanDojo Open-Source LLM for Certified Mathematical Theorem Proving
By
–
We have precisely done that. Our Leandojo is the first open-source LLM for theorem proving: so 100% accurate and certified proofs of math theorems. We will soon be launching the co-pilot as well at Neurips. Stay tuned. https://
leandojo.org -
EU AI Act: Balancing Risk Mitigation and Open Competition
By
–
Great piece by @arthurmensch on EU AI Act:
– What's good: Thinking about the risk of different AI applications/products and mitigating that – What's very bad: Hampering basic foundation model technology because of vague fears and in ways that hamper open-source & competition -
Mistral’s EU AI Act Position: Regulate Products Not Technology
By
–
Mistral's official stance on the EU AI Act.
TL;DR: regulate products, don't regulate technology.
Promote open source foundational models.
At the very least, don't regulate them in ways that favor incumbents. -
AI Regulation: Protecting Open Source Development at WEF
By
–
I spoke at WEF and APEC this week about AI regulation. My message: Governments should not outlaw open source software or pass regulations that stifle open source development. More details, including the complex forces at play, in The Batch below:
-
LoRAX: Open-Source Architecture for Serving 100s Fine-Tuned LLMs
By
–
Today, we're excited to share that LoRAX—a novel architecture for dynamically #serving 100s of fine-tuned #LLMs on a single GPU—is now open-source and free to use! • Blog: https://
pbase.ai/49HyM9m
• GitHub: https://
pbase.ai/47bbFlY
• Discord: https://
pbase.ai/49wEBGC -
OpenAI Ranks 12th on GitHub by Repository Stars
By
–
Cool stat, @OpenAI is the #12 GitHub org in the world based on the number of stars on our public repos We are just slightly behind @GitHub itself. Lots more interesting open source projects to come!!
-
Drupal’s Community Impact Through Open Web Movement Participation
By
–
3. Community listening through participation in the open web movement will help contextualize Drupal’s place and influence. Learn more here https://
palantir.net/blog/beyond-co
de-drupal-s-community-impact-and-possibilities
… #drupal -
Regulating Critical AI Products While Protecting Open Source Technology
By
–
Product deployment should be regulated, particularly if they are life critical, like driving assistance.
But basic technology, particularly open source code and scientific information should not be regulated out of existence because of some fantasized risk.