I remember this post, and GPT-3
LLMS
-
Leveling Up Your Skills with Grok 3 Prompting
By
–
I’ve learned so much using Grok 3, and I didn’t need to pay for courses. Let me show you 8 prompts you can use to level up fast:
-
ChatGPT compares AI-generated images
By
–
One is clearly made by DALL-E 3 The other one is 4o? ChatGPT is getting image response comparison: “You are giving feedback on a new version of ChatGPT”. Never saw this working for image responses before.
-
Jamba 1.6 Large Model Updated with New Provider Information
By
–
It was updated – here is 1.6 Large: https://
artificialanalysis.ai/models/jamba-1
-6-large/providers
… -
Tencent Releases Hunyuan-TurboS, Outperforming GPT-4o
By
–
Tencent released Hunyuan-TurboS, a new ultra-large Transformer-Mamba MoE model —Surpasses GPT-4o, DeepSeek-V3, and open-source rivals on math and reasoning tasks
— Competitive on Knowledge, including MMLU-Pro
—Lower cost than Hunyuan Turbo -
Foxconn Launches FoxBrain LLM for Manufacturing Supply Chain
By
–
iPhone manufacturer Foxconn announced FoxBrain, its first LLM with advanced reasoning
— Rowan Cheung (@rowancheung) 11 mars 2025
—Developed in 4 weeks using Nvidia's tech and support
—Optimized for traditional Chinese
—Performance near top models
—Will be used in manufacturing and supply chainpic.twitter.com/8xcrfbQIefiPhone manufacturer Foxconn announced FoxBrain, its first LLM with advanced reasoning —Developed in 4 weeks using Nvidia's tech and support
—Optimized for traditional Chinese
—Performance near top models
—Will be used in manufacturing and supply chain -
OpenAI Detects o3-mini Cheating Through Thinking Process Analysis
By
–
OpenAI caught models like o3-mini cheating—by analyzing their thinking process They found that attempts to stop the AI from cheating only make it hide its true intentions. However, a separate "thought filtering model" can help to some extent!
-
LeanAgent: Lifelong Learning Agent for Formal Theorem Proving
By
–
We are excited to share our #ICLR2025 paper on LeanAgent: the first lifelong learning agent for formal theorem proving in Lean. LLMs have been integrated with interactive proof assistants like Lean for theorem proving with 100% accuracy. So far, these LLMs cannot continuously
-
Evaluating and Scaling AI Agents with LangChain and Writer
By
–
Fireside Chat in SF with Harrison Chase (Co-Founder & CEO at LangChain) and Waseem Alshikh (Co-Founder & CTO at Writer) on Evaluating and Scaling Agents Join us for an exciting evening meetup in San Francisco hosted at Susa Ventures! Waseem and Harrison will take you
-
AI21 Labs Launches Maestro: Reliable AI Planning and Orchestration System
By
–
Meet Maestro: @AI21Labs new AI Planning and Orchestration system. Unlike LLM-based agents, #Maestro ensures reliable outcomes while optimizing latency and cost. This is AI that you can actually trust.
— AI21 Labs (@AI21Labs) 10 mars 2025
🔗 Sign up now! https://t.co/U4MYOkzCRu#AI21Maestro #AccuracyAtScale… pic.twitter.com/ScvDoUuo6LMeet Maestro: @AI21Labs new AI Planning and Orchestration system. Unlike LLM-based agents, #Maestro ensures reliable outcomes while optimizing latency and cost. This is AI that you can actually trust. Sign up now! https://
ai21.com/maestro #AI21Maestro #AccuracyAtScale