#O4Mini
LightNews LightNews
teorth.bsky.social
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
nkowne63rt.bsky.social
o3mini → o4mini, gemini2.5pro（coding, math）
o1, claude → o3（browsing, reasoning）
4o → 4.1, gemini2.0flash（reproductivity）
という置き換えになりそう
April 17, 2025 at 3:20 AM
riannejar.bsky.social
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
bornach.bsky.social
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
dariia.bsky.social
Even in gpt 5? Imo that’s mainly the issue with 4o, 5 and o3, o4mini before that used more human language
August 16, 2025 at 11:30 AM
prefix.moe
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
samezima.bsky.social
思考の整理にGPT o4mini-high
話し相手兼ヨイショ役に4o
ガチで詰めたいときのo3
本気で考えたいときにDeep research
4.5は何に使うん？これ　o3より賢そうだけどわからん
May 12, 2025 at 7:54 AM
hossamudin.bsky.social
ملخص حدث OpenAI: إطلاق O3 و O4-mini – نقلة نوعية في عالم الذكاء الاصطناعي
"الذكاء الاصطناعي بقى بيشوف، بيفكر، وبيشتغل زي الإنسان… وده مجرد بداية."
في حدث استثنائي، أعلنت OpenAI عن إطلاق نموذجين جديدين من عائلة GPT:
O3
O4-mini
#OpenAI #ChatGPT #O4mini #o3 #CodexCLI #حسام_الدين_حسن #ذكاء_اصطناعي

April 16, 2025 at 11:00 PM
o3aistack.bsky.social
Getting Started with O3 Mini Low: Setup, Use Cases, and Tips. #O3Mini #O4Mini #AzureAI o3aistack.com/2025/05/23/g...
Getting Started with O3 Mini Low: Setup, Use Cases, and Tips
Learn how to launch O3 Mini Low for AI experiments and lightweight agent workflows. Ideal for testing prompts, exploring reasoning flows, and getting hands-on with the O3 Mini Stack.
o3aistack.com
May 23, 2025 at 5:36 PM
neowin.net
OpenAI has revised its model release plans, opting to release standalone o3 and o4-mini models before the much-anticipated GPT-5. #OpenAI #GPT-5 #o4mini #o3
OpenAI postpones GPT-5, but releasing o3 and o4-mini soon
OpenAI has revised its model release plans, opting to release standalone o3 and o4-mini models before the much-anticipated GPT-5.
www.neowin.net
April 4, 2025 at 9:04 PM
winbuzzer.com
OpenAI Adds Lightweight Deep Research Option to ChatGPT, Expands Free Access

#AI #OpenAI #ChatGPT #DeepResearch #LLMs #o4mini #AIResearch #chatbots #GenAI #TechNews #AIAssistants

winbuzzer.com/2025/04/25/o...
OpenAI Adds Lightweight Deep Research Option to ChatGPT, Expands Free Access - WinBuzzer
OpenAI has introduced a more accessible, o4-mini-powered lightweight version of Deep Research to all ChatGPT tiers, including free users.
winbuzzer.com
April 25, 2025 at 11:38 AM
winbuzzer.com
OpenAI’s New o3/o4-mini Models Add Invisible Characters to Text, Sparking Watermark Debate

#AI #OpenAI #ChatGPT #GenAI #LLMs #AIModels #o3 #o4mini #AIWatermarking #Unicode #Typography #AIEthics #AISafety #AIContent

winbuzzer.com/2025/04/21/o...
OpenAI’s New o3/o4-mini Models Add Invisible Characters to Text, Sparking Watermark Debate - WinBuzzer
The discovery of non-standard space characters in OpenAI's o3/o4-mini output has raised questions about AI watermarking, though it remains unclear if it's intentional.
winbuzzer.com
April 21, 2025 at 9:12 AM
hrastnik.fosstodon.org.ap.brid.gy
After playing #lumoai by #proton in #chess, I decided to try #o4mini by #openai. The result was fairly similar. Very strong opening followed by inexplicably dropping its knight and queen in the middle game. At one point it even argued back after I told it one […]

[Original post on fosstodon.org]
Final position showing me checkmating o4 mini. Here is the complete game in algebraic notation: 1. e4 e5 2. Nf3 Nc6 3. Bb5 a6 4. Ba4 Nf6 5. O-O Be7 6. Re1 O-O 7. c3 d6 8. d4 exd4 9. cxd4 d5 10. Nc3 Bg4 11. Bxc6 Rc8 12. Bxd5 Nxd5 13. Nxd5 c6 14. Nxe7+ Qxe7 15. Bg5 h6 16. Bxe7 Rfe8 17. Bc5 b6 18. Bxb6 a5 19. Bxa5 Bxf3 20. Qxf3 g5 21. Bc3 g4 22. Qxg4+ Kh7 23. d5 cxd5 24. Qg7#
August 15, 2025 at 7:18 PM
ghunkinking.bsky.social
OpenAI rates gpt-oss-120b around o4mini class. It scores 90.0 on MMLU. Original GPT4 scored 86.4 in 2023, GPT3.5 70.0. Those aren’t perfectly apples-to-apples evals, but that’s capability that was firmly commercial-frontier territory only a few years ago.
September 12, 2026 at 9:10 AM
hosizoratokoi.bsky.social
AdobeFireflyとchatGPT(o4mini)の写真イラスト生成比較
写真生成と背景イラストは、Adobeがいいね。
chatGPTは、幅広いから、色んなのが生成できるけど、写真生成と背景イラストは、Adobeに劣る
キャラクターイラストは、Adobeは、不向き。
ChatGPTは、得意
#chatgtp
#adobefirefly
July 3, 2026 at 1:32 PM
nawafallohaibi.bsky.social
OpenAI unveils o3 and o4‑mini—compact, powerful reasoning models bringing next‑level AI to everyone. Explore: openai.com/index/introd...

