Critics Slam $10M AI Math Contest as Category Error and Waste

Commentator gerardsans criticized a reported $10M AI math contest as a waste benefiting few egos, arguing human-vs-AI comparisons are a category error and calling a 166-page Lean formalization mere brute-force compute.

2026-09-23 ~ 2026-09-23 · 3 related posts

• Critic calls OpenAI's 166-page Lean math proof a brute-force dump, not a real achievement — gerardsans · 2026-09-23
• Critics Slam $10M AI Math Contest Spending, Calling Human vs AI Comparisons Category Mistakes — gerardsans · 2026-09-23
• $10M math prize feud draws criticism; commenters point to Terence Tao's take — gerardsans · 2026-09-23