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
TOOLS
-
Insta360 AI Software Removes Stick, Stabilizes Video
By
–
No it is on the end of a stick I was holding. The software for the @insta360 removes the stick. AI inside helps keep it steady.
-
5 Bad ChatGPT Mistakes You Must Avoid
By
–
5 Bad ChatGPT Mistakes You Must Avoid
#AI #AIio #BigData #ML #NLU #Futureofwork http://
ow.ly/7I4U30svSev -
Drag and drop PDFs folder into Humata for instant queries
By
–
Drag and drop an entire folder of PDFs into Humata and ask questions across all your files all at once.
— AI Breakfast (@AiBreakfast) 27 juin 2023
I use this tool daily, happy to call @HumataAI a sponsor of AI Breakfast. pic.twitter.com/iQ4VEWrN5sDrag and drop an entire folder of PDFs into Humata and ask questions across all your files all at once. I use this tool daily, happy to call @HumataAI a sponsor of AI Breakfast.
-

Finding Trusted Developers Through Replit Bounties Services
By
–
Atul found Alec, but finding the right developer can be riddled with trial and error. If you want to connect with a trusted developer and avoid sorting through dozens of applicants, try “Services” listed at the top of the Bounties page: https://
replit.com/bounties -

Start Your Own Software Project with AI Tools Today
By
–
You can start your own personal software project today. In many cases, hiring a developer isn’t necessary. Even if you’re non-technical. AI like GPT and Ghostwriter can get you most of the way there.
-

Non-Technical PM Launches Document AI App in One Week
By
–
You can replace or replicate almost any piece of software with your own version. All you need is AI and perhaps a freelance developer or two. Here’s how a non-technical product manager launched his own document AI app in 1 week
-

AI Chatbots Unlock M&A Productivity Through Document Analysis
By
–
Atul Dubal, @atuldubal
, used to work in M&A. In every acquisition, he saw bankers spend hundreds of hours reading company financial statements. When he saw what AI chatbots could do with embedded documents, he knew these tools could be a major unlock for productivity. -

The Future of Data Science: AI-Assisted LLM Operations Platform
By
–
The future of Data Science is AI-Assisted! You can use our end-to-end LLM Ops platform to build, deploy, and monitor a custom LLM application. Check http://
abacus.ai