#OpenAI, #o3, #o4Mini, #AI, #ai, #tech, #TechInnovation, #MachineLearning, #FutureOfAI, #TechNews.
Introducing OpenAI o3 and o4-mini
Our smartest and most capable models to date with full tool access
openai.com
April 17, 2025 at 4:44 AM
pablohq.bsky.social
#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
cloudbookletai.bsky.social
🚨 OpenAI Week is HERE! 🚨

OpenAI is preparing to launch GPT-4.1 nano, alongside o4-mini and o3. Could this be the open-source model Sam Altman hinted at? 👀

#AI #OpenAI #GPT4 #GPT41 #GPT4Nano #o4mini #o3 #AICommunity #SamAltman
April 14, 2025 at 10:58 AM
cloudbookletai.bsky.social
🚨 Update from ChatGPT

o3 and o4-mini will launch before GPT-5 in the next couple of weeks.

Why the change?

🔹 GPT-5 is way better than expected
🔹 Integration's trickier than planned
🔹 Prepping for massive demand

#AI #GPT5 #OpenAI #ChatGPT #GPT5 #o3 #o4mini #AIUpdate
April 5, 2025 at 11:44 AM
winbuzzer.com
OpenAI New o3/o4-mini Models Hallucinate More Than Previous Models

#AI #OpenAI #GenAI #LLM #AISafety #AIEthics #Hallucinations #AIModels #o3 #o4mini #ChatGPT #ReasoningModels

winbuzzer.com/2025/04/19/o...
OpenAI New o3/o4-mini Models Hallucinate More Than Previous Models - WinBuzzer
OpenAI's newly released o3 and o4-mini models have shown increased hallucination rates and fabricated actions in testing, raising reliability concerns.
winbuzzer.com
April 19, 2025 at 8:27 AM
winbuzzer.com
OpenAI's new o3 and o4-mini models integrated into ChatGPT demonstrate a strong ability to identify photo locations

#ChatGPT #OpenAI #AI #Geolocation #GeoGuessr #Privacy #OSINT #o3 #o4mini #MachineLearning #VisualReasoning #AIEthics #AISafety

winbuzzer.com/2025/04/18/c...
ChatGPT’s New Models Display Uncanny Photo Geolocation Skill, Igniting Privacy Alarms - WinBuzzer
OpenAI's new o3 and o4-mini models integrated into ChatGPT demonstrate a strong ability to identify photo locations, sparking user tests and privacy debates.
winbuzzer.com
April 18, 2025 at 9:09 PM
winbuzzer.com
OpenAI has launched Flex processing, a new beta API tier offering 50% cheaper access to its o3 & o4-mini models

#OpenAI #AI #API #LLMs #GenAI #DevTools #AICoding #o3 #o4mini

winbuzzer.com/2025/04/18/o...
OpenAI Introduces Flex API to Offer Cheaper o3/o4-mini Access - WinBuzzer
OpenAI has launched Flex processing, a new beta API tier offering 50% cheaper access to o3 & o4-mini models for non-urgent tasks with speed trade-offs.
winbuzzer.com
April 18, 2025 at 9:18 AM
winbuzzer.com
Microsoft Adds OpenAI o3, o4-mini to Azure & GitHub

#AI #OpenAI #Microsoft #Azure #GitHub #o3 #o4mini #LLMa #ReasoningModels #CloudComputing

winbuzzer.com/2025/04/17/m...
Microsoft Adds OpenAI o3, o4-mini to Azure & GitHub - WinBuzzer
Microsoft has integrated OpenAI's new o3 and o4-mini reasoning models, featuring agentic capabilities and vision, into Azure OpenAI Service and GitHub Copilot.
winbuzzer.com
April 17, 2025 at 11:19 AM
winbuzzer.com
OpenAI Releases New o3 and o4-mini Models, Giving ChatGPT a Mind of Its Own

#AI #GenAI #OpenAI #ChatGPT #o3 #o4mini #ChatGPT #AIAssistants #AIReasoning #MultimodalAI #AIModels

winbuzzer.com/2025/04/16/o...
OpenAI Releases New o3 and o4-mini Models, Giving ChatGPT a Mind of Its Own - WinBuzzer
OpenAI has launched o3 and o4-mini, giving ChatGPT the ability to reason and choose tools autonomously across text, code, image, and file inputs.
winbuzzer.com
April 16, 2025 at 7:39 PM
winbuzzer.com
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