[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59 
 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

32(1): 2025/11/12(水)04:49 ID:5u0J6jYO(32/36) AAS
kevin Buzzard
2022ICM でPlenary and Invited Speakers

>Where is Mathematics Going?

Over the last 2,500 years, the way we do mathematics has changed surprisingly little. In Euclid’s Elements,
we see lemmas, theorems and proofs, with material building on earlier work and presented in essentially the same style as a modern mathematics textbook.
As a consequence of this inertia, humanity now possesses an extraordinary body of mathematical knowledge.
This knowledge is mostly correct,
sometimes poorly presented and poorly referenced, is sometimes only “known to
the experts,” contains plenty of errors (some serious), and gives rise to farcical situations such as the ABC conjecture,
an important conjecture with a published proof in a reputable journal that many do not believe is correct.
省1

---

392: 2025/12/23(火)18:56 ID:GPAfkrzB(2/2) AAS
kevin Buzzardが指摘しているが
LLMには幻覚の問題がある、
また数学証明は全て真が必要で
入試問題のように偽が混じった99点は許されない。

厳密性の定理証明支援系はまず定義も明確で自然言語で証明されていることが必要だ。
形式化中のwilesのFLTの数学証明はこれを満たしている。(>>32)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.030s