What are o1 and o1-mini? OpenAI's mystery AI models are finally here: OpenAI's Project Strawberry has been revealed to be a new series of AI models. Here's what they can do for you. https://
zdnet.com/article/what-a
re-o1-and-o1-mini-openais-mystery-ai-models-are-finally-here/?utm_source=dlvr.it&utm_medium=twitter#ftag=RSSbaffb68
… #BigData #DataScience #IoT
LLMS
-
OpenAI’s o1 and o1-mini mystery AI models finally revealed
By
–
-
SMT Solvers and LLMs Automate Euclidean Geometry Formalization
By
–
I agree. We used SMT solvers + LLMs to help auto-formalize Euclidean geometry in Lean. https://
arxiv.org/pdf/2405.17216 -
Claude Sonnet 3.5 Builds HackerNews Daily Papers with Gradio and Replit
By
–
.
@AnthropicAI Sonnet 3.5 built @huggingface daily papers – HackerNews Style @Gradio demo with @Replit agent -
OpenAI o1 Model Thinks Longer With Hidden Chain-of-Thought
By
–
How the Newly Launched OpenAI 'o1' Model ‘Thinks’ Longer and Keeps Its Chain-of-Thought Hidden https://
forbes.com/sites/lanceeli
ot/2024/09/13/making-logical-sense-of-the-newly-launched-openai-o1-model-that-thinks-longer-and-keeps-hidden-its-ace-in-the-hole-chain-of-thought/
… #AI #OpenAI #EmergingTech #IoT #5G #MWC @SpirosMargaris @DeepLearn007 @pierrepinna -
Debate over letting LLMs ‘think’ and hallucinate
By
–
everyone: You’re stifling the raw, beautiful creativity of LLMs! They need space to think, to *hallucinate* — to not live in constant fear of our pink-slime opinions! OpenAI: ok we gave it a spot to think without worrying about you watching everyone: nooo u monsters how could u
-
Update on managing custom GPT tools and search shortcuts
By
–
ICYMI: Now you can select a search shortcut along with mentioning a custom GPT This is not a new functionality but rather a new look where you can easily manage selected tools.
-
Personal take on prompt engineering and prompting
By
–
o1 prompting is alien to me. Its thinking, gloriously effective at times, is also dreamlike and unamenable to advice. Just say what you want and pray. Any notes on “how” will be followed with the diligence of a brilliant intern on ketamine.
-
Three Types of Effective LLM Prompts
By
–
Every LLM prompt is at most two: – A realistic, economically valuable task
– A task differentiating frontier models
– Something you’d gladly read in a tweet -
o1 AI Model Presented to High School Students in St Louis
By
–
really fun going to my old high school in st louis to talk to students about o1! was happy to hear that some of them had already hit the rate limits 🙂