We’ve made our model available through the Lean VSCode plugin to allow researchers to explore the capabilities within the Lean environment. We hope you’ll build on this work as part of our shared pursuit of rapid progress in this exciting field.
INNOVATION
-
HyperTree Proof Search Advances Neural Theorem Solving
By
–
Using HyperTree Proof Search we created a new neural theorem solver that was able to solve 5x more International Math Olympiad problems than any previous AI system & best previous state-of-the-art systems on miniF2F & Metamath.
— AI at Meta (@AIatMeta) 3 novembre 2022
More in our new post ⬇️Using HyperTree Proof Search we created a new neural theorem solver that was able to solve 5x more International Math Olympiad problems than any previous AI system & best previous state-of-the-art systems on miniF2F & Metamath. More in our new post
-
Automation and Cybersecurity Drive Ops Efficiency and Sustainability
By
–
With #Ops reporting #alert fatigue & need to find #data nugget not the noise! this comprehensive #automation approach is huge with #CyberSecurity protection embedded. Equally #cloud #container efficiency supports #Sustainability ! #CVConnections22 #partner #innovation #AI #IoT
-
Metallic Dashboard: Clean Simple Accessible Infrastructure Platform
By
–
Metallic Difference! Here's @metallic_io Dashboard 1 Place, 4 Pillars!
Clean
Simple
Consistent
Accessible to all workloads #Apps docs & more!
And with #ZeroSecurity #infrastructure to deploy #SaaS is easy 🙂 #CVConnections22 #commvaultinfluencer #AI #100DaysOfCode -
Meta Unveils ESM Metagenomic Atlas with 617 Million Structures
By
–
Meta presents "ESM Metagenomic Atlas", a database of 617 million metagenomic protein structures https://actuia.com/actualite/meta-presente-esm-metagenomic-atlas-une-base-de-donnees-de-617-millions-de-structures-proteiques-metagenomiques/
… #AI #artificialintelligence
@Meta -
AI21 Labs at IL Cloud Summit: Large Language Models and AI Fortune Teller
By
–
Come visit us at the upcoming IL Cloud Summit on November 9th!
— AI21 Labs (@AI21Labs) 3 novembre 2022
We'll be discussing a topic that has been gaining plenty of traction – large language models.
Be sure to stop by our booth as well to experience the magic of our AI fortune teller 🔮✨ pic.twitter.com/OqM3ldylKZCome visit us at the upcoming IL Cloud Summit on November 9th! We'll be discussing a topic that has been gaining plenty of traction – large language models. Be sure to stop by our booth as well to experience the magic of our AI fortune teller
-
Visual Iteration Over Text Prompts for AI Image Generation
By
–
Sometimes it's difficult to put the look&feel of what you're after into text. You end up re-rolling results over and over again, looking for the needle in a haystack. stableboost flips it around – you create a large haystack of variations, then narrow in on the needle visually.
-
Mini Suri on AI’s Transformative Impact on Healthcare
By
–
Mini Suri, Co-founder and CEO of Velmeni, talks about why AI will transform the healthcare industry on the @StoriesinAI podcast. Be sure to watch the full episode, as it is very insightful!https://t.co/GYxAVGlRcs#ai #technology pic.twitter.com/Q9lKuuCr1N
— Ganesh💰Padmanabhan ⚕️🦾 (@_ganeshp) 2 novembre 2022Mini Suri, Co-founder and CEO of Velmeni, talks about why AI will transform the healthcare industry on the @StoriesinAI podcast. Be sure to watch the full episode, as it is very insightful! https://
youtu.be/Qlulky5paKA #ai #technology -
Powerful AI Systems Will Fundamentally Reshape Tech Products and Industries
By
–
Increasingly powerful AI systems will fundamentally change how tech products work, create new categories, and restructure entire industries. Starting with a clean slate is good. @bradlightcap and I will do a Twitter AMA about this on Friday at 1 pm PT!
-
OpenAI Launches Converge Fund for AI-Powered Startups
By
–
The OpenAI Startup Fund is launching Converge ($1M and advice) to help AI-powered startups. I can't think of a more interesting time to start a startup in recent memory. https://
openai.fund/news/introduci
ng-converge
… Our best is that startups are best-positioned to win here given the rate of change.