Do you want to know what is happening in AI in China? You should follow @AdeenaY8 who's helping support and grow the chinese-speaking ML community at HF
RESEARCH
-
Scaling Law: More GPUs Equals Better Models
By
–
Excited to see what will come out of this. One scaling law I learned while working at Google is: @YiTayML x GPUs = cool models
-
India AI: Machine Learning and Data Science Advances
By
–
@Forbes @Medium #INDIAai #MachineLearning #DataScience #ai
-
Decision Intelligence: Blending Data Science and Strategic Choice Making
By
–
Decision Intelligence is the latest development in the field of AI! It blends data science, advanced analytics, and human judgment to drive strategic choices. Want to know how it can elevate your decision-making capabilities? Read here: https://
rb.gy/frb81 -
AI Model Discovers New Mathematical Proofs in Formal Systems
By
–
Our AI model correctly discovered 33 proofs in miniF2F and 39 proofs in ProofNet of theorems that did not have existing proofs in Lean. Our proofs have helped ProofNet uncover multiple bugs in the formalization of theorem statements
-
Open Source LLM Matches OpenAI for Theorem Proving
By
–
The first open data, model and benchmark for theorem proving under MIT license. Our small LLM with retriever is as good as the closed @OpenAI model. Democratization of #AI See more details in @KaiyuYang4 thread: https://
x.com/KaiyuYang4/sta
tus/1673882824158613504?s=20
… -
Open Source LLM with Retriever Matches OpenAI in Theorem Proving
By
–
Hats off to @KaiyuYang4 for all the hard work in putting together the first open data, model and benchmark for theorem proving under MIT license. Our small LLM with retriever is as good as the closed @OpenAI model. Democratization of #AI
-
Human Editorial Content as Defense Against AI-Generated Content
By
–
I asked GPT to respond to you: GPT: “Rafat's tweet implies that high-quality editorial content crafted by humans stands as a robust defense in this era of rapidly evolving AI-generated content. This perspective mainly rests on the notion that human creativity, in-depth emotional
-
Risk Assessment Arguments Beyond Widespread Belief
By
–
If one complains that Nature has underestimated the risk (which is possible) it would be nice to see an argument beyond “widespread belief”that the risk has been underestimated, no? “Widespread belief” doesn’t convince me much of anything.