Thank you @PASC_Conference https://
arxiv.org/abs/2208.05419 Our work was first to do medium-range weather forecasts at 25km spatial resolution with 10^4-10^5 speedups using Fourier neural operators. Recently we added spherical harmonics for stable long rollouts https://
arxiv.org/abs/2306.03838
MACHINE LEARNING
-
Fourier Neural Operators Enable 25km Weather Forecasting
By
–
-
Nvidia dominates AI benchmarks while Intel Habana gains ground
By
–
Nvidia sweeps AI benchmarks, but Intel brings meaningful competition Habana came very close on several tests of 8-way systems. @MLCommons $NVDA $INTC $AMD #AI #MLPerf #GPU #CPU
-
ChatGPT Triggers Push Back On AI
By
–
ChatGPT Triggers Push Back On AI
#AI #AIio #BigData #ML #NLU #Futureofwork http://
ow.ly/hpMa30svSeA -
Machine Learning Reveals Concrete Language Drives Literary Prestige
By
–
Researches used machine learning techniques to analyze hundreds of years of literature to determine what governs prestige. They found that the use of concrete words—“eye”, “black”, “grass” etc.—made a poem much more likely to be reviewed in an established literary journal.
-
LeanDojo Enables AI Co-pilot for Theorem Proving Tasks
By
–
Thanks @AlphaSignalAI LeanDojo allows AI to be co-pilot for theorem proving. ChatGPT is not yet good at this and a small LLM with retriever works much better. We have added fully AI-written Lean proofs to ProofNet https://t.co/DYiPlvxo4N @KaiyuYang4 https://t.co/bYJbfLwwl9
— Prof. Anima Anandkumar (@AnimaAnandkumar) 28 juin 2023Thanks @AlphaSignalAI LeanDojo allows AI to be co-pilot for theorem proving. ChatGPT is not yet good at this and a small LLM with retriever works much better. We have added fully AI-written Lean proofs to ProofNet https://
github.com/zhangir-azerba
yev/ProofNet/pull/14
… @KaiyuYang4 -
Databricks acquires MosaicML for ML model building platform
By
–
It also said it was acquiring MosaicML for $1.3 billion, giving it another piece of the new NEW data stack—building and serving ML models from scratch. The explosion of LLMs, it seems, is as good a time as any to re-re-bundle the data stack.
-
AI Proves 39 New Mathematical Theorems in Lean Proof System
By
–
AI is already a co-pilot for math and theorem proving. We have proven 39 proofs in ProofNet that did not have human-written proofs in Lean. We continue to add AI-written proofs to ProofNet https://
github.com/zhangir-azerba
yev/ProofNet/pull/14
… @KaiyuYang4 -
AI Is Running Circles Around Robotics
By
–
AI Is Running Circles Around Robotics
#AI #AIio #BigData #ML #NLU #Futureofwork http://
ow.ly/wQI530svSew -
AI Is Running Circles Around Robotics Industry
By
–
AI Is Running Circles Around Robotics#AI #AIio #BigData #ML #NLU #Futureofwork@briansolis @Xbond49 @VitalikButerin @DataScienceCtrl @Benioff @johnnosta @IrmaRaste @Tiffani_Bova https://t.co/SEAPR3OOSf pic.twitter.com/HAKjwgxeti
— Terence Mills (@terence_mills) 28 juin 2023AI Is Running Circles Around Robotics
#AI #AIio #BigData #ML #NLU #Futureofwork @briansolis @Xbond49 @VitalikButerin @DataScienceCtrl @Benioff @johnnosta @IrmaRaste @Tiffani_Bova http://
ow.ly/hbS330svSue -
Free Google Machine Learning Crash Course for Beginners
By
–
If you want to start learning AI/ML from the very beginning: Check out "Machine Learning Crash Course." A FREE self-study guide for aspiring machine learning practitioners. https://
developers.google.com/machine-learni
ng/crash-course/
…