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.
AI
-
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
-
Edge Computing 101: AI and Accelerated Computing Webinar
By
–
Get closer to the edge: Register for our #Retail Edge Computing 101 webinar on November 9 for a full introduction from the leader in #AI and accelerated computing. https://
nvda.ws/3Nb6byD -
Webinar on AI, Gender, Stereotypes and Industrial Bias
By
–
The #webinar "Industry and AI facing gender, stereotype and bias issues" organized by @DigitAqui and @AerospaceValley will be held on November 15th https://actuia.com/actualite/le-webinaire-lindustrie-et-lia-au-defi-des-questions-de-genre-stereotype-et-biais-organise-par-digital-aquitaine-et-aerospace-valley-se-tiendra-le-15-novembre/
… #AI #artificialintelligence #event #industry @IADataScience -
CottonAce AI pest management impacts 6000 Indian farmers
By
–
In 2021, CottonAce, our AI-powered pest management system, was used by over 6,000 farmers across 60 districts and 10 states in India. Our latest report assesses its on-ground impact during the season and possible opportunities for growth. Download it here: https://
wadhwaniai.org/cottonace_k21 -
Musk Replaces PowerPoint with Tweets: Leadership Communication Evolution
By
–
Bezos famously replaced powerpoint slides with memos.
Looks like Musk is replacing slides with Tweets -
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 -
LLMs Generate Convincing but Wrong Completions Often
By
–
this is an issue I also have with copilot. it often very convincingly pushes for long and beautiful but wrong completions LLM as “internet influencers”: surface form trumps content https://
x.com/shortstein/sta
/shortstein/status/1587857803678748672
… -
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