Move faster! Get easy access to the resources that data scientists need, reduce compute spend, and protect data sovereignty, with Domino 5.3 Enterprise #MLOps. See how, in this blog:
MACHINE LEARNING
-
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
-

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 -
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 -

Math Transformer Interpretability and Generalization Research
By
–
What is my math transformer doing? — Three results on interpretability and generalization Charton et al.: https://
arxiv.org/abs/2211.00170 #MachineLearning #DeepLearning #ArtificialIntelligence -

AI Predicts Skin Cancer Recurrence with Machine Learning
By
–
Artificial Intelligence Method Can Help Predict Skin Cancer Recurrence https://
healthitanalytics.com/news/artificia
l-intelligence-method-can-help-predict-skin-cancer-recurrence
… @HITAnalytics #Healthcare #AI #DataScience #Python #Robots #BigData #Analytics #100DaysofCode #IoT #serverless #womenwhocode #DeepLearning #DigitalTransformation #MachineLearning -
Adversarial Policy Defeats KataGo Go AI System 99%
By
–
Befuddling AI Go Systems: MIT, UC Berkeley & FAR AI’s Adversarial Policy Achieves a >99% Win Rate Against KataGo https://
syncedreview.com/2022/11/02/bef
uddling-ai-go-systems-mit-uc-berkeley-far-ais-adversarial-policy-achieves-a-99-win-rate-against-katago/
… -
Iterative approach to building and refining positive datasets
By
–
from my own experience you want something interactive and change your mind around quite a bit. so you're building the positive set, seeing the results, then tweaking your positive set over time. it's an incremental iterative thing.
-
Raw Scalable Intelligence: The Next AI Frontier
By
–
Pretty pictures are cool. But raw, scalable intelligence is on its way.
-
Beyond GPT-3: Next Wave of Superhuman AI Systems
By
–
In a couple of years, we’re going to look back at GPT-3 as a fun toy… The coming waves of AI systems will be smarter than humans in many ways. A different kind of intelligence. It’ll feel alien, yet familiar. And more generally capable than any single person alive today.