GPT-5 Proが爆死した数学オリンピック2025の超難問

IMO2025 Problem 6. Reference: https://web.evanchen.cc/exams/IMO-202... (accessed 2025-10-26) Conversation with ChatGPT 5 Pro: https://chatgpt.com/share/68f70829-bf... 0:00 Problem 0:54 Difficulty of this problem 1:43 ChatGPT's answer 2:27 Optimal solution 3:25 Erdős-Szekeres theorem 5:34 Proof of optimality Music: MusMus === X: https://x.com/evima0 Discord:   / discord  

How many times larger is the area of ​​red than the area of ​​blue? [Slow explanation]
▶︎

How many times larger is the area of ​​red than the area of ​​blue? [Slow explanation]

Hunter VS Invisible Rabbit: The Hardest Problem in Mathematical Olympiad
▶︎

Hunter VS Invisible Rabbit: The Hardest Problem in Mathematical Olympiad

【総集編】理学部数学科の4年間を一気見
▶︎

【総集編】理学部数学科の4年間を一気見

I Paid Japanese People to Read IMPOSSIBLE KANJI
▶︎

I Paid Japanese People to Read IMPOSSIBLE KANJI

Which is Bigger: Fukasetsu Fukasetsuten or Graham's Number? [English Subtitles]
▶︎

Which is Bigger: Fukasetsu Fukasetsuten or Graham's Number? [English Subtitles]

【ドッキリ】Fラン大学の早解き対決のはずが、激ムズ問題で全然解けないドッキリ!!!
▶︎

【ドッキリ】Fラン大学の早解き対決のはずが、激ムズ問題で全然解けないドッキリ!!!

21 Weird Ways to Say Hello, World! 1,000,000 Times [English Subtitles]
▶︎

21 Weird Ways to Say Hello, World! 1,000,000 Times [English Subtitles]

【衝撃】Windowsより普及しているのに誰も使わないOS、その正体がこちら【ゆっくり解説】
▶︎

【衝撃】Windowsより普及しているのに誰も使わないOS、その正体がこちら【ゆっくり解説】

ドラえもんの道具を数学的に考察したらヤバすぎたwww指数関数の恐ろしさ
▶︎

ドラえもんの道具を数学的に考察したらヤバすぎたwww指数関数の恐ろしさ

We're 99.9% sure this pattern is true, but no one can prove it
▶︎

We're 99.9% sure this pattern is true, but no one can prove it

Can You Measure 3000√2-4211 Minutes with a 1-Minute and √2-Minute Hourglass? [English Subtitles]
▶︎

Can You Measure 3000√2-4211 Minutes with a 1-Minute and √2-Minute Hourglass? [English Subtitles]

A Prime Number Theorem That's Obvious but Hard to Prove
▶︎

A Prime Number Theorem That's Obvious but Hard to Prove

数学オリンピックとかいう東大生でも解けない問題出す大会
▶︎

数学オリンピックとかいう東大生でも解けない問題出す大会

ハンター問題【数学オリンピック史上最難問】難易度★★★★★★
▶︎

ハンター問題【数学オリンピック史上最難問】難易度★★★★★★

The Grasshopper Problem: The Hardest Question in IMO History (Difficulty: ★★★★★★)
▶︎

The Grasshopper Problem: The Hardest Question in IMO History (Difficulty: ★★★★★★)

LOSING TO ZACH IN 5 MOVES
▶︎

LOSING TO ZACH IN 5 MOVES

Argentina vs. Switzerland Highlights FIFA World Cup 2026 | Sportschau
▶︎

Argentina vs. Switzerland Highlights FIFA World Cup 2026 | Sportschau

How many people can toast at once? | Unsolved Math Problem
▶︎

How many people can toast at once? | Unsolved Math Problem

This Paradox Splits Smart People 50/50
▶︎

This Paradox Splits Smart People 50/50

Math Has Exactly 7 Levels of Numbers
▶︎

Math Has Exactly 7 Levels of Numbers