#o4mini
#OpenAI : avènements des modèles GenAI o3 et o4-mini !

blog.sosordi.net/2025/04/open...

#o3 #o4mini #IA
April 17, 2025 at 2:53 PM
🚨 OpenAI's new models "think with images"! • o3 & o4-mini manipulate images during reasoning • All tools: web search, code, image gen • 91.6% on AIME 2024, 20% fewer errors • For ChatGPT Plus, Pro, Teams #openai #o4mini #chatgpt
April 16, 2025 at 9:47 PM
Both o4mini and Gemini-2.5 were given the same elevator problem

Gemini generated a better solution than o4mini

When Gemini's solution is given to o4mini to check, it rejects it by *lying* about the original problem requirements.
youtu.be/SgknC9B1dm8
OpenAI has made ChatGPT AI a bit too human!
AGI Finally Achieved: o4-mini
YouTube video by Discover AI
youtu.be
June 25, 2025 at 8:29 AM
Cutting through the hype: GPT-5 is a really impressive model. It's the first that writes code the way I do, and the first that seems to grasp architecture of software the way I do. Compared to o3 Pro and o4mini, it's able to go much farther and think longer and not fall down at the last yard.
August 16, 2025 at 4:05 PM
思考の整理にGPT o4mini-high
話し相手兼ヨイショ役に4o
ガチで詰めたいときのo3
本気で考えたいときにDeep research
4.5は何に使うん?これ o3より賢そうだけどわからん
May 12, 2025 at 7:54 AM
A meeting where mathematicians struggled to outsmart AI [via @sciam.bsky.social] 🧪⚗️🤖🧠➗📐💡

“I’ve never seen that kind of reasoning before in models. That’s what a scientist does. That’s frightening.”

www.scientificamerican.com/article/insi...

#o4mini #AI #math #bot #mathSky #artificial #reasoning
Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI
The world's leading mathematicians were stunned by how adept artificial intelligence is at doing their jobs
www.scientificamerican.com
June 8, 2025 at 1:10 AM
I use prompt tuning get best result to compare other provider and models Best for prompt tuning | o4mini and 4o best model ever i use for prompt tuning |—| … …

Origin | Interest | Match
Awakari App
awakari.com
July 1, 2025 at 10:55 AM
@swyx https://x.com/swyx/status/1942400897826578797 #x-swyx

as the sun sets on GPT 4.5, just reflecting that it was really not that great for summarization tasks. today's @smol_ai example here

i think the "failure"* of GPT 4.5 relative to o3/o4mini is actuall...
July 8, 2025 at 2:15 AM
o4miniが一瞬プログラムみたいなの見せてくるのAI感(?)がかなりある
May 31, 2025 at 7:04 AM
With the stuff I worked with (Cursor w/ o4mini and claude), it's insanely hit or miss, and only really helps with boilerplate code which I had to repeat couple times.
In general the autocomplete always expected some ultra basic task, which I'm not working on and just suggested stuff, ...
March 12, 2025 at 11:13 PM
✨ OpenAI o3 and o4-mini — Now Available at Cabina.AI!

🔗 Try it now with Cabina.AI: cabina.ai/llm/chat-gpt

#Cabina #CabinaAI #OpenAI #GPT #AI #o3 #o4mini #Innovation #AItools #startuplife #AIstartups #LLM #ChatGPT
April 17, 2025 at 12:49 PM
#OpenAI lanza #O3 y #O4mini: modelos de IA enfocados en el razonamiento lógico. O3 impulsa decisiones transparentes en finanzas y derecho, y O4-mini rinde bien con bajo consumo energético. Una ventaja clave para empresas que buscan una #infraestructuraIA eficiente.
April 19, 2025 at 5:35 PM
OpenAI is set to launch GPT-4.1 and reasoning models o3/o4-mini soon, reversing earlier plans and delaying GPT-5 amidst capacity issues

#OpenAI #GPT4 #GPT4o #GPT4_1 #AI #GenAI #LLMs #ReasoningModels #o3 #o4mini #AIModels #ChatGPT #SamAltman
OpenAI Readies GPT-4.1, o3, o4-mini Launch Expected Next Week - WinBuzzer
OpenAI is set to launch GPT-4.1 and reasoning models o3/o4-mini soon, reversing earlier plans and delaying GPT-5 amidst capacity issues.
winbuzzer.com
April 10, 2025 at 4:31 PM
Sam Altman announces #OpenAI will release #o3 and #o4mini 'after all' & #GPT5 in a few months, citing challenges in 'smoothly integrating everything.' 🤖💡 #AI #MachineLearning #TechNews #OpenAIUpdates #FutureOfAI #ArtificialIntelligence
April 5, 2025 at 3:55 AM
A followup to my previous video, in which I now see how #Claude and #o4mini do at formalizing a slightly different proof of the same algebraic implication, after being given the initial informal and formal proofs as reference. www.youtube.com/watch?v=zZr5...
Formalizing a proof in Lean using Claude and o4
YouTube video by Terence Tao
www.youtube.com
May 13, 2025 at 5:40 AM
4.1とo4miniもそう
May 31, 2025 at 7:18 AM