#sorry_solver — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #sorry_solver, aggregated by home.social.
-
Трактат о природе формального доказательства
Мы пытались закрыть пробелы в доказательстве в Lean 4. Но вместо решений получили 120 000 токенов объяснений и одно слово: sorry . Из этого вырос философский трактат о природе формальных доказательств. Читать трактат
https://habr.com/ru/articles/946566/
#mathlib #Lean_4 #sorry #Proof #гипотеза_римана #формальные_доказательства #sorry_solver #автоматизация_доказательств #философия_математики
-
Трактат о природе формального доказательства
Мы пытались закрыть пробелы в доказательстве в Lean 4. Но вместо решений получили 120 000 токенов объяснений и одно слово: sorry . Из этого вырос философский трактат о природе формальных доказательств. Читать трактат
https://habr.com/ru/articles/946566/
#mathlib #Lean_4 #sorry #Proof #гипотеза_римана #формальные_доказательства #sorry_solver #автоматизация_доказательств #философия_математики
-
Трактат о природе формального доказательства
Мы пытались закрыть пробелы в доказательстве в Lean 4. Но вместо решений получили 120 000 токенов объяснений и одно слово: sorry . Из этого вырос философский трактат о природе формальных доказательств. Читать трактат
https://habr.com/ru/articles/946566/
#mathlib #Lean_4 #sorry #Proof #гипотеза_римана #формальные_доказательства #sorry_solver #автоматизация_доказательств #философия_математики
-
Трактат о природе формального доказательства
Мы пытались закрыть пробелы в доказательстве в Lean 4. Но вместо решений получили 120 000 токенов объяснений и одно слово: sorry . Из этого вырос философский трактат о природе формальных доказательств. Читать трактат
https://habr.com/ru/articles/946566/
#mathlib #Lean_4 #sorry #Proof #гипотеза_римана #формальные_доказательства #sorry_solver #автоматизация_доказательств #философия_математики