{"id":105077,"date":"2026-10-29T11:40:22","date_gmt":"2026-10-29T09:40:22","guid":{"rendered":"https:\/\/twodots.gr\/?p=105077"},"modified":"2026-10-29T11:40:22","modified_gmt":"2026-10-29T09:40:22","slug":"faithsieve-ai-proto-lathos-mathimatiki-apodeixi","status":"publish","type":"post","link":"https:\/\/twodots.gr\/de\/faithsieve-ai-proto-lathos-mathimatiki-apodeixi\/","title":{"rendered":"FaithSieve: \u03c0\u03ce\u03c2 \u03c4\u03bf AI \u03b2\u03c1\u03af\u03c3\u03ba\u03b5\u03b9 \u03c4\u03bf \u03c0\u03c1\u03ce\u03c4\u03bf \u03bb\u03ac\u03b8\u03bf\u03c2 \u03c3\u03b5 \u03bc\u03b9\u03b1 \u03bc\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7"},"content":{"rendered":"<div class=\"td-article-lede\">\n<p><strong>\u0397 \u03c3\u03cd\u03bd\u03c4\u03bf\u03bc\u03b7 \u03b1\u03c0\u03ac\u03bd\u03c4\u03b7\u03c3\u03b7:<\/strong> \u03c4\u03bf FaithSieve \u03c0\u03c1\u03bf\u03c3\u03c0\u03b1\u03b8\u03b5\u03af \u03bd\u03b1 \u03b2\u03c1\u03b5\u03b9 \u03cc\u03c7\u03b9 \u03b1\u03c0\u03bb\u03ce\u03c2 \u03b1\u03bd \u03bc\u03b9\u03b1 \u03bc\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7 \u03b5\u03af\u03bd\u03b1\u03b9 \u03bb\u03b1\u03bd\u03b8\u03b1\u03c3\u03bc\u03ad\u03bd\u03b7, \u03b1\u03bb\u03bb\u03ac \u03c4\u03bf \u03c0\u03c1\u03ce\u03c4\u03bf \u03b2\u03ae\u03bc\u03b1 \u03cc\u03c0\u03bf\u03c5 \u03c0\u03b1\u03cd\u03b5\u03b9 \u03bd\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 \u03b1\u03be\u03b9\u03cc\u03c0\u03b9\u03c3\u03c4\u03b7. \u0394\u03b9\u03b1\u03c3\u03c0\u03ac \u03c4\u03b7\u03bd \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7 \u03c3\u03b5 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ad\u03c2 \u03bc\u03b5\u03c4\u03b1\u03b2\u03ac\u03c3\u03b5\u03b9\u03c2, \u03bc\u03b5\u03c4\u03b1\u03c4\u03c1\u03ad\u03c0\u03b5\u03b9 \u03c4\u03b9\u03c2 \u03ba\u03c1\u03af\u03c3\u03b9\u03bc\u03b5\u03c2 \u03bc\u03b5\u03c4\u03b1\u03b2\u03ac\u03c3\u03b5\u03b9\u03c2 \u03c3\u03b5 \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03b5\u03c2 \u03c5\u03c0\u03bf\u03c7\u03c1\u03b5\u03ce\u03c3\u03b5\u03b9\u03c2, \u03c7\u03c1\u03b7\u03c3\u03b9\u03bc\u03bf\u03c0\u03bf\u03b9\u03b5\u03af SymPy \u03ae Lean \u03b3\u03b9\u03b1 \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf \u03ba\u03b1\u03b9 \u03b4\u03ad\u03c7\u03b5\u03c4\u03b1\u03b9 \u03c4\u03bf \u03c4\u03c5\u03c0\u03b9\u03ba\u03cc \u03c4\u03b5\u03ba\u03bc\u03ae\u03c1\u03b9\u03bf \u03bc\u03cc\u03bd\u03bf \u03cc\u03c4\u03b1\u03bd \u03c0\u03b1\u03c1\u03b1\u03bc\u03ad\u03bd\u03b5\u03b9 \u03c0\u03b9\u03c3\u03c4\u03cc \u03c3\u03c4\u03bf\u03bd \u03b1\u03c1\u03c7\u03b9\u03ba\u03cc \u03b9\u03c3\u03c7\u03c5\u03c1\u03b9\u03c3\u03bc\u03cc. \u03a3\u03c4\u03b1 \u03b4\u03cd\u03bf expert-verified benchmarks \u03c4\u03b7\u03c2 \u03b5\u03c1\u03b3\u03b1\u03c3\u03af\u03b1\u03c2 \u03b2\u03b5\u03bb\u03c4\u03af\u03c9\u03c3\u03b5 \u03c4\u03bf\u03bd \u03b1\u03ba\u03c1\u03b9\u03b2\u03ae \u03b5\u03bd\u03c4\u03bf\u03c0\u03b9\u03c3\u03bc\u03cc \u03c4\u03bf\u03c5 \u03c0\u03c1\u03ce\u03c4\u03bf\u03c5 \u03bb\u03ac\u03b8\u03bf\u03c5\u03c2, \u03bc\u03b5 \u03c3\u03b7\u03bc\u03b1\u03bd\u03c4\u03b9\u03ba\u03cc \u03cc\u03bc\u03c9\u03c2 \u03c5\u03c0\u03bf\u03bb\u03bf\u03b3\u03b9\u03c3\u03c4\u03b9\u03ba\u03cc \u03ba\u03cc\u03c3\u03c4\u03bf\u03c2 \u03ba\u03b1\u03b9 \u03c7\u03c9\u03c1\u03af\u03c2 \u03bd\u03b1 \u03ba\u03b1\u03c4\u03b1\u03c1\u03b3\u03b5\u03af \u03c4\u03b7\u03bd \u03b1\u03bd\u03ac\u03b3\u03ba\u03b7 \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03b7\u03c2 \u03ba\u03c1\u03af\u03c3\u03b7\u03c2.<\/p>\n<\/div>\n<div class=\"td-article-toc\">\n<div class=\"td-toc-title\">Inhaltsverzeichnis<\/div>\n<ul>\n<li><a href=\"#giati-teliki-apantisi-den-arkei\">\u0393\u03b9\u03b1\u03c4\u03af \u03b7 \u03c3\u03c9\u03c3\u03c4\u03ae \u03c4\u03b5\u03bb\u03b9\u03ba\u03ae \u03b1\u03c0\u03ac\u03bd\u03c4\u03b7\u03c3\u03b7 \u03b4\u03b5\u03bd \u03c0\u03b9\u03c3\u03c4\u03bf\u03c0\u03bf\u03b9\u03b5\u03af \u03c4\u03b7 \u03b4\u03b9\u03b1\u03b4\u03c1\u03bf\u03bc\u03ae<\/a><\/li>\n<li><a href=\"#topikotita-prover-parakamptike-lathos\">\u03a4\u03bf \u03c0\u03c1\u03cc\u03b2\u03bb\u03b7\u03bc\u03b1 \u03c4\u03b7\u03c2 \u03c4\u03bf\u03c0\u03b9\u03ba\u03cc\u03c4\u03b7\u03c4\u03b1\u03c2<\/a><\/li>\n<li><a href=\"#proof-state-tree-edgeunits\">\u0394\u03ad\u03bd\u03c4\u03c1\u03bf \u03ba\u03b1\u03c4\u03b1\u03c3\u03c4\u03ac\u03c3\u03b5\u03c9\u03bd \u03ba\u03b1\u03b9 EdgeUnits<\/a><\/li>\n<li><a href=\"#suspicion-search-proteraiotita-elegxou\">Suspicion Search \u03ba\u03b1\u03b9 \u03c0\u03c1\u03bf\u03c4\u03b5\u03c1\u03b1\u03b9\u03cc\u03c4\u03b7\u03c4\u03b1 \u03b5\u03bb\u03ad\u03b3\u03c7\u03bf\u03c5<\/a><\/li>\n<li><a href=\"#typikes-ypochreoseis-apodeixis\">\u0391\u03c0\u03cc \u03c4\u03b7 \u03bc\u03b5\u03c4\u03ac\u03b2\u03b1\u03c3\u03b7 \u03c3\u03c4\u03b7\u03bd \u03c5\u03c0\u03bf\u03c7\u03c1\u03ad\u03c9\u03c3\u03b7 \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7\u03c2<\/a><\/li>\n<li><a href=\"#simasiologiki-pyli-faithfulness\">\u0397 \u03c3\u03b7\u03bc\u03b1\u03c3\u03b9\u03bf\u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03c0\u03cd\u03bb\u03b7 \u03c0\u03b9\u03c3\u03c4\u03cc\u03c4\u03b7\u03c4\u03b1\u03c2<\/a><\/li>\n<li><a href=\"#passed-refuted-inconclusive\">Passed, refuted \u03ae inconclusive<\/a><\/li>\n<li><a href=\"#benchmark-proofloc-apotelesmata\">\u03a4\u03b1 \u03b1\u03c0\u03bf\u03c4\u03b5\u03bb\u03ad\u03c3\u03bc\u03b1\u03c4\u03b1 \u03c3\u03c4\u03b1 ProofLoc benchmarks<\/a><\/li>\n<li><a href=\"#ablations-domi-den-arkei\">\u03a4\u03b9 \u03b4\u03b5\u03af\u03c7\u03bd\u03bf\u03c5\u03bd \u03c4\u03b1 ablations<\/a><\/li>\n<li><a href=\"#kostos-periorismoi\">\u039a\u03cc\u03c3\u03c4\u03bf\u03c2 \u03ba\u03b1\u03b9 \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03bf\u03af \u03c0\u03b5\u03c1\u03b9\u03bf\u03c1\u03b9\u03c3\u03bc\u03bf\u03af<\/a><\/li>\n<li><a href=\"#evidence-prin-confidence\">Evidence \u03c0\u03c1\u03b9\u03bd \u03b1\u03c0\u03cc confidence \u03c3\u03c4\u03b1 \u03b5\u03c0\u03b1\u03b3\u03b3\u03b5\u03bb\u03bc\u03b1\u03c4\u03b9\u03ba\u03ac AI workflows<\/a><\/li>\n<li><a href=\"#checklist-axiopistis-ai-axiologisis\">Checklist \u03b3\u03b9\u03b1 \u03b1\u03be\u03b9\u03cc\u03c0\u03b9\u03c3\u03c4\u03b7 \u03b1\u03be\u03b9\u03bf\u03bb\u03cc\u03b3\u03b7\u03c3\u03b7 AI<\/a><\/li>\n<li><a href=\"#feedback-entopismos-protou-lathous\">\u0391\u03c0\u03cc \u03c4\u03b1 labels \u03c3\u03c4\u03b7 \u03b4\u03b9\u03bf\u03c1\u03b8\u03ce\u03c3\u03b9\u03bc\u03b7 \u03b1\u03bd\u03b1\u03c4\u03c1\u03bf\u03c6\u03bf\u03b4\u03cc\u03c4\u03b7\u03c3\u03b7<\/a><\/li>\n<li><a href=\"#symperasma\">Schlussfolgerung<\/a><\/li>\n<\/ul>\n<\/div>\n<h2 id=\"giati-teliki-apantisi-den-arkei\">\u0393\u03b9\u03b1\u03c4\u03af \u03b7 \u03c3\u03c9\u03c3\u03c4\u03ae \u03c4\u03b5\u03bb\u03b9\u03ba\u03ae \u03b1\u03c0\u03ac\u03bd\u03c4\u03b7\u03c3\u03b7 \u03b4\u03b5\u03bd \u03c0\u03b9\u03c3\u03c4\u03bf\u03c0\u03bf\u03b9\u03b5\u03af \u03c4\u03b7 \u03c3\u03c9\u03c3\u03c4\u03ae \u03b4\u03b9\u03b1\u03b4\u03c1\u03bf\u03bc\u03ae<\/h2>\n<p>\u0388\u03bd\u03b1 \u03bc\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc \u03b5\u03c0\u03b9\u03c7\u03b5\u03af\u03c1\u03b7\u03bc\u03b1 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03ba\u03b1\u03c4\u03b1\u03bb\u03ae\u03b3\u03b5\u03b9 \u03c3\u03c4\u03b7 \u03c3\u03c9\u03c3\u03c4\u03ae \u03b1\u03c0\u03ac\u03bd\u03c4\u03b7\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03c0\u03b1\u03c1\u2019 \u03cc\u03bb\u03b1 \u03b1\u03c5\u03c4\u03ac \u03bd\u03b1 \u03ad\u03c7\u03b5\u03b9 \u00ab\u03c3\u03c0\u03ac\u03c3\u03b5\u03b9\u00bb \u03b1\u03c1\u03ba\u03b5\u03c4\u03ac \u03b2\u03ae\u03bc\u03b1\u03c4\u03b1 \u03bd\u03c9\u03c1\u03af\u03c4\u03b5\u03c1\u03b1. \u039f\u03b9 \u03b1\u03c0\u03bf\u03b4\u03b5\u03af\u03be\u03b5\u03b9\u03c2 \u03c3\u03b5 \u03c6\u03c5\u03c3\u03b9\u03ba\u03ae \u03b3\u03bb\u03ce\u03c3\u03c3\u03b1 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03c0\u03b1\u03c1\u03b1\u03bb\u03b5\u03af\u03c0\u03bf\u03c5\u03bd \u03c0\u03c1\u03bf\u03cb\u03c0\u03bf\u03b8\u03ad\u03c3\u03b5\u03b9\u03c2, \u03bd\u03b1 \u03ba\u03ac\u03bd\u03bf\u03c5\u03bd \u03ac\u03bb\u03bc\u03b1\u03c4\u03b1, \u03bd\u03b1 \u03c7\u03c1\u03b7\u03c3\u03b9\u03bc\u03bf\u03c0\u03bf\u03b9\u03bf\u03cd\u03bd \u03c3\u03b9\u03c9\u03c0\u03b7\u03c1\u03ad\u03c2 \u03c5\u03c0\u03bf\u03b8\u03ad\u03c3\u03b5\u03b9\u03c2 \u03ae \u03bd\u03b1 \u03c3\u03c5\u03bd\u03b5\u03c7\u03af\u03b6\u03bf\u03c5\u03bd \u03c0\u03b5\u03b9\u03c3\u03c4\u03b9\u03ba\u03ac \u03bc\u03b5\u03c4\u03ac \u03b1\u03c0\u03cc \u03ad\u03bd\u03b1 \u03c0\u03c1\u03ce\u03b9\u03bc\u03bf \u03c3\u03c6\u03ac\u03bb\u03bc\u03b1. \u0388\u03bd\u03b1\u03c2 \u03ac\u03bc\u03b5\u03c3\u03bf\u03c2 AI \u03ba\u03c1\u03b9\u03c4\u03ae\u03c2 \u03b2\u03bb\u03ad\u03c0\u03b5\u03b9 \u03c4\u03bf \u03c0\u03c1\u03cc\u03b2\u03bb\u03b7\u03bc\u03b1 \u03ba\u03b1\u03b9 \u03cc\u03bb\u03b1 \u03c4\u03b1 \u03b1\u03c1\u03b9\u03b8\u03bc\u03b7\u03bc\u03ad\u03bd\u03b1 \u03b2\u03ae\u03bc\u03b1\u03c4\u03b1 \u03ba\u03b1\u03b9 \u03b5\u03c0\u03b9\u03c3\u03c4\u03c1\u03ad\u03c6\u03b5\u03b9 \u03b5\u03af\u03c4\u03b5 \u00ab\u03c3\u03c9\u03c3\u03c4\u03cc\u00bb \u03b5\u03af\u03c4\u03b5 \u03c4\u03b7 \u03b8\u03ad\u03c3\u03b7 \u03c4\u03bf\u03c5 \u03c0\u03c1\u03ce\u03c4\u03bf\u03c5 \u03bb\u03ac\u03b8\u03bf\u03c5\u03c2. \u0397 \u03b4\u03b9\u03b1\u03b4\u03b9\u03ba\u03b1\u03c3\u03af\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 \u03b1\u03c0\u03bb\u03ae, \u03b1\u03bb\u03bb\u03ac \u03c3\u03c4\u03b7\u03c1\u03af\u03b6\u03b5\u03c4\u03b1\u03b9 \u03ba\u03c5\u03c1\u03af\u03c9\u03c2 \u03c3\u03b5 \u03bc\u03af\u03b1 \u03c3\u03c5\u03bd\u03bf\u03bb\u03b9\u03ba\u03ae \u03b3\u03bb\u03c9\u03c3\u03c3\u03b9\u03ba\u03ae \u03ba\u03c1\u03af\u03c3\u03b7.<\/p>\n<p>\u0397 \u03b5\u03c1\u03b3\u03b1\u03c3\u03af\u03b1 <em>FaithSieve: Fine-Grained Evaluation of Math Proofs with Faithful Formal Evidence<\/em> \u03be\u03b5\u03c7\u03c9\u03c1\u03af\u03b6\u03b5\u03b9 \u03b4\u03cd\u03bf \u03bc\u03b5\u03c4\u03c1\u03ae\u03c3\u03b5\u03b9\u03c2. \u0397 <strong>binary accuracy<\/strong> \u03b5\u03bb\u03ad\u03b3\u03c7\u03b5\u03b9 \u03b1\u03bd \u03c4\u03bf \u03c3\u03cd\u03c3\u03c4\u03b7\u03bc\u03b1 \u03b4\u03b9\u03b1\u03ba\u03c1\u03af\u03bd\u03b5\u03b9 \u03c3\u03c9\u03c3\u03c4\u03ad\u03c2 \u03b1\u03c0\u03cc \u03bb\u03b1\u03bd\u03b8\u03b1\u03c3\u03bc\u03ad\u03bd\u03b5\u03c2 \u03b1\u03c0\u03bf\u03b4\u03b5\u03af\u03be\u03b5\u03b9\u03c2. \u0397 <strong>exact accuracy<\/strong> \u03b1\u03c0\u03b1\u03b9\u03c4\u03b5\u03af \u03ba\u03ac\u03c4\u03b9 \u03b1\u03c5\u03c3\u03c4\u03b7\u03c1\u03cc\u03c4\u03b5\u03c1\u03bf: \u03bd\u03b1 \u03b2\u03c1\u03b5\u03b8\u03b5\u03af \u03b1\u03ba\u03c1\u03b9\u03b2\u03ce\u03c2 \u03c4\u03bf \u03c0\u03c1\u03ce\u03c4\u03bf \u03b5\u03c3\u03c6\u03b1\u03bb\u03bc\u03ad\u03bd\u03bf \u03b2\u03ae\u03bc\u03b1 \u03ae \u03bd\u03b1 \u03b4\u03bf\u03b8\u03b5\u03af \u03b7 \u03b5\u03c4\u03b9\u03ba\u03ad\u03c4\u03b1 \u00abcorrect\u00bb \u03cc\u03c4\u03b1\u03bd \u03b7 \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c3\u03c9\u03c3\u03c4\u03ae. \u0397 \u03b4\u03b5\u03cd\u03c4\u03b5\u03c1\u03b7 \u03bc\u03ad\u03c4\u03c1\u03b7\u03c3\u03b7 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c0\u03b9\u03bf \u03c7\u03c1\u03ae\u03c3\u03b9\u03bc\u03b7 \u03cc\u03c4\u03b1\u03bd \u03bf \u03c3\u03c4\u03cc\u03c7\u03bf\u03c2 \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 \u03bc\u03cc\u03bd\u03bf \u03b7 \u03b1\u03c0\u03cc\u03c1\u03c1\u03b9\u03c8\u03b7 \u03bc\u03b9\u03b1\u03c2 \u03b1\u03c0\u03ac\u03bd\u03c4\u03b7\u03c3\u03b7\u03c2, \u03b1\u03bb\u03bb\u03ac \u03b7 \u03b1\u03bd\u03b1\u03c4\u03c1\u03bf\u03c6\u03bf\u03b4\u03cc\u03c4\u03b7\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03b7 \u03b4\u03b9\u03cc\u03c1\u03b8\u03c9\u03c3\u03ae \u03c4\u03b7\u03c2.<\/p>\n<p>\u03a4\u03bf \u03af\u03b4\u03b9\u03bf \u03bc\u03bf\u03c4\u03af\u03b2\u03bf \u03b5\u03bc\u03c6\u03b1\u03bd\u03af\u03b6\u03b5\u03c4\u03b1\u03b9 \u03c3\u03b5 \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b7\u03c3\u03b9\u03b1\u03ba\u03bf\u03cd\u03c2 agents. \u0388\u03bd\u03b1 \u03c4\u03b5\u03bb\u03b9\u03ba\u03cc \u03b1\u03c0\u03bf\u03c4\u03ad\u03bb\u03b5\u03c3\u03bc\u03b1 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03c6\u03b1\u03af\u03bd\u03b5\u03c4\u03b1\u03b9 \u03b1\u03c0\u03bf\u03b4\u03b5\u03ba\u03c4\u03cc, \u03b5\u03bd\u03ce \u03b7 \u03c0\u03c1\u03ce\u03c4\u03b7 \u03bb\u03b1\u03bd\u03b8\u03b1\u03c3\u03bc\u03ad\u03bd\u03b7 \u03ba\u03bb\u03ae\u03c3\u03b7 \u03b5\u03c1\u03b3\u03b1\u03bb\u03b5\u03af\u03bf\u03c5 \u03ad\u03c7\u03b5\u03b9 \u03ae\u03b4\u03b7 \u03b1\u03bb\u03bb\u03bf\u03b9\u03ce\u03c3\u03b5\u03b9 \u03c4\u03bf state \u03c0\u03bf\u03c5 \u03c7\u03c1\u03b7\u03c3\u03b9\u03bc\u03bf\u03c0\u03bf\u03b9\u03bf\u03cd\u03bd \u03cc\u03bb\u03b1 \u03c4\u03b1 \u03b5\u03c0\u03cc\u03bc\u03b5\u03bd\u03b1 \u03b2\u03ae\u03bc\u03b1\u03c4\u03b1. \u0397 \u03b1\u03bd\u03ac\u03bb\u03c5\u03c3\u03b7 \u03b3\u03b9\u03b1 \u03c4\u03bf \u03b3\u03b9\u03b1\u03c4\u03af <a href=\"https:\/\/twodots.gr\/ai-agents-tool-calling-proto-lathos-alysida\/\">\u03ad\u03bd\u03b1 \u03c0\u03c1\u03ce\u03c4\u03bf \u03bb\u03ac\u03b8\u03bf\u03c2 \u03c3\u03c4\u03bf tool calling \u03c7\u03b1\u03bb\u03ac\u03b5\u03b9 \u03cc\u03bb\u03b7 \u03c4\u03b7\u03bd \u03b1\u03bb\u03c5\u03c3\u03af\u03b4\u03b1<\/a> \u03b4\u03b5\u03af\u03c7\u03bd\u03b5\u03b9 \u03b3\u03b9\u03b1\u03c4\u03af \u03c4\u03bf \u03c3\u03b7\u03bc\u03b5\u03af\u03bf \u03ad\u03bd\u03b1\u03c1\u03be\u03b7\u03c2 \u03c4\u03b7\u03c2 \u03b1\u03c3\u03c4\u03bf\u03c7\u03af\u03b1\u03c2 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c3\u03c5\u03c7\u03bd\u03ac \u03c0\u03b9\u03bf \u03c3\u03b7\u03bc\u03b1\u03bd\u03c4\u03b9\u03ba\u03cc \u03b1\u03c0\u03cc \u03c4\u03bf \u03c4\u03b5\u03bb\u03b5\u03c5\u03c4\u03b1\u03af\u03bf \u03b5\u03bc\u03c6\u03b1\u03bd\u03ad\u03c2 \u03c3\u03cd\u03bc\u03c0\u03c4\u03c9\u03bc\u03b1.<\/p>\n<h2 id=\"topikotita-prover-parakamptike-lathos\">\u03a4\u03bf \u03c0\u03c1\u03cc\u03b2\u03bb\u03b7\u03bc\u03b1 \u03c4\u03b7\u03c2 \u03c4\u03bf\u03c0\u03b9\u03ba\u03cc\u03c4\u03b7\u03c4\u03b1\u03c2: \u03bf \u03b9\u03c3\u03c7\u03c5\u03c1\u03cc\u03c2 prover \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03c0\u03b1\u03c1\u03b1\u03ba\u03ac\u03bc\u03c8\u03b5\u03b9 \u03c4\u03bf \u03bb\u03ac\u03b8\u03bf\u03c2<\/h2>\n<p>\u03a4\u03bf Lean \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b5\u03c0\u03b1\u03bb\u03b7\u03b8\u03b5\u03cd\u03c3\u03b5\u03b9 \u03bc\u03b9\u03b1 \u03c4\u03c5\u03c0\u03b9\u03ba\u03ae \u03bc\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae \u03c0\u03c1\u03cc\u03c4\u03b1\u03c3\u03b7, \u03b1\u03bb\u03bb\u03ac \u03b4\u03b5\u03bd \u03b3\u03bd\u03c9\u03c1\u03af\u03b6\u03b5\u03b9 \u03b1\u03c0\u03cc \u03bc\u03cc\u03bd\u03bf \u03c4\u03bf\u03c5 \u03b1\u03bd \u03b1\u03c5\u03c4\u03ae \u03b5\u03af\u03bd\u03b1\u03b9 \u03b1\u03ba\u03c1\u03b9\u03b2\u03ce\u03c2 \u03b7 \u03c0\u03c1\u03cc\u03c4\u03b1\u03c3\u03b7 \u03c0\u03bf\u03c5 \u03b5\u03be\u03ad\u03c6\u03c1\u03b1\u03b6\u03b5 \u03c4\u03bf \u03b1\u03c1\u03c7\u03b9\u03ba\u03cc \u03b2\u03ae\u03bc\u03b1. \u0391\u03bd \u03bc\u03b9\u03b1 \u03c6\u03c5\u03c3\u03b9\u03ba\u03ae \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7 \u03b9\u03c3\u03c7\u03c5\u03c1\u03af\u03b6\u03b5\u03c4\u03b1\u03b9 \u03c0\u03c1\u03ce\u03c4\u03b1 \u03cc\u03c4\u03b9 \u03b1\u03c0\u03cc \u03c4\u03bf \u0391 \u03c0\u03c1\u03bf\u03ba\u03cd\u03c0\u03c4\u03b5\u03b9 \u03c4\u03bf \u0392 \u03ba\u03b1\u03b9 \u03c3\u03c4\u03b7 \u03c3\u03c5\u03bd\u03ad\u03c7\u03b5\u03b9\u03b1 \u03cc\u03c4\u03b9 \u03b1\u03c0\u03cc \u03c4\u03bf \u0392 \u03c0\u03c1\u03bf\u03ba\u03cd\u03c0\u03c4\u03b5\u03b9 \u03c4\u03bf \u0393, \u03b7 \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7 \u03c4\u03bf\u03c5 \u0391\u2192\u0393 \u03b4\u03b5\u03bd \u03c0\u03b9\u03c3\u03c4\u03bf\u03c0\u03bf\u03b9\u03b5\u03af \u03ba\u03b1\u03b8\u03b5\u03bc\u03af\u03b1 \u03b1\u03c0\u03cc \u03c4\u03b9\u03c2 \u03b4\u03cd\u03bf \u03c4\u03bf\u03c0\u03b9\u03ba\u03ad\u03c2 \u03bc\u03b5\u03c4\u03b1\u03b2\u03ac\u03c3\u03b5\u03b9\u03c2. \u0388\u03bd\u03b1\u03c2 \u03b9\u03ba\u03b1\u03bd\u03cc\u03c2 prover \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b2\u03c1\u03b5\u03b9 \u03c3\u03c5\u03bd\u03c4\u03bf\u03bc\u03cc\u03c4\u03b5\u03c1\u03bf \u03b4\u03c1\u03cc\u03bc\u03bf \u03ba\u03b1\u03b9 \u03bd\u03b1 \u03b1\u03c6\u03ae\u03c3\u03b5\u03b9 \u03b1\u03bd\u03ad\u03bb\u03b5\u03b3\u03ba\u03c4\u03bf \u03c4\u03bf \u03c0\u03c1\u03bf\u03b2\u03bb\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc \u03b5\u03bd\u03b4\u03b9\u03ac\u03bc\u03b5\u03c3\u03bf \u03b2\u03ae\u03bc\u03b1.<\/p>\n<p>\u0393\u03b9\u2019 \u03b1\u03c5\u03c4\u03cc \u03c4\u03bf FaithSieve \u03b4\u03b5\u03bd \u03b4\u03af\u03bd\u03b5\u03b9 \u03bf\u03bb\u03cc\u03ba\u03bb\u03b7\u03c1\u03b7 \u03c4\u03b7\u03bd \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7 \u03c3\u03c4\u03bf Lean \u03c9\u03c2 \u03ad\u03bd\u03b1 \u03b5\u03bd\u03b9\u03b1\u03af\u03bf \u03b1\u03bd\u03c4\u03b9\u03ba\u03b5\u03af\u03bc\u03b5\u03bd\u03bf. \u0394\u03b9\u03b1\u03c3\u03c0\u03ac \u03c4\u03b1 \u03c7\u03bf\u03bd\u03b4\u03c1\u03bf\u03b5\u03b9\u03b4\u03ae \u03b1\u03c1\u03b9\u03b8\u03bc\u03b7\u03bc\u03ad\u03bd\u03b1 \u03b2\u03ae\u03bc\u03b1\u03c4\u03b1 \u03c3\u03b5 \u03bc\u03b9\u03ba\u03c1\u03cc\u03c4\u03b5\u03c1\u03b5\u03c2 \u03bc\u03b5\u03c4\u03b1\u03b2\u03ac\u03c3\u03b5\u03b9\u03c2 \u03ba\u03b1\u03b9 \u03b4\u03b9\u03b1\u03c4\u03b7\u03c1\u03b5\u03af \u03c4\u03bf \u03c4\u03bf\u03c0\u03b9\u03ba\u03cc \u03c0\u03bb\u03b1\u03af\u03c3\u03b9\u03bf: \u03b4\u03b9\u03b1\u03b8\u03ad\u03c3\u03b9\u03bc\u03b5\u03c2 \u03c5\u03c0\u03bf\u03b8\u03ad\u03c3\u03b5\u03b9\u03c2, \u03c4\u03c1\u03ad\u03c7\u03bf\u03bd\u03c4\u03b1 \u03c3\u03c4\u03cc\u03c7\u03bf, \u03ba\u03bb\u03ac\u03b4\u03bf\u03c5\u03c2 \u03c0\u03b5\u03c1\u03b9\u03c0\u03c4\u03ce\u03c3\u03b5\u03c9\u03bd, \u03bd\u03ad\u03bf\u03c5\u03c2 \u03b9\u03c3\u03c7\u03c5\u03c1\u03b9\u03c3\u03bc\u03bf\u03cd\u03c2 \u03ba\u03b1\u03b9 \u03c3\u03c7\u03ad\u03c3\u03b7 \u03bc\u03b5 \u03c4\u03bf \u03b1\u03c1\u03c7\u03b9\u03ba\u03cc \u03b2\u03ae\u03bc\u03b1. \u0397 \u03c4\u03bf\u03c0\u03b9\u03ba\u03cc\u03c4\u03b7\u03c4\u03b1 \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 \u03b1\u03c0\u03bb\u03ce\u03c2 \u03c4\u03b5\u03c7\u03bd\u03b9\u03ba\u03ae \u03b2\u03b5\u03bb\u03c4\u03b9\u03c3\u03c4\u03bf\u03c0\u03bf\u03af\u03b7\u03c3\u03b7. \u0395\u03af\u03bd\u03b1\u03b9 \u03c0\u03c1\u03bf\u03cb\u03c0\u03cc\u03b8\u03b5\u03c3\u03b7 \u03b3\u03b9\u03b1 \u03bd\u03b1 \u03b3\u03bd\u03c9\u03c1\u03af\u03b6\u03bf\u03c5\u03bc\u03b5 \u03c4\u03b9 \u03b1\u03ba\u03c1\u03b9\u03b2\u03ce\u03c2 \u03c0\u03b9\u03c3\u03c4\u03bf\u03c0\u03bf\u03b9\u03ae\u03b8\u03b7\u03ba\u03b5.<\/p>\n<div class=\"td-article-note\"><strong>\u039a\u03c1\u03af\u03c3\u03b9\u03bc\u03b7 \u03b4\u03b9\u03ac\u03ba\u03c1\u03b9\u03c3\u03b7:<\/strong> \u03ad\u03bd\u03b1 \u03b5\u03c0\u03b9\u03c4\u03c5\u03c7\u03b7\u03bc\u03ad\u03bd\u03bf Lean proof \u03c0\u03b9\u03c3\u03c4\u03bf\u03c0\u03bf\u03b9\u03b5\u03af \u03c4\u03b7 \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03b7 \u03c4\u03c5\u03c0\u03b9\u03ba\u03ae \u03b4\u03ae\u03bb\u03c9\u03c3\u03b7 \u03c0\u03bf\u03c5 \u03b5\u03bb\u03ad\u03b3\u03c7\u03b8\u03b7\u03ba\u03b5. \u0394\u03b5\u03bd \u03c0\u03b9\u03c3\u03c4\u03bf\u03c0\u03bf\u03b9\u03b5\u03af \u03b1\u03c5\u03c4\u03bf\u03bc\u03ac\u03c4\u03c9\u03c2 \u03cc\u03c4\u03b9 \u03b7 \u03b4\u03ae\u03bb\u03c9\u03c3\u03b7 \u03b1\u03c0\u03bf\u03b4\u03af\u03b4\u03b5\u03b9 \u03c0\u03b9\u03c3\u03c4\u03ac \u03c4\u03bf \u03c6\u03c5\u03c3\u03b9\u03ba\u03bf\u03b3\u03bb\u03c9\u03c3\u03c3\u03b9\u03ba\u03cc \u03b2\u03ae\u03bc\u03b1 \u03bf\u03cd\u03c4\u03b5 \u03cc\u03c4\u03b9 \u03bf\u03bb\u03cc\u03ba\u03bb\u03b7\u03c1\u03b7 \u03b7 \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c3\u03c9\u03c3\u03c4\u03ae.<\/div>\n<h2 id=\"proof-state-tree-edgeunits\">\u0394\u03ad\u03bd\u03c4\u03c1\u03bf \u03ba\u03b1\u03c4\u03b1\u03c3\u03c4\u03ac\u03c3\u03b5\u03c9\u03bd \u03ba\u03b1\u03b9 EdgeUnits \u03b1\u03bd\u03c4\u03af \u03b3\u03b9\u03b1 \u03b1\u03c0\u03bb\u03ae \u03ba\u03b1\u03c4\u03ac\u03c4\u03bc\u03b7\u03c3\u03b7 \u03ba\u03b5\u03b9\u03bc\u03ad\u03bd\u03bf\u03c5<\/h2>\n<p>\u0397 \u03bc\u03ad\u03b8\u03bf\u03b4\u03bf\u03c2 \u03ba\u03b1\u03c4\u03b1\u03c3\u03ba\u03b5\u03c5\u03ac\u03b6\u03b5\u03b9 \u03ad\u03bd\u03b1 \u03b4\u03ad\u03bd\u03c4\u03c1\u03bf \u03ba\u03b1\u03c4\u03b1\u03c3\u03c4\u03ac\u03c3\u03b5\u03c9\u03bd \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7\u03c2. \u039a\u03ac\u03b8\u03b5 \u03ba\u03cc\u03bc\u03b2\u03bf\u03c2 \u03c0\u03b5\u03c1\u03b9\u03b3\u03c1\u03ac\u03c6\u03b5\u03b9 \u03c4\u03b9\u03c2 \u03b4\u03b9\u03b1\u03b8\u03ad\u03c3\u03b9\u03bc\u03b5\u03c2 \u03c0\u03b1\u03c1\u03b1\u03b4\u03bf\u03c7\u03ad\u03c2 \u03ba\u03b1\u03b9 \u03c4\u03bf\u03bd \u03c4\u03c1\u03ad\u03c7\u03bf\u03bd\u03c4\u03b1 \u03c5\u03c0\u03bf\u03c3\u03c4\u03cc\u03c7\u03bf. \u039a\u03ac\u03b8\u03b5 \u03b1\u03ba\u03bc\u03ae \u03b1\u03c0\u03bf\u03c4\u03c5\u03c0\u03ce\u03bd\u03b5\u03b9 \u03bc\u03b9\u03b1 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ae \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03bc\u03b5\u03c4\u03ac\u03b2\u03b1\u03c3\u03b7, \u03cc\u03c0\u03c9\u03c2 \u03c0\u03b1\u03c1\u03b1\u03b3\u03c9\u03b3\u03ae \u03bd\u03ad\u03bf\u03c5 \u03b3\u03b5\u03b3\u03bf\u03bd\u03cc\u03c4\u03bf\u03c2, \u03b1\u03bd\u03c4\u03b9\u03ba\u03b1\u03c4\u03ac\u03c3\u03c4\u03b1\u03c3\u03b7, \u03bc\u03b5\u03af\u03c9\u03c3\u03b7 \u03c3\u03c4\u03cc\u03c7\u03bf\u03c5, \u03b4\u03b9\u03b1\u03c7\u03c9\u03c1\u03b9\u03c3\u03bc\u03cc \u03c0\u03b5\u03c1\u03b9\u03c0\u03c4\u03ce\u03c3\u03b5\u03c9\u03bd, \u03b5\u03b9\u03c3\u03b1\u03b3\u03c9\u03b3\u03ae \u03bb\u03ae\u03bc\u03bc\u03b1\u03c4\u03bf\u03c2 \u03ae \u03b5\u03c0\u03b9\u03bb\u03bf\u03b3\u03ae \u03bc\u03ac\u03c1\u03c4\u03c5\u03c1\u03b1. \u0391\u03c5\u03c4\u03ad\u03c2 \u03bf\u03b9 \u03b1\u03ba\u03bc\u03ad\u03c2 \u03bf\u03bd\u03bf\u03bc\u03ac\u03b6\u03bf\u03bd\u03c4\u03b1\u03b9 <strong>EdgeUnits<\/strong> \u03ba\u03b1\u03b9 \u03b3\u03af\u03bd\u03bf\u03bd\u03c4\u03b1\u03b9 \u03bf\u03b9 \u03b2\u03b1\u03c3\u03b9\u03ba\u03ad\u03c2 \u03bc\u03bf\u03bd\u03ac\u03b4\u03b5\u03c2 \u03b5\u03bb\u03ad\u03b3\u03c7\u03bf\u03c5.<\/p>\n<p>\u0397 \u03b4\u03b9\u03ac\u03c3\u03c0\u03b1\u03c3\u03b7 \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c0\u03b9\u03c3\u03c4\u03ae, \u03cc\u03c7\u03b9 \u00ab\u03b4\u03b9\u03bf\u03c1\u03b8\u03c9\u03c4\u03b9\u03ba\u03ae\u00bb. \u03a4\u03bf \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf \u03bf\u03c6\u03b5\u03af\u03bb\u03b5\u03b9 \u03bd\u03b1 \u03b4\u03b9\u03b1\u03c4\u03b7\u03c1\u03b5\u03af \u03c3\u03c5\u03bc\u03c0\u03b5\u03c1\u03ac\u03c3\u03bc\u03b1\u03c4\u03b1, \u03b5\u03bc\u03b2\u03ad\u03bb\u03b5\u03b9\u03b1 \u03bc\u03b5\u03c4\u03b1\u03b2\u03bb\u03b7\u03c4\u03ce\u03bd, \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03bf\u03c5\u03c2 \u03bc\u03ac\u03c1\u03c4\u03c5\u03c1\u03b5\u03c2, \u03b1\u03c1\u03b9\u03b8\u03bc\u03b7\u03c4\u03b9\u03ba\u03bf\u03cd\u03c2 \u03c5\u03c0\u03bf\u03bb\u03bf\u03b3\u03b9\u03c3\u03bc\u03bf\u03cd\u03c2 \u03ba\u03b1\u03b9 \u03b4\u03b9\u03b1\u03c4\u03c5\u03c0\u03ce\u03c3\u03b5\u03b9\u03c2 \u03ba\u03bb\u03ac\u03b4\u03c9\u03bd \u03cc\u03c0\u03c9\u03c2 \u03b5\u03bc\u03c6\u03b1\u03bd\u03af\u03b6\u03bf\u03bd\u03c4\u03b1\u03b9 \u03c3\u03c4\u03b7\u03bd \u03b1\u03c1\u03c7\u03b9\u03ba\u03ae \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7. \u0391\u03bd \u03b7 \u03c0\u03c1\u03bf\u03b5\u03c0\u03b5\u03be\u03b5\u03c1\u03b3\u03b1\u03c3\u03af\u03b1 \u03b5\u03be\u03bf\u03bc\u03b1\u03bb\u03cd\u03bd\u03b5\u03b9 \u03ad\u03bd\u03b1 \u03ac\u03b2\u03bf\u03bb\u03bf \u03ae \u03bb\u03b1\u03bd\u03b8\u03b1\u03c3\u03bc\u03ad\u03bd\u03bf \u03c3\u03b7\u03bc\u03b5\u03af\u03bf, \u03bf \u03b5\u03bb\u03b5\u03b3\u03ba\u03c4\u03ae\u03c2 \u03b8\u03b1 \u03b5\u03be\u03b5\u03c4\u03ac\u03c3\u03b5\u03b9 \u03bc\u03b9\u03b1 \u03b2\u03b5\u03bb\u03c4\u03b9\u03c9\u03bc\u03ad\u03bd\u03b7 \u03b5\u03ba\u03b4\u03bf\u03c7\u03ae \u03b1\u03bd\u03c4\u03af \u03b3\u03b9\u03b1 \u03c4\u03bf \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc \u03b1\u03bd\u03c4\u03b9\u03ba\u03b5\u03af\u03bc\u03b5\u03bd\u03bf.<\/p>\n<p>\u0391\u03c5\u03c4\u03cc \u03c0\u03b1\u03c1\u03b1\u03bc\u03ad\u03bd\u03b5\u03b9 \u03b5\u03c5\u03b1\u03af\u03c3\u03b8\u03b7\u03c4\u03bf \u03c3\u03b7\u03bc\u03b5\u03af\u03bf \u03c4\u03bf\u03c5 \u03af\u03b4\u03b9\u03bf\u03c5 \u03c4\u03bf\u03c5 pipeline. \u03a3\u03b5 \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03bf audit 50 logs \u03b4\u03b9\u03ac\u03c3\u03c0\u03b1\u03c3\u03b7\u03c2, \u03c4\u03bf \u03c4\u03b5\u03bb\u03b9\u03ba\u03cc \u03c3\u03c5\u03bc\u03c6\u03c9\u03bd\u03b7\u03bc\u03ad\u03bd\u03bf \u03b1\u03c0\u03bf\u03c4\u03ad\u03bb\u03b5\u03c3\u03bc\u03b1 \u03ae\u03c4\u03b1\u03bd \u03b4\u03b9\u03b1\u03c4\u03ae\u03c1\u03b7\u03c3\u03b7 \u03c4\u03bf\u03c5 \u03c0\u03c1\u03ce\u03c4\u03bf\u03c5 \u03bb\u03ac\u03b8\u03bf\u03c5\u03c2 \u03c3\u03b5 43 \u03b1\u03c0\u03cc \u03c4\u03b9\u03c2 50 \u03b1\u03c0\u03bf\u03b4\u03b5\u03af\u03be\u03b5\u03b9\u03c2. \u03a4\u03bf \u03c0\u03bf\u03c3\u03bf\u03c3\u03c4\u03cc \u03b4\u03b5\u03af\u03c7\u03bd\u03b5\u03b9 \u03cc\u03c4\u03b9 \u03b7 \u03b4\u03bf\u03bc\u03ae \u03b2\u03bf\u03b7\u03b8\u03ac, \u03b1\u03bb\u03bb\u03ac \u03b7 \u03bc\u03b5\u03c4\u03b1\u03c4\u03c1\u03bf\u03c0\u03ae \u03c6\u03c5\u03c3\u03b9\u03ba\u03ae\u03c2 \u03b3\u03bb\u03ce\u03c3\u03c3\u03b1\u03c2 \u03c3\u03b5 \u03bb\u03b5\u03c0\u03c4\u03bf\u03bc\u03b5\u03c1\u03b5\u03af\u03c2 \u03bc\u03bf\u03bd\u03ac\u03b4\u03b5\u03c2 \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 \u03b1\u03bb\u03ac\u03bd\u03b8\u03b1\u03c3\u03c4\u03b7.<\/p>\n<h2 id=\"suspicion-search-proteraiotita-elegxou\">Suspicion Search: \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf\u03c2 \u03bc\u03b5 \u03c0\u03c1\u03bf\u03c4\u03b5\u03c1\u03b1\u03b9\u03cc\u03c4\u03b7\u03c4\u03b1, \u03cc\u03c7\u03b9 \u03b1\u03ba\u03c1\u03b9\u03b2\u03ae \u03b5\u03c0\u03b1\u03bb\u03ae\u03b8\u03b5\u03c5\u03c3\u03b7 \u03c4\u03c9\u03bd \u03c0\u03ac\u03bd\u03c4\u03c9\u03bd<\/h2>\n<p>\u03a4\u03bf \u03b4\u03ad\u03bd\u03c4\u03c1\u03bf \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03c0\u03b5\u03c1\u03b9\u03ad\u03c7\u03b5\u03b9 \u03c0\u03bf\u03bb\u03cd \u03c0\u03b5\u03c1\u03b9\u03c3\u03c3\u03cc\u03c4\u03b5\u03c1\u03b5\u03c2 EdgeUnits \u03b1\u03c0\u03cc \u03c4\u03b1 \u03b1\u03c1\u03c7\u03b9\u03ba\u03ac \u03b2\u03ae\u03bc\u03b1\u03c4\u03b1. \u0395\u03c0\u03b5\u03b9\u03b4\u03ae \u03b7 \u03c4\u03c5\u03c0\u03b9\u03ba\u03ae \u03b5\u03c0\u03b1\u03bb\u03ae\u03b8\u03b5\u03c5\u03c3\u03b7 \u03b5\u03af\u03bd\u03b1\u03b9 \u03b1\u03ba\u03c1\u03b9\u03b2\u03ae, \u03c4\u03bf FaithSieve \u03b5\u03ba\u03c4\u03b5\u03bb\u03b5\u03af \u03c0\u03c1\u03ce\u03c4\u03b1 \u03ad\u03bd\u03b1 \u03b5\u03bb\u03b1\u03c6\u03c1\u03cd\u03c4\u03b5\u03c1\u03bf <em>Suspicion Search<\/em>. \u0393\u03b9\u03b1 \u03ba\u03ac\u03b8\u03b5 \u03bc\u03b5\u03c4\u03ac\u03b2\u03b1\u03c3\u03b7 \u03b1\u03be\u03b9\u03bf\u03bb\u03bf\u03b3\u03b5\u03af \u03c4\u03bf \u03c0\u03c1\u03b9\u03bd \u03ba\u03b1\u03b9 \u03c4\u03bf \u03bc\u03b5\u03c4\u03ac, \u03c4\u03bf\u03bd \u03c3\u03c4\u03cc\u03c7\u03bf, \u03c4\u03bf\u03bd \u03ba\u03bb\u03ac\u03b4\u03bf \u03ba\u03b1\u03b9 \u03c4\u03bf\u03bd \u03c4\u03cd\u03c0\u03bf \u03c4\u03b7\u03c2 \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae\u03c2 \u03c0\u03c1\u03ac\u03be\u03b7\u03c2. \u03a3\u03c4\u03b1 \u03c0\u03b5\u03b9\u03c1\u03ac\u03bc\u03b1\u03c4\u03b1, \u03c0\u03ac\u03bd\u03c9 \u03b1\u03c0\u03cc \u03c4\u03bf 80% \u03c4\u03c9\u03bd \u03b2\u03b1\u03b8\u03bc\u03ce\u03bd \u03c5\u03c0\u03bf\u03c8\u03af\u03b1\u03c2 \u03b2\u03c1\u03b9\u03c3\u03ba\u03cc\u03c4\u03b1\u03bd \u03c3\u03c4\u03b1 \u03b4\u03cd\u03bf \u03ac\u03ba\u03c1\u03b1 0\u20130,2 \u03ba\u03b1\u03b9 0,8\u20131,0, \u03b5\u03bd\u03ce \u03c9\u03c2 \u03c3\u03c7\u03b5\u03c4\u03b9\u03ba\u03ac \u03cd\u03c0\u03bf\u03c0\u03c4\u03b5\u03c2 \u03b8\u03b5\u03c9\u03c1\u03ae\u03b8\u03b7\u03ba\u03b1\u03bd \u03bf\u03b9 \u03b1\u03ba\u03bc\u03ad\u03c2 \u03bc\u03b5 score \u03c0\u03ac\u03bd\u03c9 \u03b1\u03c0\u03cc 0,6.<\/p>\n<p>\u03a4\u03bf \u03c3\u03cd\u03c3\u03c4\u03b7\u03bc\u03b1 \u03b4\u03b5\u03bd \u03b5\u03c0\u03b9\u03bb\u03ad\u03b3\u03b5\u03b9 \u03b1\u03c0\u03bb\u03ce\u03c2 \u03c4\u03b7 \u03bc\u03b5\u03c4\u03ac\u03b2\u03b1\u03c3\u03b7 \u03bc\u03b5 \u03c4\u03b7 \u03bc\u03b5\u03b3\u03b1\u03bb\u03cd\u03c4\u03b5\u03c1\u03b7 \u03b2\u03b1\u03b8\u03bc\u03bf\u03bb\u03bf\u03b3\u03af\u03b1. \u0395\u03c0\u03b9\u03bb\u03ad\u03b3\u03b5\u03b9 \u03c4\u03b7\u03bd \u03c0\u03c1\u03ce\u03c4\u03b7 \u03cd\u03c0\u03bf\u03c0\u03c4\u03b7 \u03bc\u03bf\u03bd\u03ac\u03b4\u03b1 \u03ba\u03b1\u03b9 \u03b5\u03be\u03b5\u03c4\u03ac\u03b6\u03b5\u03b9 \u03ad\u03bd\u03b1 \u03bc\u03b9\u03ba\u03c1\u03cc \u03c0\u03c1\u03bf\u03b7\u03b3\u03bf\u03cd\u03bc\u03b5\u03bd\u03bf \u03c0\u03b1\u03c1\u03ac\u03b8\u03c5\u03c1\u03bf, \u03b5\u03c0\u03b5\u03b9\u03b4\u03ae \u03ad\u03bd\u03b1 \u03c3\u03c6\u03ac\u03bb\u03bc\u03b1 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b3\u03af\u03bd\u03b5\u03b9 \u03bf\u03c1\u03b1\u03c4\u03cc \u03bc\u03cc\u03bd\u03bf \u03cc\u03c4\u03b1\u03bd \u03b7 \u03c3\u03c5\u03bd\u03ad\u03c0\u03b5\u03b9\u03ac \u03c4\u03bf\u03c5 \u03b5\u03bc\u03c6\u03b1\u03bd\u03b9\u03c3\u03c4\u03b5\u03af \u03b1\u03c1\u03b3\u03cc\u03c4\u03b5\u03c1\u03b1. \u03a3\u03c4\u03b9\u03c2 \u03c0\u03b5\u03b9\u03c1\u03b1\u03bc\u03b1\u03c4\u03b9\u03ba\u03ad\u03c2 \u03c1\u03c5\u03b8\u03bc\u03af\u03c3\u03b5\u03b9\u03c2 \u03c4\u03bf audit window \u03ae\u03c4\u03b1\u03bd \u03ad\u03be\u03b9: \u03b7 \u03cd\u03c0\u03bf\u03c0\u03c4\u03b7 \u03bc\u03bf\u03bd\u03ac\u03b4\u03b1 \u03bc\u03b1\u03b6\u03af \u03bc\u03b5 \u03ad\u03c9\u03c2 \u03ad\u03be\u03b9 \u03c0\u03c1\u03bf\u03b7\u03b3\u03bf\u03cd\u03bc\u03b5\u03bd\u03b5\u03c2 \u03bb\u03b5\u03c0\u03c4\u03bf\u03bc\u03b5\u03c1\u03b5\u03af\u03c2 \u03bc\u03bf\u03bd\u03ac\u03b4\u03b5\u03c2.<\/p>\n<p>\u0397 \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03b5\u03af\u03bd\u03b1\u03b9 \u03bf\u03b9\u03ba\u03bf\u03bd\u03bf\u03bc\u03af\u03b1 \u03b5\u03bb\u03ad\u03b3\u03c7\u03bf\u03c5, \u03cc\u03c7\u03b9 \u03c0\u03b1\u03c1\u03ac\u03bb\u03b5\u03b9\u03c8\u03b7 \u03b5\u03c5\u03b8\u03cd\u03bd\u03b7\u03c2. \u0388\u03bd\u03b1\u03c2 \u03c6\u03b8\u03b7\u03bd\u03cc\u03c2 \u03b1\u03bd\u03b9\u03c7\u03bd\u03b5\u03c5\u03c4\u03ae\u03c2 \u03c0\u03c1\u03bf\u03c4\u03b5\u03c1\u03b1\u03b9\u03bf\u03c0\u03bf\u03b9\u03b5\u03af \u03c4\u03b9\u03c2 \u03bc\u03b5\u03c4\u03b1\u03b2\u03ac\u03c3\u03b5\u03b9\u03c2 \u03ba\u03b1\u03b9 \u03bf \u03b1\u03ba\u03c1\u03b9\u03b2\u03cc\u03c4\u03b5\u03c1\u03bf\u03c2 prover \u03c0\u03b1\u03c1\u03ac\u03b3\u03b5\u03b9 \u03b9\u03c3\u03c7\u03c5\u03c1\u03cc\u03c4\u03b5\u03c1\u03bf \u03c4\u03b5\u03ba\u03bc\u03ae\u03c1\u03b9\u03bf \u03bc\u03cc\u03bd\u03bf \u03b5\u03ba\u03b5\u03af \u03cc\u03c0\u03bf\u03c5 \u03c5\u03c0\u03ac\u03c1\u03c7\u03b5\u03b9 \u03bf\u03c5\u03c3\u03b9\u03b1\u03c3\u03c4\u03b9\u03ba\u03ae \u03c5\u03c0\u03bf\u03c8\u03af\u03b1. \u03a3\u03b5 \u03c0\u03b1\u03c1\u03b1\u03b3\u03c9\u03b3\u03b9\u03ba\u03cc \u03c0\u03b5\u03c1\u03b9\u03b2\u03ac\u03bb\u03bb\u03bf\u03bd, \u03b7 \u03af\u03b4\u03b9\u03b1 \u03b1\u03c1\u03c7\u03ae \u03b1\u03c0\u03b1\u03b9\u03c4\u03b5\u03af \u03bd\u03b1 \u03ba\u03b1\u03c4\u03b1\u03b3\u03c1\u03ac\u03c6\u03b5\u03c4\u03b1\u03b9 \u03c0\u03bf\u03b9\u03bf\u03c2 \u03bc\u03b7\u03c7\u03b1\u03bd\u03b9\u03c3\u03bc\u03cc\u03c2 \u03ad\u03b4\u03c9\u03c3\u03b5 \u03c4\u03bf risk score \u03ba\u03b1\u03b9 \u03c0\u03bf\u03b9\u03b1 \u03b2\u03ae\u03bc\u03b1\u03c4\u03b1 \u03c4\u03b5\u03bb\u03b9\u03ba\u03ac \u03b4\u03b5\u03bd \u03b5\u03bb\u03ad\u03b3\u03c7\u03b8\u03b7\u03ba\u03b1\u03bd \u03c4\u03c5\u03c0\u03b9\u03ba\u03ac.<\/p>\n<h2 id=\"typikes-ypochreoseis-apodeixis\">\u0391\u03c0\u03cc \u03c4\u03b7 \u03bc\u03b5\u03c4\u03ac\u03b2\u03b1\u03c3\u03b7 \u03c3\u03b5 \u03c1\u03b7\u03c4\u03ae \u03c5\u03c0\u03bf\u03c7\u03c1\u03ad\u03c9\u03c3\u03b7 \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7\u03c2<\/h2>\n<p>\u039c\u03b9\u03b1 EdgeUnit \u03c0\u03b5\u03c1\u03b9\u03b3\u03c1\u03ac\u03c6\u03b5\u03b9 \u03c4\u03b9 \u03ac\u03bb\u03bb\u03b1\u03be\u03b5, \u03b1\u03bb\u03bb\u03ac \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 \u03b1\u03ba\u03cc\u03bc\u03b7 \u03bc\u03b9\u03b1 \u03c0\u03c1\u03cc\u03c4\u03b1\u03c3\u03b7 \u03c0\u03bf\u03c5 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b5\u03bb\u03ad\u03b3\u03be\u03b5\u03b9 \u03ad\u03bd\u03b1\u03c2 prover. \u03a4\u03bf FaithSieve \u03bc\u03b5\u03c4\u03b1\u03c4\u03c1\u03ad\u03c0\u03b5\u03b9 \u03ba\u03ac\u03b8\u03b5 \u03b5\u03c0\u03b9\u03bb\u03b5\u03b3\u03bc\u03ad\u03bd\u03b7 \u03bc\u03b5\u03c4\u03ac\u03b2\u03b1\u03c3\u03b7 \u03c3\u03b5 \u03c4\u03c5\u03c0\u03bf\u03c0\u03bf\u03b9\u03b7\u03bc\u03ad\u03bd\u03b7 \u03c5\u03c0\u03bf\u03c7\u03c1\u03ad\u03c9\u03c3\u03b7. \u039f\u03b9 \u03ba\u03b1\u03c4\u03b7\u03b3\u03bf\u03c1\u03af\u03b5\u03c2 \u03c0\u03b5\u03c1\u03b9\u03bb\u03b1\u03bc\u03b2\u03ac\u03bd\u03bf\u03c5\u03bd \u03bd\u03ad\u03bf \u03c0\u03b1\u03c1\u03b1\u03b3\u03cc\u03bc\u03b5\u03bd\u03bf \u03b3\u03b5\u03b3\u03bf\u03bd\u03cc\u03c2, \u03b9\u03c3\u03bf\u03b4\u03cd\u03bd\u03b1\u03bc\u03b7 \u03b1\u03bd\u03c4\u03b9\u03ba\u03b1\u03c4\u03ac\u03c3\u03c4\u03b1\u03c3\u03b7, \u03bc\u03b5\u03af\u03c9\u03c3\u03b7 \u03c3\u03c4\u03cc\u03c7\u03bf\u03c5, \u03c3\u03c5\u03bd\u03b4\u03c5\u03b1\u03c3\u03bc\u03cc \u03bd\u03ad\u03bf\u03c5 \u03b3\u03b5\u03b3\u03bf\u03bd\u03cc\u03c4\u03bf\u03c2 \u03ba\u03b1\u03b9 \u03bc\u03b5\u03af\u03c9\u03c3\u03b7\u03c2, \u03ba\u03ac\u03bb\u03c5\u03c8\u03b7 \u03c0\u03b5\u03c1\u03b9\u03c0\u03c4\u03ce\u03c3\u03b5\u03c9\u03bd, \u03b1\u03c0\u03cc\u03c1\u03c1\u03b9\u03c8\u03b7 \u03b1\u03b4\u03cd\u03bd\u03b1\u03c4\u03bf\u03c5 \u03ba\u03bb\u03ac\u03b4\u03bf\u03c5, \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf \u03bc\u03ac\u03c1\u03c4\u03c5\u03c1\u03b1 \u03ba\u03b1\u03b9 \u03b3\u03b5\u03bd\u03b9\u03ba\u03ae \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03c3\u03c5\u03bd\u03b5\u03c0\u03b1\u03b3\u03c9\u03b3\u03ae.<\/p>\n<p>\u0397 \u03b4\u03b9\u03ac\u03ba\u03c1\u03b9\u03c3\u03b7 \u03ad\u03c7\u03b5\u03b9 \u03c0\u03c1\u03b1\u03ba\u03c4\u03b9\u03ba\u03ae \u03c3\u03b7\u03bc\u03b1\u03c3\u03af\u03b1. \u038c\u03c4\u03b1\u03bd \u03bc\u03b9\u03b1 \u03bc\u03b5\u03c4\u03ac\u03b2\u03b1\u03c3\u03b7 \u03c4\u03b1\u03c5\u03c4\u03cc\u03c7\u03c1\u03bf\u03bd\u03b1 \u03b5\u03b9\u03c3\u03ac\u03b3\u03b5\u03b9 \u03bd\u03ad\u03bf \u03b3\u03b5\u03b3\u03bf\u03bd\u03cc\u03c2 \u03ba\u03b1\u03b9 \u03b1\u03bb\u03bb\u03ac\u03b6\u03b5\u03b9 \u03c4\u03bf\u03bd \u03c3\u03c4\u03cc\u03c7\u03bf, \u03c4\u03bf \u03bd\u03ad\u03bf \u03b3\u03b5\u03b3\u03bf\u03bd\u03cc\u03c2 \u03b4\u03b5\u03bd \u03b5\u03c0\u03b9\u03c4\u03c1\u03ad\u03c0\u03b5\u03c4\u03b1\u03b9 \u03bd\u03b1 \u03c7\u03c1\u03b7\u03c3\u03b9\u03bc\u03bf\u03c0\u03bf\u03b9\u03b7\u03b8\u03b5\u03af \u03c9\u03c2 \u03c0\u03c1\u03bf\u03cb\u03c0\u03cc\u03b8\u03b5\u03c3\u03b7 \u03c0\u03c1\u03b9\u03bd \u03b5\u03bb\u03b5\u03b3\u03c7\u03b8\u03b5\u03af. \u0397 \u03bc\u03ad\u03b8\u03bf\u03b4\u03bf\u03c2 \u03b4\u03b7\u03bc\u03b9\u03bf\u03c5\u03c1\u03b3\u03b5\u03af \u03b4\u03cd\u03bf \u03c5\u03c0\u03bf\u03c7\u03c1\u03b5\u03ce\u03c3\u03b5\u03b9\u03c2: \u03c0\u03c1\u03ce\u03c4\u03b1 \u03b1\u03bd \u03bf \u03bd\u03ad\u03bf\u03c2 \u03b9\u03c3\u03c7\u03c5\u03c1\u03b9\u03c3\u03bc\u03cc\u03c2 \u03b1\u03ba\u03bf\u03bb\u03bf\u03c5\u03b8\u03b5\u03af \u03b1\u03c0\u03cc \u03c4\u03bf \u03c0\u03c1\u03bf\u03b7\u03b3\u03bf\u03cd\u03bc\u03b5\u03bd\u03bf \u03c0\u03bb\u03b1\u03af\u03c3\u03b9\u03bf \u03ba\u03b1\u03b9 \u03ad\u03c0\u03b5\u03b9\u03c4\u03b1 \u03b1\u03bd \u03b7 \u03b1\u03bb\u03bb\u03b1\u03b3\u03ae \u03c3\u03c4\u03cc\u03c7\u03bf\u03c5 \u03b4\u03b9\u03ba\u03b1\u03b9\u03bf\u03bb\u03bf\u03b3\u03b5\u03af\u03c4\u03b1\u03b9 \u03bc\u03b5 \u03c4\u03bf\u03bd \u03b9\u03c3\u03c7\u03c5\u03c1\u03b9\u03c3\u03bc\u03cc \u03b4\u03b9\u03b1\u03b8\u03ad\u03c3\u03b9\u03bc\u03bf.<\/p>\n<p>\u03a3\u03b5 \u03ad\u03bd\u03b1 \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b7\u03c3\u03b9\u03b1\u03ba\u03cc workflow, \u03c4\u03bf \u03b1\u03bd\u03c4\u03af\u03c3\u03c4\u03bf\u03b9\u03c7\u03bf \u03bb\u03ac\u03b8\u03bf\u03c2 \u03b5\u03af\u03bd\u03b1\u03b9 \u03bd\u03b1 \u03c7\u03c1\u03b7\u03c3\u03b9\u03bc\u03bf\u03c0\u03bf\u03b9\u03b5\u03af\u03c4\u03b1\u03b9 \u03bc\u03b9\u03b1 \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7 \u03c9\u03c2 \u03b4\u03b5\u03b4\u03bf\u03bc\u03ad\u03bd\u03bf \u03c3\u03c4\u03b7\u03bd \u03af\u03b4\u03b9\u03b1 \u03c3\u03c4\u03b9\u03b3\u03bc\u03ae \u03c0\u03bf\u03c5 \u03c5\u03c0\u03bf\u03c4\u03af\u03b8\u03b5\u03c4\u03b1\u03b9 \u03cc\u03c4\u03b9 \u03b1\u03be\u03b9\u03bf\u03bb\u03bf\u03b3\u03b5\u03af\u03c4\u03b1\u03b9. \u0393\u03b9\u03b1 \u03c0\u03b1\u03c1\u03ac\u03b4\u03b5\u03b9\u03b3\u03bc\u03b1, \u03ad\u03bd\u03b1 fraud score \u03b4\u03b5\u03bd \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03b8\u03b5\u03c9\u03c1\u03b5\u03af\u03c4\u03b1\u03b9 \u03b5\u03c0\u03b9\u03b2\u03b5\u03b2\u03b1\u03b9\u03c9\u03bc\u03ad\u03bd\u03bf evidence \u03bc\u03ad\u03c3\u03b1 \u03c3\u03c4\u03bf \u03b2\u03ae\u03bc\u03b1 \u03c0\u03bf\u03c5 \u03c0\u03b1\u03c1\u03ac\u03b3\u03b5\u03b9 \u03c4\u03bf \u03af\u03b4\u03b9\u03bf score. \u0397 \u03c3\u03b5\u03b9\u03c1\u03ac \u03b5\u03be\u03b1\u03c1\u03c4\u03ae\u03c3\u03b5\u03c9\u03bd \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c1\u03b7\u03c4\u03ae, \u03ce\u03c3\u03c4\u03b5 \u03ba\u03ac\u03b8\u03b5 \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7 \u03bd\u03b1 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b5\u03bb\u03b5\u03b3\u03c7\u03b8\u03b5\u03af \u03c7\u03c9\u03c1\u03af\u03c2 \u03ba\u03c5\u03ba\u03bb\u03b9\u03ba\u03ae \u03b1\u03b9\u03c4\u03b9\u03bf\u03bb\u03cc\u03b3\u03b7\u03c3\u03b7.<\/p>\n<h2 id=\"simasiologiki-pyli-faithfulness\">\u0397 \u03c3\u03b7\u03bc\u03b1\u03c3\u03b9\u03bf\u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03c0\u03cd\u03bb\u03b7 \u03c0\u03bf\u03c5 \u03b5\u03bc\u03c0\u03bf\u03b4\u03af\u03b6\u03b5\u03b9 \u03ad\u03bd\u03b1 \u00ab\u03c3\u03c9\u03c3\u03c4\u03cc\u00bb \u03b1\u03bb\u03bb\u03ac \u03ac\u03c3\u03c7\u03b5\u03c4\u03bf Lean proof<\/h2>\n<p>\u03a4\u03bf \u03b4\u03b5\u03cd\u03c4\u03b5\u03c1\u03bf \u03ba\u03b5\u03bd\u03c4\u03c1\u03b9\u03ba\u03cc \u03c0\u03c1\u03cc\u03b2\u03bb\u03b7\u03bc\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 \u03b7 \u03c3\u03b7\u03bc\u03b1\u03c3\u03b9\u03bf\u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03b1\u03c0\u03cc\u03ba\u03bb\u03b9\u03c3\u03b7. \u039a\u03b1\u03c4\u03ac \u03c4\u03b7\u03bd \u03b1\u03c5\u03c4\u03cc\u03bc\u03b1\u03c4\u03b7 \u03bc\u03b5\u03c4\u03b1\u03c4\u03c1\u03bf\u03c0\u03ae \u03b1\u03c0\u03cc \u03c6\u03c5\u03c3\u03b9\u03ba\u03ae \u03b3\u03bb\u03ce\u03c3\u03c3\u03b1 \u03c3\u03b5 Lean \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03c7\u03b1\u03b8\u03b5\u03af \u03bc\u03b9\u03b1 \u03c5\u03c0\u03cc\u03b8\u03b5\u03c3\u03b7, \u03bd\u03b1 \u03b1\u03bb\u03bb\u03ac\u03be\u03b5\u03b9 \u03ad\u03bd\u03b1 \u03b1\u03bd\u03c4\u03b9\u03ba\u03b5\u03af\u03bc\u03b5\u03bd\u03bf, \u03bd\u03b1 \u03b1\u03bd\u03c4\u03b9\u03c3\u03c4\u03c1\u03b1\u03c6\u03b5\u03af \u03b7 \u03c6\u03bf\u03c1\u03ac \u03bc\u03b9\u03b1\u03c2 \u03c3\u03c5\u03bd\u03b5\u03c0\u03b1\u03b3\u03c9\u03b3\u03ae\u03c2, \u03bd\u03b1 \u03b1\u03bb\u03bb\u03ac\u03be\u03b5\u03b9 \u03b7 \u03c3\u03b5\u03b9\u03c1\u03ac \u03c0\u03bf\u03c3\u03bf\u03b4\u03b5\u03b9\u03ba\u03c4\u03ce\u03bd \u03ae \u03bd\u03b1 \u03b1\u03c0\u03bf\u03b4\u03c5\u03bd\u03b1\u03bc\u03c9\u03b8\u03b5\u03af \u03c4\u03bf \u03c3\u03c5\u03bc\u03c0\u03ad\u03c1\u03b1\u03c3\u03bc\u03b1. \u03a4\u03cc\u03c4\u03b5 \u03c4\u03bf Lean \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b1\u03c0\u03bf\u03b4\u03b5\u03af\u03be\u03b5\u03b9 \u03ac\u03c8\u03bf\u03b3\u03b1 \u03bc\u03b9\u03b1 \u03c0\u03c1\u03cc\u03c4\u03b1\u03c3\u03b7 \u03c0\u03bf\u03c5 \u03b4\u03b5\u03bd \u03b1\u03bd\u03c4\u03b9\u03c3\u03c4\u03bf\u03b9\u03c7\u03b5\u03af \u03c0\u03bb\u03ad\u03bf\u03bd \u03c3\u03c4\u03bf\u03bd \u03b1\u03c1\u03c7\u03b9\u03ba\u03cc \u03b9\u03c3\u03c7\u03c5\u03c1\u03b9\u03c3\u03bc\u03cc.<\/p>\n<p>\u03a4\u03bf FaithSieve \u03b5\u03b9\u03c3\u03ac\u03b3\u03b5\u03b9 \u03b2\u03b1\u03b8\u03bc\u03bf\u03bb\u03bf\u03b3\u03af\u03b1 \u03c0\u03b9\u03c3\u03c4\u03cc\u03c4\u03b7\u03c4\u03b1\u03c2 \u03c0\u03bf\u03c5 \u03c3\u03c5\u03bd\u03b4\u03c5\u03ac\u03b6\u03b5\u03b9 \u03c4\u03b7 \u03b4\u03b9\u03b1\u03c4\u03ae\u03c1\u03b7\u03c3\u03b7 \u03c4\u03c9\u03bd \u03c0\u03c1\u03bf\u03cb\u03c0\u03bf\u03b8\u03ad\u03c3\u03b5\u03c9\u03bd, \u03c4\u03b7 \u03b4\u03b9\u03b1\u03c4\u03ae\u03c1\u03b7\u03c3\u03b7 \u03c4\u03bf\u03c5 \u03c3\u03c5\u03bc\u03c0\u03b5\u03c1\u03ac\u03c3\u03bc\u03b1\u03c4\u03bf\u03c2 \u03ba\u03b1\u03b9 \u03bc\u03b9\u03b1 \u03bf\u03bb\u03b9\u03c3\u03c4\u03b9\u03ba\u03ae \u03c3\u03b7\u03bc\u03b1\u03c3\u03b9\u03bf\u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03b1\u03be\u03b9\u03bf\u03bb\u03cc\u03b3\u03b7\u03c3\u03b7. \u0397 \u03c4\u03b5\u03bb\u03b5\u03c5\u03c4\u03b1\u03af\u03b1 \u03b5\u03be\u03b5\u03c4\u03ac\u03b6\u03b5\u03b9 \u03c0\u03ad\u03bd\u03c4\u03b5 \u03cc\u03c8\u03b5\u03b9\u03c2: \u03c0\u03b9\u03c3\u03c4\u03cc\u03c4\u03b7\u03c4\u03b1 \u03c4\u03b7\u03c2 \u03af\u03b4\u03b9\u03b1\u03c2 \u03bc\u03b5\u03c4\u03ac\u03b2\u03b1\u03c3\u03b7\u03c2, \u03c4\u03c9\u03bd \u03b1\u03bd\u03c4\u03b9\u03ba\u03b5\u03b9\u03bc\u03ad\u03bd\u03c9\u03bd \u03ba\u03b1\u03b9 \u03bc\u03b1\u03c1\u03c4\u03cd\u03c1\u03c9\u03bd, \u03c4\u03b7\u03c2 \u03ba\u03b1\u03c4\u03b5\u03cd\u03b8\u03c5\u03bd\u03c3\u03b7\u03c2, \u03c4\u03c9\u03bd \u03bb\u03bf\u03b3\u03b9\u03ba\u03ce\u03bd \u03c1\u03cc\u03bb\u03c9\u03bd \u03ba\u03b1\u03b9 \u03c4\u03b7\u03c2 \u03c3\u03c5\u03bd\u03c4\u03b1\u03ba\u03c4\u03b9\u03ba\u03ae\u03c2 \u03b5\u03c0\u03b9\u03c6\u03ac\u03bd\u03b5\u03b9\u03b1\u03c2. \u0397 \u03ba\u03b1\u03c4\u03b5\u03cd\u03b8\u03c5\u03bd\u03c3\u03b7, \u03b7 \u03c3\u03c4\u03bf\u03af\u03c7\u03b9\u03c3\u03b7 \u03c1\u03cc\u03bb\u03c9\u03bd \u03ba\u03b1\u03b9 \u03b7 \u03c0\u03b9\u03c3\u03c4\u03cc\u03c4\u03b7\u03c4\u03b1 \u03c4\u03bf\u03c5 \u03c3\u03c5\u03bc\u03c0\u03b5\u03c1\u03ac\u03c3\u03bc\u03b1\u03c4\u03bf\u03c2 \u03b5\u03af\u03bd\u03b1\u03b9 \u03ba\u03c1\u03af\u03c3\u03b9\u03bc\u03b5\u03c2. \u0388\u03bd\u03b1\u03c2 \u03c5\u03c8\u03b7\u03bb\u03cc\u03c2 \u03bc\u03ad\u03c3\u03bf\u03c2 \u03cc\u03c1\u03bf\u03c2 \u03b4\u03b5\u03bd \u00ab\u03c3\u03b2\u03ae\u03bd\u03b5\u03b9\u00bb \u03c4\u03b7\u03bd \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7 \u03c4\u03bf\u03c5 \u03b1\u03bd\u03c4\u03b9\u03c3\u03c4\u03c1\u03cc\u03c6\u03bf\u03c5 \u03ae \u03c4\u03b7\u03bd \u03c5\u03b9\u03bf\u03b8\u03ad\u03c4\u03b7\u03c3\u03b7 \u03c4\u03bf\u03c5 \u03b6\u03b7\u03c4\u03bf\u03cd\u03bc\u03b5\u03bd\u03bf\u03c5 \u03c9\u03c2 \u03c5\u03c0\u03cc\u03b8\u03b5\u03c3\u03b7\u03c2.<\/p>\n<div class=\"td-decision-band\">\n<p class=\"td-decision-kicker\">\u039a\u03b1\u03bd\u03cc\u03bd\u03b1\u03c2 \u03c0\u03b9\u03c3\u03c4\u03cc\u03c4\u03b7\u03c4\u03b1\u03c2<\/p>\n<p class=\"td-decision-title\"><strong>\u039c\u03b7\u03bd \u03b1\u03c0\u03bf\u03b4\u03ad\u03c7\u03b5\u03c3\u03c4\u03b5 \u03c4\u03b5\u03ba\u03bc\u03ae\u03c1\u03b9\u03bf \u03c0\u03c1\u03b9\u03bd \u03b5\u03bb\u03ad\u03b3\u03be\u03b5\u03c4\u03b5 \u03cc\u03c4\u03b9 \u03b1\u03c0\u03b1\u03bd\u03c4\u03ac \u03c3\u03c4\u03b7\u03bd \u03b1\u03c1\u03c7\u03b9\u03ba\u03ae \u03b5\u03c1\u03ce\u03c4\u03b7\u03c3\u03b7<\/strong><\/p>\n<p>\u0397 \u03c4\u03b5\u03c7\u03bd\u03b9\u03ba\u03ae \u03b5\u03b3\u03ba\u03c5\u03c1\u03cc\u03c4\u03b7\u03c4\u03b1 \u03ba\u03b1\u03b9 \u03b7 \u03c3\u03b7\u03bc\u03b1\u03c3\u03b9\u03bf\u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03c3\u03c5\u03bd\u03ac\u03c6\u03b5\u03b9\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 \u03b4\u03cd\u03bf \u03b4\u03b9\u03b1\u03c6\u03bf\u03c1\u03b5\u03c4\u03b9\u03ba\u03bf\u03af \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf\u03b9. \u0388\u03bd\u03b1 proof, test \u03ae policy check \u03b1\u03c0\u03bf\u03ba\u03c4\u03ac \u03b1\u03be\u03af\u03b1 \u03bc\u03cc\u03bd\u03bf \u03cc\u03c4\u03b1\u03bd \u03bf\u03b9 \u03c0\u03c1\u03bf\u03cb\u03c0\u03bf\u03b8\u03ad\u03c3\u03b5\u03b9\u03c2, \u03c4\u03b1 \u03b1\u03bd\u03c4\u03b9\u03ba\u03b5\u03af\u03bc\u03b5\u03bd\u03b1, \u03b7 \u03ba\u03b1\u03c4\u03b5\u03cd\u03b8\u03c5\u03bd\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03c4\u03bf \u03c3\u03c5\u03bc\u03c0\u03ad\u03c1\u03b1\u03c3\u03bc\u03b1 \u03c0\u03b1\u03c1\u03b1\u03bc\u03ad\u03bd\u03bf\u03c5\u03bd \u03b5\u03c5\u03b8\u03c5\u03b3\u03c1\u03b1\u03bc\u03bc\u03b9\u03c3\u03bc\u03ad\u03bd\u03b1 \u03bc\u03b5 \u03c4\u03b7\u03bd \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7 \u03c0\u03bf\u03c5 \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03bb\u03b7\u03c6\u03b8\u03b5\u03af.<\/p>\n<\/div>\n<h2 id=\"passed-refuted-inconclusive\">\u03a4\u03c1\u03b5\u03b9\u03c2 \u03b5\u03ba\u03b2\u03ac\u03c3\u03b5\u03b9\u03c2: passed, refuted \u03ae inconclusive<\/h2>\n<p>\u0393\u03b9\u03b1 \u03ba\u03b1\u03b8\u03b1\u03c1\u03ac \u03b1\u03c1\u03b9\u03b8\u03bc\u03b7\u03c4\u03b9\u03ba\u03ad\u03c2 \u03b9\u03c3\u03cc\u03c4\u03b7\u03c4\u03b5\u03c2 \u03ba\u03b1\u03b9 \u03c3\u03c5\u03b3\u03ba\u03c1\u03af\u03c3\u03b5\u03b9\u03c2 \u03c7\u03c9\u03c1\u03af\u03c2 \u03bc\u03b5\u03c4\u03b1\u03b2\u03bb\u03b7\u03c4\u03ad\u03c2 \u03ae \u03c6\u03c5\u03c3\u03b9\u03ba\u03bf\u03b3\u03bb\u03c9\u03c3\u03c3\u03b9\u03ba\u03ae \u03b5\u03be\u03ae\u03b3\u03b7\u03c3\u03b7, \u03c7\u03c1\u03b7\u03c3\u03b9\u03bc\u03bf\u03c0\u03bf\u03b9\u03b5\u03af\u03c4\u03b1\u03b9 \u03ad\u03bd\u03b1\u03c2 \u03b5\u03bb\u03b1\u03c6\u03c1\u03cd\u03c2 \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf\u03c2 \u03bc\u03b5 SymPy. \u0393\u03b9\u03b1 \u03c4\u03b9\u03c2 \u03c5\u03c0\u03cc\u03bb\u03bf\u03b9\u03c0\u03b5\u03c2 \u03c5\u03c0\u03bf\u03c7\u03c1\u03b5\u03ce\u03c3\u03b5\u03b9\u03c2 \u03c0\u03b1\u03c1\u03ac\u03b3\u03b5\u03c4\u03b1\u03b9 \u03b4\u03ae\u03bb\u03c9\u03c3\u03b7 Lean, \u03b4\u03b9\u03bf\u03c1\u03b8\u03ce\u03bd\u03bf\u03bd\u03c4\u03b1\u03b9 \u03c0\u03b9\u03b8\u03b1\u03bd\u03ac \u03c0\u03c1\u03bf\u03b2\u03bb\u03ae\u03bc\u03b1\u03c4\u03b1 \u03c3\u03cd\u03bd\u03c4\u03b1\u03be\u03b7\u03c2 \u03ae \u03c4\u03cd\u03c0\u03c9\u03bd, \u03b5\u03c6\u03b1\u03c1\u03bc\u03cc\u03b6\u03b5\u03c4\u03b1\u03b9 \u03b7 \u03c3\u03b7\u03bc\u03b1\u03c3\u03b9\u03bf\u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03c0\u03cd\u03bb\u03b7 \u03ba\u03b1\u03b9 \u03bc\u03cc\u03bd\u03bf \u03c4\u03cc\u03c4\u03b5 \u03be\u03b5\u03ba\u03b9\u03bd\u03ac \u03b7 \u03b1\u03bd\u03b1\u03b6\u03ae\u03c4\u03b7\u03c3\u03b7 \u03c4\u03c5\u03c0\u03b9\u03ba\u03ae\u03c2 \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7\u03c2. \u0391\u03bd \u03c5\u03c0\u03ac\u03c1\u03c7\u03b5\u03b9 \u03c5\u03c0\u03bf\u03c8\u03af\u03b1 \u03bb\u03ac\u03b8\u03bf\u03c5\u03c2, \u03bf agent \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03ae\u03c3\u03b5\u03b9 \u03c4\u03b7\u03bd \u03ac\u03c1\u03bd\u03b7\u03c3\u03b7 \u03c4\u03b7\u03c2 \u03c0\u03c1\u03cc\u03c4\u03b1\u03c3\u03b7\u03c2 \u03ae \u03bd\u03b1 \u03b1\u03bd\u03b1\u03b6\u03b7\u03c4\u03ae\u03c3\u03b5\u03b9 \u03b1\u03bd\u03c4\u03b9\u03c0\u03b1\u03c1\u03ac\u03b4\u03b5\u03b9\u03b3\u03bc\u03b1.<\/p>\n<p>\u03a4\u03bf \u03b1\u03c0\u03bf\u03c4\u03ad\u03bb\u03b5\u03c3\u03bc\u03b1 \u03b3\u03b9\u03b1 \u03ba\u03ac\u03b8\u03b5 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ae \u03c5\u03c0\u03bf\u03c7\u03c1\u03ad\u03c9\u03c3\u03b7 \u03b5\u03af\u03bd\u03b1\u03b9 <em>passed<\/em>, <em>refuted<\/em> \u03ae <em>inconclusive<\/em>. \u0397 \u03b1\u03c0\u03bf\u03c4\u03c5\u03c7\u03af\u03b1 \u03b1\u03bd\u03b1\u03b6\u03ae\u03c4\u03b7\u03c3\u03b7\u03c2 \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7\u03c2 \u03b4\u03b5\u03bd \u03b2\u03b1\u03c6\u03c4\u03af\u03b6\u03b5\u03c4\u03b1\u03b9 \u03bc\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc \u03c3\u03c6\u03ac\u03bb\u03bc\u03b1, \u03b5\u03c0\u03b5\u03b9\u03b4\u03ae \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03bf\u03c6\u03b5\u03af\u03bb\u03b5\u03c4\u03b1\u03b9 \u03c3\u03b5 timeout, \u03b2\u03b9\u03b2\u03bb\u03b9\u03bf\u03b8\u03ae\u03ba\u03b5\u03c2, compiler errors \u03ae \u03b4\u03c5\u03c3\u03ba\u03bf\u03bb\u03af\u03b1 \u03b1\u03bd\u03b1\u03c0\u03b1\u03c1\u03ac\u03c3\u03c4\u03b1\u03c3\u03b7\u03c2. \u03a3\u03c4\u03bf \u03c4\u03ad\u03bb\u03bf\u03c2, \u03c4\u03b1 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ac \u03c4\u03b5\u03ba\u03bc\u03ae\u03c1\u03b9\u03b1 \u03b5\u03c0\u03b9\u03c3\u03c4\u03c1\u03ad\u03c6\u03bf\u03c5\u03bd \u03c3\u03c4\u03b1 \u03b1\u03c1\u03c7\u03b9\u03ba\u03ac \u03b1\u03c1\u03b9\u03b8\u03bc\u03b7\u03bc\u03ad\u03bd\u03b1 \u03b2\u03ae\u03bc\u03b1\u03c4\u03b1 \u03ba\u03b1\u03b9 \u03c4\u03bf \u03c3\u03cd\u03c3\u03c4\u03b7\u03bc\u03b1 \u03b5\u03c0\u03b9\u03bb\u03ad\u03b3\u03b5\u03b9 \u03c4\u03bf \u03c0\u03c1\u03ce\u03c4\u03bf \u03c3\u03b7\u03bc\u03b5\u03af\u03bf \u03bc\u03b5 \u03b1\u03be\u03b9\u03cc\u03c0\u03b9\u03c3\u03c4\u03b7 \u03b1\u03c1\u03bd\u03b7\u03c4\u03b9\u03ba\u03ae \u03ad\u03bd\u03b4\u03b5\u03b9\u03be\u03b7.<\/p>\n<p>Die Kategorie <em>inconclusive<\/em> \u03b5\u03af\u03bd\u03b1\u03b9 \u03bf\u03c5\u03c3\u03b9\u03ce\u03b4\u03b7\u03c2 \u03b3\u03b9\u03b1 \u03b1\u03c3\u03c6\u03b1\u03bb\u03ae \u03b1\u03c5\u03c4\u03bf\u03bc\u03b1\u03c4\u03bf\u03c0\u03bf\u03af\u03b7\u03c3\u03b7. \u0395\u03bc\u03c0\u03bf\u03b4\u03af\u03b6\u03b5\u03b9 \u03c4\u03bf \u03c3\u03cd\u03c3\u03c4\u03b7\u03bc\u03b1 \u03bd\u03b1 \u03bc\u03b5\u03c4\u03b1\u03c4\u03c1\u03ad\u03c0\u03b5\u03b9 \u03c4\u03b7\u03bd \u03ad\u03bb\u03bb\u03b5\u03b9\u03c8\u03b7 \u03b1\u03c0\u03bf\u03b4\u03b5\u03af\u03be\u03b5\u03c9\u03bd \u03c3\u03b5 \u03b2\u03b5\u03b2\u03b1\u03b9\u03cc\u03c4\u03b7\u03c4\u03b1. \u03a3\u03b5 customer support, \u03bf\u03b9\u03ba\u03bf\u03bd\u03bf\u03bc\u03b9\u03ba\u03ad\u03c2 \u03b5\u03b3\u03ba\u03c1\u03af\u03c3\u03b5\u03b9\u03c2 \u03ae \u03c1\u03c5\u03b8\u03bc\u03b9\u03b6\u03cc\u03bc\u03b5\u03bd\u03bf \u03c0\u03b5\u03c1\u03b9\u03b5\u03c7\u03cc\u03bc\u03b5\u03bd\u03bf, \u03ad\u03bd\u03b1 \u03c4\u03ad\u03c4\u03bf\u03b9\u03bf \u03b1\u03c0\u03bf\u03c4\u03ad\u03bb\u03b5\u03c3\u03bc\u03b1 \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03bf\u03b4\u03b7\u03b3\u03b5\u03af \u03c3\u03b5 human handoff \u03ba\u03b1\u03b9 \u03cc\u03c7\u03b9 \u03c3\u03b5 \u03b1\u03c5\u03b8\u03b1\u03af\u03c1\u03b5\u03c4\u03bf pass \u03ae block.<\/p>\n<h2 id=\"benchmark-proofloc-apotelesmata\">\u03a4\u03b9 \u03ad\u03b4\u03b5\u03b9\u03be\u03b1\u03bd \u03c4\u03b1 \u03b4\u03cd\u03bf expert-verified ProofLoc benchmarks<\/h2>\n<p>\u039f\u03b9 \u03b5\u03c1\u03b5\u03c5\u03bd\u03b7\u03c4\u03ad\u03c2 \u03b4\u03b7\u03bc\u03b9\u03bf\u03cd\u03c1\u03b3\u03b7\u03c3\u03b1\u03bd \u03b4\u03cd\u03bf \u03c3\u03cd\u03bd\u03bf\u03bb\u03b1 \u03b4\u03b5\u03b4\u03bf\u03bc\u03ad\u03bd\u03c9\u03bd. \u03a4\u03bf ProofLoc-Olympiad \u03c0\u03b5\u03c1\u03b9\u03bb\u03b1\u03bc\u03b2\u03ac\u03bd\u03b5\u03b9 350 \u03c0\u03c1\u03bf\u03b2\u03bb\u03ae\u03bc\u03b1\u03c4\u03b1 \u03ac\u03bb\u03b3\u03b5\u03b2\u03c1\u03b1\u03c2 \u03ba\u03b1\u03b9 \u03b8\u03b5\u03c9\u03c1\u03af\u03b1\u03c2 \u03b1\u03c1\u03b9\u03b8\u03bc\u03ce\u03bd. \u03a4\u03bf ProofLoc-University \u03c0\u03b5\u03c1\u03b9\u03bb\u03b1\u03bc\u03b2\u03ac\u03bd\u03b5\u03b9 200 \u03c0\u03c1\u03bf\u03b2\u03bb\u03ae\u03bc\u03b1\u03c4\u03b1 \u03b1\u03c0\u03cc \u03c4\u03bf\u03c0\u03bf\u03bb\u03bf\u03b3\u03af\u03b1, \u03b3\u03c1\u03b1\u03bc\u03bc\u03b9\u03ba\u03ae \u03ac\u03bb\u03b3\u03b5\u03b2\u03c1\u03b1, \u03b1\u03c6\u03b7\u03c1\u03b7\u03bc\u03ad\u03bd\u03b7 \u03ac\u03bb\u03b3\u03b5\u03b2\u03c1\u03b1, \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae \u03b1\u03bd\u03ac\u03bb\u03c5\u03c3\u03b7, \u03ba\u03c5\u03c1\u03c4\u03ae \u03b1\u03bd\u03ac\u03bb\u03c5\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03ba\u03c5\u03c1\u03c4\u03ae \u03b2\u03b5\u03bb\u03c4\u03b9\u03c3\u03c4\u03bf\u03c0\u03bf\u03af\u03b7\u03c3\u03b7. \u039f\u03b9 \u03c5\u03c0\u03bf\u03c8\u03ae\u03c6\u03b9\u03b5\u03c2 \u03b1\u03c0\u03bf\u03b4\u03b5\u03af\u03be\u03b5\u03b9\u03c2 \u03c0\u03b1\u03c1\u03ac\u03c7\u03b8\u03b7\u03ba\u03b1\u03bd \u03b1\u03c0\u03cc GPT-4o \u03ba\u03b1\u03b9 \u03b5\u03c0\u03b9\u03c3\u03b7\u03bc\u03ac\u03bd\u03b8\u03b7\u03ba\u03b1\u03bd \u03b1\u03c0\u03cc \u03b5\u03b9\u03b4\u03b9\u03ba\u03bf\u03cd\u03c2 \u03c9\u03c2 \u03c0\u03c1\u03bf\u03c2 \u03c4\u03b7\u03bd \u03bf\u03c1\u03b8\u03cc\u03c4\u03b7\u03c4\u03b1 \u03ba\u03b1\u03b9 \u03c4\u03bf \u03c0\u03c1\u03ce\u03c4\u03bf \u03bb\u03b1\u03bd\u03b8\u03b1\u03c3\u03bc\u03ad\u03bd\u03bf \u03c7\u03bf\u03bd\u03b4\u03c1\u03bf\u03b5\u03b9\u03b4\u03ad\u03c2 \u03b2\u03ae\u03bc\u03b1.<\/p>\n<p>\u039c\u03b5 backbone GPT-5.4, \u03c4\u03bf FaithSieve \u03c0\u03ad\u03c4\u03c5\u03c7\u03b5 81,43% exact accuracy \u03c3\u03c4\u03bf Olympiad, \u03ad\u03bd\u03b1\u03bd\u03c4\u03b9 72,29% \u03c4\u03bf\u03c5 \u03ac\u03bc\u03b5\u03c3\u03bf\u03c5 \u03ba\u03c1\u03b9\u03c4\u03ae, \u03ba\u03b1\u03b9 93,71% binary accuracy \u03ad\u03bd\u03b1\u03bd\u03c4\u03b9 88,29%. \u03a3\u03c4\u03bf University \u03c0\u03ad\u03c4\u03c5\u03c7\u03b5 84,50% exact \u03ad\u03bd\u03b1\u03bd\u03c4\u03b9 75,00% \u03ba\u03b1\u03b9 92,50% binary \u03ad\u03bd\u03b1\u03bd\u03c4\u03b9 87,00%. \u03a4\u03b1 \u03c0\u03bf\u03c3\u03bf\u03c3\u03c4\u03ac \u03b1\u03c6\u03bf\u03c1\u03bf\u03cd\u03bd \u03b1\u03c5\u03c4\u03ac \u03c4\u03b1 \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03b1 benchmarks \u03ba\u03b1\u03b9 \u03c4\u03b9\u03c2 \u03c0\u03b5\u03c1\u03b9\u03b3\u03c1\u03b1\u03c6\u03cc\u03bc\u03b5\u03bd\u03b5\u03c2 \u03c1\u03c5\u03b8\u03bc\u03af\u03c3\u03b5\u03b9\u03c2. \u0394\u03b5\u03bd \u03b1\u03c0\u03bf\u03c4\u03b5\u03bb\u03bf\u03cd\u03bd \u03b3\u03b5\u03bd\u03b9\u03ba\u03ae \u03c0\u03b9\u03c3\u03c4\u03bf\u03c0\u03bf\u03af\u03b7\u03c3\u03b7 \u03b3\u03b9\u03b1 \u03ba\u03ac\u03b8\u03b5 \u03bc\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc \u03c0\u03b5\u03b4\u03af\u03bf \u03ae \u03ba\u03ac\u03b8\u03b5 \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b7\u03c3\u03b9\u03b1\u03ba\u03cc workflow.<\/p>\n<div class=\"td-chart td-chart--metrics\" role=\"img\" aria-label=\"\u0392\u03b1\u03c3\u03b9\u03ba\u03ac \u03b4\u03b7\u03bc\u03bf\u03c3\u03b9\u03b5\u03c5\u03bc\u03ad\u03bd\u03b1 \u03b1\u03c0\u03bf\u03c4\u03b5\u03bb\u03ad\u03c3\u03bc\u03b1\u03c4\u03b1 \u03c4\u03bf\u03c5 FaithSieve \u03bc\u03b5 backbone GPT-5.4\">\n<div class=\"td-chart-head\">\n<p class=\"td-chart-title\">\u0397 \u03b5\u03b9\u03ba\u03cc\u03bd\u03b1 \u03c4\u03b7\u03c2 \u03b1\u03be\u03b9\u03bf\u03bb\u03cc\u03b3\u03b7\u03c3\u03b7\u03c2 FaithSieve<\/p>\n<p class=\"td-chart-subtitle\">\u0391\u03c0\u03bf\u03c4\u03b5\u03bb\u03ad\u03c3\u03bc\u03b1\u03c4\u03b1 \u03c4\u03b7\u03c2 \u03c0\u03c1\u03c9\u03c4\u03bf\u03b3\u03b5\u03bd\u03bf\u03cd\u03c2 \u03b5\u03c1\u03b3\u03b1\u03c3\u03af\u03b1\u03c2 \u03c3\u03b5 expert-verified benchmarks, \u03cc\u03c7\u03b9 \u03c0\u03c1\u03cc\u03b2\u03bb\u03b5\u03c8\u03b7 \u03c0\u03b1\u03c1\u03b1\u03b3\u03c9\u03b3\u03b9\u03ba\u03ae\u03c2 \u03b1\u03c0\u03cc\u03b4\u03bf\u03c3\u03b7\u03c2.<\/p>\n<\/div>\n<div class=\"td-chart-body\">\n<div class=\"td-metric-grid td-metric-grid--four-columns\">\n<div class=\"td-metric-card\"><span class=\"td-metric-value\">350<\/span><span class=\"td-metric-label\">Olympiad \u03c0\u03c1\u03bf\u03b2\u03bb\u03ae\u03bc\u03b1\u03c4\u03b1<\/span><span class=\"td-metric-note\">\u0386\u03bb\u03b3\u03b5\u03b2\u03c1\u03b1 \u03ba\u03b1\u03b9 \u03b8\u03b5\u03c9\u03c1\u03af\u03b1 \u03b1\u03c1\u03b9\u03b8\u03bc\u03ce\u03bd<\/span><\/div>\n<div class=\"td-metric-card\"><span class=\"td-metric-value\">81,43%<\/span><span class=\"td-metric-label\">exact accuracy<\/span><span class=\"td-metric-note\">FaithSieve \u03c3\u03c4\u03bf ProofLoc-Olympiad<\/span><\/div>\n<div class=\"td-metric-card\"><span class=\"td-metric-value\">84,50%<\/span><span class=\"td-metric-label\">exact accuracy<\/span><span class=\"td-metric-note\">FaithSieve \u03c3\u03c4\u03bf ProofLoc-University<\/span><\/div>\n<div class=\"td-metric-card\"><span class=\"td-metric-value\">137,22\u00d7<\/span><span class=\"td-metric-label\">token ratio<\/span><span class=\"td-metric-note\">FaithSieve \u03c0\u03c1\u03bf\u03c2 Direct@1 \u03c3\u03c4\u03b7 \u03b4\u03bf\u03ba\u03b9\u03bc\u03ae \u03ba\u03cc\u03c3\u03c4\u03bf\u03c5\u03c2 GPT-5.4<\/span><\/div>\n<\/div>\n<\/div>\n<\/div>\n<p>\u0397 \u03b5\u03b9\u03ba\u03cc\u03bd\u03b1 \u03b4\u03b9\u03b1\u03c6\u03ad\u03c1\u03b5\u03b9 \u03b1\u03bd\u03ac \u03b3\u03bd\u03c9\u03c3\u03c4\u03b9\u03ba\u03cc \u03b1\u03bd\u03c4\u03b9\u03ba\u03b5\u03af\u03bc\u03b5\u03bd\u03bf. \u03a3\u03c4\u03bf University, \u03b7 exact accuracy \u03ae\u03c4\u03b1\u03bd 100% \u03c3\u03c4\u03b7 \u03b3\u03c1\u03b1\u03bc\u03bc\u03b9\u03ba\u03ae \u03ac\u03bb\u03b3\u03b5\u03b2\u03c1\u03b1, 97,5% \u03c3\u03c4\u03b7\u03bd \u03b1\u03c6\u03b7\u03c1\u03b7\u03bc\u03ad\u03bd\u03b7 \u03ac\u03bb\u03b3\u03b5\u03b2\u03c1\u03b1, 80% \u03c3\u03c4\u03b7\u03bd \u03c4\u03bf\u03c0\u03bf\u03bb\u03bf\u03b3\u03af\u03b1, \u03c4\u03b7\u03bd \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae \u03b1\u03bd\u03ac\u03bb\u03c5\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03c4\u03b7\u03bd \u03ba\u03c5\u03c1\u03c4\u03ae \u03b2\u03b5\u03bb\u03c4\u03b9\u03c3\u03c4\u03bf\u03c0\u03bf\u03af\u03b7\u03c3\u03b7, \u03ba\u03b1\u03b9 60% \u03c3\u03c4\u03b7\u03bd \u03ba\u03c5\u03c1\u03c4\u03ae \u03b1\u03bd\u03ac\u03bb\u03c5\u03c3\u03b7. \u039f\u03b9 \u03c3\u03c5\u03b3\u03b3\u03c1\u03b1\u03c6\u03b5\u03af\u03c2 \u03b4\u03af\u03bd\u03bf\u03c5\u03bd Wilson 95% confidence intervals, \u03c4\u03b1 \u03bf\u03c0\u03bf\u03af\u03b1 \u03c0\u03b1\u03c1\u03b1\u03bc\u03ad\u03bd\u03bf\u03c5\u03bd \u03b5\u03c5\u03c1\u03ad\u03b1 \u03c3\u03b5 \u03ba\u03b1\u03c4\u03b7\u03b3\u03bf\u03c1\u03af\u03b5\u03c2 \u03bc\u03b5 \u03bc\u03cc\u03bd\u03bf 20 \u03ad\u03c9\u03c2 40 \u03c0\u03b1\u03c1\u03b1\u03b4\u03b5\u03af\u03b3\u03bc\u03b1\u03c4\u03b1.<\/p>\n<h2 id=\"ablations-domi-den-arkei\">\u03a4\u03b1 ablations \u03b4\u03b5\u03af\u03c7\u03bd\u03bf\u03c5\u03bd \u03cc\u03c4\u03b9 \u03b7 \u03b4\u03bf\u03bc\u03ae \u03bc\u03cc\u03bd\u03b7 \u03c4\u03b7\u03c2 \u03b4\u03b5\u03bd \u03b1\u03c1\u03ba\u03b5\u03af<\/h2>\n<p>\u039f\u03b9 \u03b1\u03c6\u03b1\u03b9\u03c1\u03b5\u03c4\u03b9\u03ba\u03ad\u03c2 \u03b4\u03bf\u03ba\u03b9\u03bc\u03ad\u03c2 \u03b1\u03c0\u03bf\u03ba\u03b1\u03bb\u03cd\u03c0\u03c4\u03bf\u03c5\u03bd \u03c0\u03bf\u03b9\u03b1 \u03c3\u03c5\u03c3\u03c4\u03b1\u03c4\u03b9\u03ba\u03ac \u03c3\u03c5\u03bd\u03b5\u03b9\u03c3\u03c6\u03ad\u03c1\u03bf\u03c5\u03bd. \u03a3\u03c4\u03bf Olympiad \u03bc\u03b5 GPT-5.4, \u03b7 \u03c0\u03bb\u03ae\u03c1\u03b7\u03c2 \u03bc\u03ad\u03b8\u03bf\u03b4\u03bf\u03c2 \u03ad\u03c6\u03c4\u03b1\u03c3\u03b5 81,43% exact accuracy. \u0397 \u03b5\u03ba\u03b4\u03bf\u03c7\u03ae \u03c7\u03c9\u03c1\u03af\u03c2 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ad\u03c2 EdgeUnits \u03ad\u03c0\u03b5\u03c3\u03b5 \u03c3\u03c4\u03bf 60,86%, \u03b5\u03bd\u03ce \u03b7 \u03b5\u03ba\u03b4\u03bf\u03c7\u03ae \u03c7\u03c9\u03c1\u03af\u03c2 \u03c3\u03b7\u03bc\u03b1\u03c3\u03b9\u03bf\u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03c0\u03cd\u03bb\u03b7 \u03c3\u03c4\u03bf 70,86%. \u0397 \u03b5\u03ba\u03b4\u03bf\u03c7\u03ae \u03bc\u03b5 EdgeUnits \u03b1\u03bb\u03bb\u03ac \u03bc\u03cc\u03bd\u03bf \u03c6\u03c5\u03c3\u03b9\u03ba\u03bf\u03b3\u03bb\u03c9\u03c3\u03c3\u03b9\u03ba\u03cc \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf, \u03c7\u03c9\u03c1\u03af\u03c2 Lean \u03ba\u03b1\u03b9 \u03b1\u03c1\u03b9\u03b8\u03bc\u03b7\u03c4\u03b9\u03ba\u03ac \u03c4\u03b5\u03ba\u03bc\u03ae\u03c1\u03b9\u03b1, \u03ad\u03c6\u03c4\u03b1\u03c3\u03b5 73,43%.<\/p>\n<p>\u03a4\u03b1 \u03b1\u03c0\u03bf\u03c4\u03b5\u03bb\u03ad\u03c3\u03bc\u03b1\u03c4\u03b1 \u03c5\u03c0\u03bf\u03c3\u03c4\u03b7\u03c1\u03af\u03b6\u03bf\u03c5\u03bd \u03b4\u03cd\u03bf \u03be\u03b5\u03c7\u03c9\u03c1\u03b9\u03c3\u03c4\u03ad\u03c2 \u03b8\u03ad\u03c3\u03b5\u03b9\u03c2 \u03c4\u03b7\u03c2 \u03bc\u03b5\u03bb\u03ad\u03c4\u03b7\u03c2: \u03b7 \u03b4\u03b9\u03ac\u03c3\u03c0\u03b1\u03c3\u03b7 \u03c3\u03b5 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ac, \u03b5\u03bb\u03ad\u03b3\u03be\u03b9\u03bc\u03b1 \u03b1\u03bd\u03c4\u03b9\u03ba\u03b5\u03af\u03bc\u03b5\u03bd\u03b1 \u03ad\u03c7\u03b5\u03b9 \u03bc\u03b5\u03b3\u03ac\u03bb\u03b7 \u03b1\u03be\u03af\u03b1, \u03b1\u03bb\u03bb\u03ac \u03b7 \u03c4\u03c5\u03c0\u03b9\u03ba\u03ae \u03b5\u03c0\u03b9\u03c4\u03c5\u03c7\u03af\u03b1 \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03c6\u03b9\u03bb\u03c4\u03c1\u03ac\u03c1\u03b5\u03c4\u03b1\u03b9 \u03c9\u03c2 \u03c0\u03c1\u03bf\u03c2 \u03c4\u03bf \u03bd\u03cc\u03b7\u03bc\u03b1. \u03a7\u03c9\u03c1\u03af\u03c2 \u03c4\u03b7 \u03c3\u03b7\u03bc\u03b1\u03c3\u03b9\u03bf\u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03c0\u03cd\u03bb\u03b7, \u03bc\u03b9\u03b1 \u03c4\u03b5\u03c7\u03bd\u03b9\u03ba\u03ac \u03ad\u03b3\u03ba\u03c5\u03c1\u03b7 \u03b1\u03bb\u03bb\u03ac \u03bc\u03b5\u03c4\u03b1\u03c4\u03bf\u03c0\u03b9\u03c3\u03bc\u03ad\u03bd\u03b7 \u03b4\u03ae\u03bb\u03c9\u03c3\u03b7 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03bc\u03bf\u03bb\u03cd\u03bd\u03b5\u03b9 \u03c4\u03b7\u03bd \u03c4\u03b5\u03bb\u03b9\u03ba\u03ae \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7.<\/p>\n<div class=\"td-comparison-cards\">\n<article class=\"td-platform-card\">\n<h3>\u0386\u03bc\u03b5\u03c3\u03bf\u03c2 LLM \u03ba\u03c1\u03b9\u03c4\u03ae\u03c2<\/h3>\n<p>\u0392\u03bb\u03ad\u03c0\u03b5\u03b9 \u03c4\u03bf \u03c0\u03c1\u03cc\u03b2\u03bb\u03b7\u03bc\u03b1 \u03ba\u03b1\u03b9 \u03bf\u03bb\u03cc\u03ba\u03bb\u03b7\u03c1\u03b7 \u03c4\u03b7\u03bd \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7, \u03ad\u03c0\u03b5\u03b9\u03c4\u03b1 \u03c0\u03c1\u03bf\u03b2\u03bb\u03ad\u03c0\u03b5\u03b9 \u00abcorrect\u00bb \u03ae \u03c4\u03bf \u03c0\u03c1\u03ce\u03c4\u03bf \u03bb\u03ac\u03b8\u03bf\u03c2 \u03c3\u03b5 \u03ad\u03bd\u03b1 \u03c0\u03ad\u03c1\u03b1\u03c3\u03bc\u03b1. \u0395\u03af\u03bd\u03b1\u03b9 \u03c6\u03b8\u03b7\u03bd\u03cc\u03c4\u03b5\u03c1\u03bf\u03c2 \u03ba\u03b1\u03b9 \u03b1\u03c0\u03bb\u03bf\u03cd\u03c3\u03c4\u03b5\u03c1\u03bf\u03c2, \u03b1\u03bb\u03bb\u03ac \u03b7 \u03ba\u03c1\u03af\u03c3\u03b7 \u03c4\u03bf\u03c5 \u03b4\u03b5\u03bd \u03c3\u03c5\u03bd\u03bf\u03b4\u03b5\u03cd\u03b5\u03c4\u03b1\u03b9 \u03b1\u03c0\u03cc \u03c4\u03bf\u03c0\u03b9\u03ba\u03cc, \u03c4\u03c5\u03c0\u03b9\u03ba\u03cc \u03c4\u03b5\u03ba\u03bc\u03ae\u03c1\u03b9\u03bf.<\/p>\n<div class=\"td-badge-row\"><span class=\"td-badge\">\u0393\u03c1\u03ae\u03b3\u03bf\u03c1\u03b7 \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7<\/span><span class=\"td-badge\">\u03a0\u03b5\u03c1\u03b9\u03bf\u03c1\u03b9\u03c3\u03bc\u03ad\u03bd\u03b7 \u03b9\u03c7\u03bd\u03b7\u03bb\u03b1\u03c3\u03b9\u03bc\u03cc\u03c4\u03b7\u03c4\u03b1<\/span><\/div>\n<\/article>\n<article class=\"td-platform-card td-platform-card--navy\">\n<h3>FaithSieve \u03bc\u03b5 \u03c4\u03bf\u03c0\u03b9\u03ba\u03cc evidence<\/h3>\n<p>\u0394\u03b9\u03b1\u03c3\u03c0\u03ac \u03c4\u03b7 \u03b4\u03b9\u03b1\u03b4\u03c1\u03bf\u03bc\u03ae, \u03c0\u03c1\u03bf\u03c4\u03b5\u03c1\u03b1\u03b9\u03bf\u03c0\u03bf\u03b9\u03b5\u03af \u03cd\u03c0\u03bf\u03c0\u03c4\u03b5\u03c2 \u03bc\u03b5\u03c4\u03b1\u03b2\u03ac\u03c3\u03b5\u03b9\u03c2, \u03b4\u03b7\u03bc\u03b9\u03bf\u03c5\u03c1\u03b3\u03b5\u03af typed obligations \u03ba\u03b1\u03b9 \u03b4\u03ad\u03c7\u03b5\u03c4\u03b1\u03b9 Lean evidence \u03bc\u03cc\u03bd\u03bf \u03bc\u03b5\u03c4\u03ac \u03b1\u03c0\u03cc semantic alignment. \u03a0\u03c1\u03bf\u03c3\u03c6\u03ad\u03c1\u03b5\u03b9 \u03c0\u03bb\u03bf\u03c5\u03c3\u03b9\u03cc\u03c4\u03b5\u03c1\u03bf audit trail \u03bc\u03b5 \u03c0\u03bf\u03bb\u03cd \u03c5\u03c8\u03b7\u03bb\u03cc\u03c4\u03b5\u03c1\u03bf \u03ba\u03cc\u03c3\u03c4\u03bf\u03c2.<\/p>\n<div class=\"td-badge-row\"><span class=\"td-badge\">\u03a0\u03c1\u03ce\u03c4\u03bf \u03c3\u03b7\u03bc\u03b5\u03af\u03bf \u03b1\u03c3\u03c4\u03bf\u03c7\u03af\u03b1\u03c2<\/span><span class=\"td-badge\">\u03a1\u03b7\u03c4\u03ae \u03b1\u03b2\u03b5\u03b2\u03b1\u03b9\u03cc\u03c4\u03b7\u03c4\u03b1<\/span><\/div>\n<\/article>\n<\/div>\n<p>\u03a4\u03bf \u03b5\u03cd\u03c1\u03b7\u03bc\u03b1 \u03c3\u03c5\u03bd\u03b4\u03ad\u03b5\u03c4\u03b1\u03b9 \u03ac\u03bc\u03b5\u03c3\u03b1 \u03bc\u03b5 \u03c4\u03bf\u03c5\u03c2 \u03c0\u03b5\u03c1\u03b9\u03bf\u03c1\u03b9\u03c3\u03bc\u03bf\u03cd\u03c2 \u03c0\u03bf\u03c5 \u03ad\u03c7\u03bf\u03c5\u03bd \u03bf\u03b9 <a href=\"https:\/\/twodots.gr\/llm-judges-ai-agents-megalyteros-kritis-den-arkei\/\">LLM judges \u03cc\u03c4\u03b1\u03bd \u03b1\u03be\u03b9\u03bf\u03bb\u03bf\u03b3\u03bf\u03cd\u03bd \u03c3\u03cd\u03bd\u03b8\u03b5\u03c4\u03b7 \u03c3\u03c5\u03bc\u03c0\u03b5\u03c1\u03b9\u03c6\u03bf\u03c1\u03ac AI agents<\/a>. \u03a0\u03b5\u03c1\u03b9\u03c3\u03c3\u03cc\u03c4\u03b5\u03c1\u03b7 \u03b9\u03c3\u03c7\u03cd\u03c2 \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf\u03c5 \u03b4\u03b5\u03bd \u03b1\u03bd\u03c4\u03b9\u03ba\u03b1\u03b8\u03b9\u03c3\u03c4\u03ac \u03b1\u03bd\u03b1\u03b3\u03ba\u03b1\u03c3\u03c4\u03b9\u03ba\u03ac \u03c4\u03b7\u03bd \u03b1\u03c0\u03bf\u03c3\u03cd\u03bd\u03b8\u03b5\u03c3\u03b7 \u03c4\u03bf\u03c5 \u03c0\u03c1\u03bf\u03b2\u03bb\u03ae\u03bc\u03b1\u03c4\u03bf\u03c2, \u03c4\u03bf \u03ba\u03b1\u03c4\u03ac\u03bb\u03bb\u03b7\u03bb\u03bf \u03b5\u03c1\u03b3\u03b1\u03bb\u03b5\u03af\u03bf \u03b5\u03bb\u03ad\u03b3\u03c7\u03bf\u03c5 \u03ba\u03b1\u03b9 \u03c4\u03b7\u03bd \u03ba\u03b1\u03c4\u03b1\u03b3\u03c1\u03b1\u03c6\u03ae \u03c4\u03bf\u03c5 evidence.<\/p>\n<h2 id=\"kostos-periorismoi\">\u0397 \u03bc\u03b5\u03b3\u03ac\u03bb\u03b7 \u03b5\u03c0\u03b9\u03b2\u03ac\u03c1\u03c5\u03bd\u03c3\u03b7 \u03ba\u03cc\u03c3\u03c4\u03bf\u03c5\u03c2 \u03ba\u03b1\u03b9 \u03bf\u03b9 \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03bf\u03af \u03c0\u03b5\u03c1\u03b9\u03bf\u03c1\u03b9\u03c3\u03bc\u03bf\u03af<\/h2>\n<p>\u0397 \u03b2\u03b5\u03bb\u03c4\u03af\u03c9\u03c3\u03b7 \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 \u03b4\u03c9\u03c1\u03b5\u03ac\u03bd. \u03a3\u03b5 \u03c3\u03c4\u03b1\u03b8\u03b5\u03c1\u03ae \u03b1\u03be\u03b9\u03bf\u03bb\u03cc\u03b3\u03b7\u03c3\u03b7 50 \u03c0\u03c1\u03bf\u03b2\u03bb\u03b7\u03bc\u03ac\u03c4\u03c9\u03bd, \u03b7 \u03ba\u03b1\u03c4\u03b1\u03b3\u03b5\u03b3\u03c1\u03b1\u03bc\u03bc\u03ad\u03bd\u03b7 \u03bc\u03ad\u03c3\u03b7 \u03ba\u03b1\u03c4\u03b1\u03bd\u03ac\u03bb\u03c9\u03c3\u03b7 \u03b3\u03b9\u03b1 GPT-5.4 \u03ae\u03c4\u03b1\u03bd 910,74 tokens \u03b1\u03bd\u03ac \u03c0\u03c1\u03cc\u03b2\u03bb\u03b7\u03bc\u03b1 \u03b3\u03b9\u03b1 Direct@1 \u03ba\u03b1\u03b9 124.970,56 \u03b3\u03b9\u03b1 FaithSieve, \u03b4\u03b7\u03bb\u03b1\u03b4\u03ae 137,22 \u03c6\u03bf\u03c1\u03ad\u03c2 \u03bc\u03b5\u03b3\u03b1\u03bb\u03cd\u03c4\u03b5\u03c1\u03b7. \u0393\u03b9\u03b1 Qwen3.5-9B, \u03b7 \u03b1\u03bd\u03b1\u03bb\u03bf\u03b3\u03af\u03b1 \u03ae\u03c4\u03b1\u03bd 152,11 \u03c6\u03bf\u03c1\u03ad\u03c2. \u0397 \u03b5\u03c1\u03b3\u03b1\u03c3\u03af\u03b1 \u03b4\u03b5\u03af\u03c7\u03bd\u03b5\u03b9 \u03b5\u03c0\u03af\u03c3\u03b7\u03c2 \u03cc\u03c4\u03b9 \u03b7 \u03b4\u03b9\u03ac\u03b8\u03b5\u03c3\u03b7 \u03b1\u03bd\u03c4\u03af\u03c3\u03c4\u03bf\u03b9\u03c7\u03bf\u03c5 budget \u03c3\u03b5 \u03b5\u03c0\u03b1\u03bd\u03b1\u03bb\u03b1\u03bc\u03b2\u03b1\u03bd\u03cc\u03bc\u03b5\u03bd\u03b5\u03c2 \u03c6\u03c5\u03c3\u03b9\u03ba\u03bf\u03b3\u03bb\u03c9\u03c3\u03c3\u03b9\u03ba\u03ad\u03c2 \u03ba\u03c1\u03af\u03c3\u03b5\u03b9\u03c2 \u03b4\u03b5\u03bd \u03b1\u03bd\u03b1\u03c0\u03b1\u03c1\u03ae\u03b3\u03b1\u03b3\u03b5 \u03c4\u03bf \u03af\u03b4\u03b9\u03bf \u03ba\u03ad\u03c1\u03b4\u03bf\u03c2, \u03cc\u03bc\u03c9\u03c2 \u03b1\u03c5\u03c4\u03cc \u03b4\u03b5\u03bd \u03ba\u03ac\u03bd\u03b5\u03b9 \u03c4\u03b7\u03bd \u03c0\u03c1\u03bf\u03c4\u03b5\u03b9\u03bd\u03cc\u03bc\u03b5\u03bd\u03b7 \u03bc\u03ad\u03b8\u03bf\u03b4\u03bf \u03c6\u03b8\u03b7\u03bd\u03ae.<\/p>\n<p>\u03a5\u03c0\u03ac\u03c1\u03c7\u03bf\u03c5\u03bd \u03b1\u03ba\u03cc\u03bc\u03b7 \u03c0\u03b5\u03c1\u03b9\u03bf\u03c1\u03b9\u03c3\u03bc\u03bf\u03af \u03ba\u03ac\u03bb\u03c5\u03c8\u03b7\u03c2 \u03ba\u03b1\u03b9 \u03b1\u03be\u03b9\u03bf\u03c0\u03b9\u03c3\u03c4\u03af\u03b1\u03c2. \u0397 \u03c0\u03b1\u03c1\u03b1\u03b3\u03c9\u03b3\u03ae \u03b4\u03ae\u03bb\u03c9\u03c3\u03b7\u03c2, \u03b7 \u03b5\u03c0\u03b9\u03b4\u03b9\u03cc\u03c1\u03b8\u03c9\u03c3\u03b7 compile errors, \u03b7 \u03b1\u03bd\u03b1\u03b6\u03ae\u03c4\u03b7\u03c3\u03b7 \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7\u03c2 \u03ba\u03b1\u03b9 \u03b7 \u03ba\u03b1\u03bd\u03bf\u03bd\u03b9\u03ba\u03bf\u03c0\u03bf\u03af\u03b7\u03c3\u03b7 \u03c4\u03b5\u03ba\u03bc\u03b7\u03c1\u03af\u03c9\u03bd \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b1\u03c0\u03bf\u03c4\u03cd\u03c7\u03bf\u03c5\u03bd \u03ae \u03bd\u03b1 \u03bb\u03ae\u03be\u03bf\u03c5\u03bd \u03c7\u03c1\u03bf\u03bd\u03b9\u03ba\u03ac. \u0391\u03c3\u03c5\u03bc\u03c6\u03c9\u03bd\u03af\u03b5\u03c2 \u03b1\u03bd\u03ac\u03bc\u03b5\u03c3\u03b1 \u03c3\u03c4\u03b9\u03c2 \u03ad\u03bd\u03bd\u03bf\u03b9\u03b5\u03c2 \u03c4\u03b7\u03c2 \u03c6\u03c5\u03c3\u03b9\u03ba\u03ae\u03c2 \u03b3\u03bb\u03ce\u03c3\u03c3\u03b1\u03c2 \u03ba\u03b1\u03b9 \u03c3\u03c4\u03bf\u03c5\u03c2 \u03bf\u03c1\u03b9\u03c3\u03bc\u03bf\u03cd\u03c2 \u03c4\u03bf\u03c5 mathlib \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03bc\u03b5\u03c4\u03b1\u03c4\u03c1\u03ad\u03c8\u03bf\u03c5\u03bd \u03ad\u03bd\u03b1\u03bd \u03b5\u03bb\u03ad\u03b3\u03be\u03b9\u03bc\u03bf \u03b9\u03c3\u03c7\u03c5\u03c1\u03b9\u03c3\u03bc\u03cc \u03c3\u03b5 \u03b1\u03b2\u03ad\u03b2\u03b1\u03b9\u03bf \u03b1\u03c0\u03bf\u03c4\u03ad\u03bb\u03b5\u03c3\u03bc\u03b1. \u0397 \u03b3\u03b5\u03c9\u03bc\u03b5\u03c4\u03c1\u03af\u03b1 \u03ba\u03b1\u03b9 \u03b7 \u03c3\u03c5\u03bd\u03b4\u03c5\u03b1\u03c3\u03c4\u03b9\u03ba\u03ae \u03b1\u03c0\u03b1\u03b9\u03c4\u03bf\u03cd\u03bd \u03b4\u03b9\u03b1\u03b3\u03c1\u03ac\u03bc\u03bc\u03b1\u03c4\u03b1, \u03ba\u03b1\u03c4\u03b1\u03c3\u03ba\u03b5\u03c5\u03ad\u03c2 \u03ae \u03b5\u03b9\u03b4\u03b9\u03ba\u03ad\u03c2 \u03ba\u03c9\u03b4\u03b9\u03ba\u03bf\u03c0\u03bf\u03b9\u03ae\u03c3\u03b5\u03b9\u03c2 \u03c0\u03bf\u03c5 \u03b4\u03b5\u03bd \u03ba\u03b1\u03bb\u03cd\u03c0\u03c4\u03bf\u03bd\u03c4\u03b1\u03b9 \u03b5\u03c0\u03b1\u03c1\u03ba\u03ce\u03c2 \u03b1\u03c0\u03cc \u03c4\u03b1 \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03b1 benchmarks.<\/p>\n<div class=\"td-article-note\"><strong>Korrekte Aussprache von Zahlen:<\/strong> \u03b7 \u03b5\u03c1\u03b3\u03b1\u03c3\u03af\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 preprint \u03ba\u03b1\u03b9 \u03bc\u03b5\u03c4\u03c1\u03ac \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03b1 datasets, backbones \u03ba\u03b1\u03b9 frozen \u03c1\u03c5\u03b8\u03bc\u03af\u03c3\u03b5\u03b9\u03c2. \u03a4\u03b1 \u03c0\u03bf\u03c3\u03bf\u03c3\u03c4\u03ac \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 SLA, \u03c0\u03b9\u03c3\u03c4\u03bf\u03c0\u03bf\u03af\u03b7\u03c3\u03b7 \u03b1\u03c3\u03c6\u03ac\u03bb\u03b5\u03b9\u03b1\u03c2 \u03ae \u03b3\u03b5\u03bd\u03b9\u03ba\u03ae \u03b1\u03c0\u03cc\u03b4\u03bf\u03c3\u03b7 \u03c4\u03bf\u03c5 FaithSieve \u03c3\u03b5 \u03bd\u03bf\u03bc\u03b9\u03ba\u03cc, \u03bf\u03b9\u03ba\u03bf\u03bd\u03bf\u03bc\u03b9\u03ba\u03cc, \u03b5\u03bc\u03c0\u03bf\u03c1\u03b9\u03ba\u03cc \u03ae \u03b5\u03ba\u03c0\u03b1\u03b9\u03b4\u03b5\u03c5\u03c4\u03b9\u03ba\u03cc \u03c0\u03b5\u03c1\u03b9\u03b5\u03c7\u03cc\u03bc\u03b5\u03bd\u03bf.<\/div>\n<h2 id=\"evidence-prin-confidence\">\u03a4\u03bf \u03bc\u03ac\u03b8\u03b7\u03bc\u03b1 \u03b3\u03b9\u03b1 \u03b5\u03c0\u03b1\u03b3\u03b3\u03b5\u03bb\u03bc\u03b1\u03c4\u03b9\u03ba\u03ac AI workflows: evidence \u03c0\u03c1\u03b9\u03bd \u03b1\u03c0\u03cc confidence<\/h2>\n<p>\u03a9\u03c2 \u03c0\u03c1\u03bf\u03c3\u03b5\u03ba\u03c4\u03b9\u03ba\u03ae \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae \u03b5\u03c1\u03bc\u03b7\u03bd\u03b5\u03af\u03b1, \u03c4\u03bf FaithSieve \u03c0\u03c1\u03bf\u03c3\u03c6\u03ad\u03c1\u03b5\u03b9 \u03bc\u03bf\u03c4\u03af\u03b2\u03bf \u03c3\u03c7\u03b5\u03b4\u03b9\u03b1\u03c3\u03bc\u03bf\u03cd \u03b3\u03b9\u03b1 \u03ba\u03c1\u03af\u03c3\u03b9\u03bc\u03b5\u03c2 \u03b4\u03b9\u03b1\u03b4\u03b9\u03ba\u03b1\u03c3\u03af\u03b5\u03c2: \u03b4\u03b9\u03ac\u03c3\u03c0\u03b1\u03c3\u03b7 \u03b5\u03c1\u03b3\u03b1\u03c3\u03af\u03b1\u03c2, \u03c4\u03b1\u03be\u03b9\u03bd\u03cc\u03bc\u03b7\u03c3\u03b7 \u03c1\u03af\u03c3\u03ba\u03bf\u03c5, \u03b5\u03c0\u03b9\u03bb\u03bf\u03b3\u03ae \u03c4\u03c9\u03bd \u03c3\u03b7\u03bc\u03b5\u03af\u03c9\u03bd \u03c0\u03bf\u03c5 \u03b1\u03be\u03af\u03b6\u03bf\u03c5\u03bd \u03b1\u03ba\u03c1\u03b9\u03b2\u03cc \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf, \u03c0\u03b1\u03c1\u03b1\u03b3\u03c9\u03b3\u03ae \u03c4\u03b5\u03ba\u03bc\u03b7\u03c1\u03af\u03bf\u03c5, \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf\u03c2 \u03cc\u03c4\u03b9 \u03c4\u03bf \u03c4\u03b5\u03ba\u03bc\u03ae\u03c1\u03b9\u03bf \u03b1\u03c6\u03bf\u03c1\u03ac \u03c0\u03c1\u03ac\u03b3\u03bc\u03b1\u03c4\u03b9 \u03c4\u03bf\u03bd \u03b1\u03c1\u03c7\u03b9\u03ba\u03cc \u03b9\u03c3\u03c7\u03c5\u03c1\u03b9\u03c3\u03bc\u03cc \u03ba\u03b1\u03b9 \u03c3\u03b1\u03c6\u03ae\u03c2 \u03b4\u03b9\u03b1\u03c4\u03ae\u03c1\u03b7\u03c3\u03b7 \u03c4\u03b7\u03c2 \u03b1\u03b2\u03b5\u03b2\u03b1\u03b9\u03cc\u03c4\u03b7\u03c4\u03b1\u03c2. \u0394\u03b5\u03bd \u03b1\u03c0\u03bf\u03b4\u03b5\u03b9\u03ba\u03bd\u03cd\u03b5\u03b9 \u03cc\u03c4\u03b9 \u03b7 \u03af\u03b4\u03b9\u03b1 \u03b5\u03c0\u03af\u03b4\u03bf\u03c3\u03b7 \u03bc\u03b5\u03c4\u03b1\u03c6\u03ad\u03c1\u03b5\u03c4\u03b1\u03b9 \u03c3\u03b5 \u03ac\u03bb\u03bb\u03bf domain. \u0394\u03b5\u03af\u03c7\u03bd\u03b5\u03b9 \u03cc\u03bc\u03c9\u03c2 \u03b3\u03b9\u03b1\u03c4\u03af \u03bc\u03b9\u03b1 \u03b1\u03bb\u03c5\u03c3\u03af\u03b4\u03b1 \u03b5\u03c0\u03b1\u03bb\u03ae\u03b8\u03b5\u03c5\u03c3\u03b7\u03c2 \u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03c0\u03b5\u03c1\u03b9\u03c3\u03c3\u03cc\u03c4\u03b5\u03c1\u03b1 \u03b1\u03c0\u03cc \u03ad\u03bd\u03b1\u03bd \u03b4\u03b5\u03cd\u03c4\u03b5\u03c1\u03bf LLM \u03ba\u03c1\u03b9\u03c4\u03ae.<\/p>\n<p>\u0393\u03b9\u03b1 \u03bf\u03bc\u03ac\u03b4\u03b5\u03c2 \u03c0\u03c1\u03bf\u03ca\u03cc\u03bd\u03c4\u03bf\u03c2 \u03ba\u03b1\u03b9 AI governance, \u03b7 \u03bf\u03c5\u03c3\u03b9\u03ce\u03b4\u03b7\u03c2 \u03b5\u03c1\u03ce\u03c4\u03b7\u03c3\u03b7 \u03b5\u03af\u03bd\u03b1\u03b9 \u03b1\u03bd \u03bf reviewer \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b4\u03b5\u03b9 \u03c0\u03bf\u03b9\u03b1 \u03bc\u03b9\u03ba\u03c1\u03ae \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7 \u03b5\u03bb\u03ad\u03b3\u03c7\u03b8\u03b7\u03ba\u03b5, \u03bc\u03b5 \u03c0\u03bf\u03b9\u03bf \u03c4\u03b5\u03ba\u03bc\u03ae\u03c1\u03b9\u03bf, \u03c0\u03bf\u03b9\u03bf \u03ae\u03c4\u03b1\u03bd \u03c4\u03bf \u03c0\u03bb\u03b1\u03af\u03c3\u03b9\u03bf \u03ba\u03b1\u03b9 \u03c4\u03b9 \u03ad\u03bc\u03b5\u03b9\u03bd\u03b5 \u03b1\u03b2\u03ad\u03b2\u03b1\u03b9\u03bf. \u0388\u03bd\u03b1 \u00abverified\u00bb badge \u03c7\u03c9\u03c1\u03af\u03c2 \u03b1\u03c5\u03c4\u03ae \u03c4\u03b7\u03bd \u03b1\u03bb\u03c5\u03c3\u03af\u03b4\u03b1 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b4\u03b7\u03bc\u03b9\u03bf\u03c5\u03c1\u03b3\u03b5\u03af \u03c8\u03b5\u03c5\u03b4\u03ae \u03b1\u03c3\u03c6\u03ac\u03bb\u03b5\u03b9\u03b1. \u0397 \u03b5\u03c1\u03b3\u03b1\u03c3\u03af\u03b1 \u03c0\u03b1\u03c1\u03bf\u03c5\u03c3\u03b9\u03ac\u03b6\u03b5\u03b9 \u03c4\u03bf FaithSieve \u03c9\u03c2 \u03b2\u03bf\u03ae\u03b8\u03b7\u03bc\u03b1 audit, \u03cc\u03c7\u03b9 \u03c9\u03c2 \u03b1\u03c5\u03c4\u03cc\u03bc\u03b1\u03c4\u03bf \u03b1\u03bd\u03c4\u03b9\u03ba\u03b1\u03c4\u03b1\u03c3\u03c4\u03ac\u03c4\u03b7 \u03c4\u03b7\u03c2 \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03b7\u03c2 \u03bc\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae\u03c2 \u03ba\u03c1\u03af\u03c3\u03b7\u03c2.<\/p>\n<p>\u0397 \u03c0\u03c1\u03b1\u03ba\u03c4\u03b9\u03ba\u03ae <a href=\"https:\/\/twodots.gr\/agent-governance-elegxos-ai-agent-runtime\/\">\u03b4\u03b9\u03b1\u03ba\u03c5\u03b2\u03ad\u03c1\u03bd\u03b7\u03c3\u03b7 \u03b5\u03bd\u03cc\u03c2 AI agent \u03c3\u03c4\u03bf runtime<\/a> \u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03b1\u03ba\u03c1\u03b9\u03b2\u03ce\u03c2 \u03b1\u03c5\u03c4\u03ae \u03c4\u03b7 \u03b4\u03b9\u03ac\u03ba\u03c1\u03b9\u03c3\u03b7: \u03ac\u03bb\u03bb\u03bf \u03c4\u03bf policy, \u03ac\u03bb\u03bb\u03bf \u03c4\u03bf trace \u03c4\u03b7\u03c2 \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae\u03c2 \u03b5\u03ba\u03c4\u03ad\u03bb\u03b5\u03c3\u03b7\u03c2 \u03ba\u03b1\u03b9 \u03ac\u03bb\u03bb\u03bf \u03b7 \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7 \u03cc\u03c4\u03b9 \u03c4\u03bf trace \u03c0\u03b1\u03c1\u03b1\u03bc\u03ad\u03bd\u03b5\u03b9 \u03b5\u03c5\u03b8\u03c5\u03b3\u03c1\u03b1\u03bc\u03bc\u03b9\u03c3\u03bc\u03ad\u03bd\u03bf \u03bc\u03b5 \u03c4\u03b7\u03bd \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7 \u03c0\u03bf\u03c5 \u03b6\u03b7\u03c4\u03ae\u03b8\u03b7\u03ba\u03b5. \u039f\u03b9 <a href=\"https:\/\/twodots.gr\/knowledge-cards-elegxomeni-gnosi-ai-agents\/\">\u03b5\u03bb\u03b5\u03b3\u03c7\u03cc\u03bc\u03b5\u03bd\u03b5\u03c2 Knowledge Cards<\/a> \u03bc\u03c0\u03bf\u03c1\u03bf\u03cd\u03bd \u03b1\u03bd\u03c4\u03af\u03c3\u03c4\u03bf\u03b9\u03c7\u03b1 \u03bd\u03b1 \u03ba\u03c1\u03b1\u03c4\u03bf\u03cd\u03bd \u03bf\u03c1\u03b1\u03c4\u03ad\u03c2 \u03c4\u03b9\u03c2 \u03c0\u03b7\u03b3\u03ad\u03c2, \u03c4\u03b1 \u03cc\u03c1\u03b9\u03b1 \u03ba\u03b1\u03b9 \u03c4\u03b7\u03bd \u03ad\u03ba\u03b4\u03bf\u03c3\u03b7 \u03bc\u03b9\u03b1\u03c2 \u03b3\u03bd\u03ce\u03c3\u03b7\u03c2, \u03c7\u03c9\u03c1\u03af\u03c2 \u03bd\u03b1 \u03bc\u03b5\u03c4\u03b1\u03c4\u03c1\u03ad\u03c0\u03bf\u03c5\u03bd \u03c4\u03b7\u03bd \u03c4\u03b5\u03ba\u03bc\u03b7\u03c1\u03af\u03c9\u03c3\u03b7 \u03c3\u03b5 \u03b1\u03bb\u03ac\u03b8\u03b7\u03c4\u03bf \u03b1\u03c0\u03bf\u03c4\u03ad\u03bb\u03b5\u03c3\u03bc\u03b1.<\/p>\n<h2 id=\"checklist-axiopistis-ai-axiologisis\">Checklist \u03b3\u03b9\u03b1 \u03b1\u03be\u03b9\u03cc\u03c0\u03b9\u03c3\u03c4\u03b7 \u03b1\u03be\u03b9\u03bf\u03bb\u03cc\u03b3\u03b7\u03c3\u03b7 AI \u03c3\u03b5 \u03bc\u03b9\u03b1 \u03b5\u03c0\u03b9\u03c7\u03b5\u03af\u03c1\u03b7\u03c3\u03b7<\/h2>\n<p>\u0397 \u03bc\u03b5\u03c4\u03b1\u03c6\u03bf\u03c1\u03ac \u03c4\u03bf\u03c5 \u03bc\u03bf\u03c4\u03af\u03b2\u03bf\u03c5 \u03b5\u03ba\u03c4\u03cc\u03c2 \u03bc\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ce\u03bd \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03be\u03b5\u03ba\u03b9\u03bd\u03ac \u03b1\u03c0\u03cc \u03c4\u03bf \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc workflow \u03ba\u03b1\u03b9 \u03c4\u03bf \u03ba\u03cc\u03c3\u03c4\u03bf\u03c2 \u03b1\u03c3\u03c4\u03bf\u03c7\u03af\u03b1\u03c2. \u0394\u03b5\u03bd \u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03ba\u03ac\u03b8\u03b5 \u03b2\u03ae\u03bc\u03b1 Lean. \u03a7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03cc\u03bc\u03c9\u03c2 \u03ba\u03ac\u03b8\u03b5 \u03ba\u03c1\u03af\u03c3\u03b9\u03bc\u03b7 \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7 \u03bd\u03b1 \u03c3\u03c5\u03bd\u03b4\u03ad\u03b5\u03c4\u03b1\u03b9 \u03bc\u03b5 \u03ba\u03b1\u03c4\u03ac\u03bb\u03bb\u03b7\u03bb\u03bf evidence \u03ba\u03b1\u03b9 \u03c3\u03b1\u03c6\u03ae \u03b4\u03b9\u03b1\u03b4\u03c1\u03bf\u03bc\u03ae escalation.<\/p>\n<div class=\"td-step-list\">\n<p class=\"td-step-list-title\">\u0395\u03c0\u03c4\u03ac \u03b2\u03ae\u03bc\u03b1\u03c4\u03b1 \u03b1\u03c0\u03cc \u03c4\u03bf \u03c4\u03b5\u03bb\u03b9\u03ba\u03cc label \u03c3\u03c4\u03bf \u03b5\u03bb\u03ad\u03b3\u03be\u03b9\u03bc\u03bf evidence<\/p>\n<ol>\n<li><span class=\"td-step-kicker\">Zielsetzung<\/span><strong>\u039f\u03c1\u03af\u03c3\u03c4\u03b5 \u03c4\u03b9 \u03b1\u03ba\u03c1\u03b9\u03b2\u03ce\u03c2 \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03c0\u03b9\u03c3\u03c4\u03bf\u03c0\u03bf\u03b9\u03b7\u03b8\u03b5\u03af<\/strong>\n<p>\u0394\u03b9\u03b1\u03c4\u03c5\u03c0\u03ce\u03c3\u03c4\u03b5 \u03c4\u03bf \u03b1\u03bd\u03c4\u03b9\u03ba\u03b5\u03af\u03bc\u03b5\u03bd\u03bf \u03c4\u03b7\u03c2 \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7\u03c2, \u03c4\u03b9\u03c2 \u03b5\u03c0\u03b9\u03c4\u03c1\u03b5\u03c0\u03c4\u03ad\u03c2 \u03c0\u03c1\u03bf\u03cb\u03c0\u03bf\u03b8\u03ad\u03c3\u03b5\u03b9\u03c2 \u03ba\u03b1\u03b9 \u03c4\u03bf \u03b1\u03c0\u03bf\u03b4\u03b5\u03ba\u03c4\u03cc \u03b1\u03c0\u03bf\u03c4\u03ad\u03bb\u03b5\u03c3\u03bc\u03b1. \u039c\u03b9\u03b1 \u03b3\u03b5\u03bd\u03b9\u03ba\u03ae \u03b5\u03c1\u03ce\u03c4\u03b7\u03c3\u03b7 \u03cc\u03c0\u03c9\u03c2 \u00ab\u03b5\u03af\u03bd\u03b1\u03b9 \u03c3\u03c9\u03c3\u03c4\u03cc;\u00bb \u03b4\u03b5\u03bd \u03b1\u03c1\u03ba\u03b5\u03af \u03b3\u03b9\u03b1 \u03c4\u03bf\u03c0\u03b9\u03ba\u03cc audit.<\/p>\n<\/li>\n<li><span class=\"td-step-kicker\">\u03a4\u03bf\u03c0\u03b9\u03ba\u03cc\u03c4\u03b7\u03c4\u03b1<\/span><strong>\u03a3\u03c0\u03ac\u03c3\u03c4\u03b5 \u03c4\u03bf workflow \u03c3\u03b5 \u03bc\u03b5\u03c4\u03b1\u03b2\u03ac\u03c3\u03b5\u03b9\u03c2 \u03bc\u03b5 \u03c3\u03b1\u03c6\u03ae state<\/strong>\n<p>\u039a\u03b1\u03c4\u03b1\u03b3\u03c1\u03ac\u03c8\u03c4\u03b5 input, \u03c0\u03c1\u03bf\u03b7\u03b3\u03bf\u03cd\u03bc\u03b5\u03bd\u03b5\u03c2 \u03b5\u03b3\u03ba\u03c1\u03af\u03c3\u03b5\u03b9\u03c2, \u03b5\u03c1\u03b3\u03b1\u03bb\u03b5\u03af\u03b1, \u03b1\u03bb\u03bb\u03b1\u03b3\u03ad\u03c2 \u03ba\u03b1\u03c4\u03ac\u03c3\u03c4\u03b1\u03c3\u03b7\u03c2 \u03ba\u03b1\u03b9 output \u03ba\u03ac\u03b8\u03b5 \u03b2\u03ae\u03bc\u03b1\u03c4\u03bf\u03c2. \u03a4\u03bf \u03c3\u03b7\u03bc\u03b5\u03af\u03bf \u03b5\u03bb\u03ad\u03b3\u03c7\u03bf\u03c5 \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 \u03bc\u03b9\u03ba\u03c1\u03cc\u03c4\u03b5\u03c1\u03bf \u03b1\u03c0\u03cc \u03bf\u03bb\u03cc\u03ba\u03bb\u03b7\u03c1\u03b7 \u03c4\u03b7 \u03b4\u03b9\u03b1\u03b4\u03b9\u03ba\u03b1\u03c3\u03af\u03b1.<\/p>\n<\/li>\n<li><span class=\"td-step-kicker\">\u03a1\u03af\u03c3\u03ba\u03bf<\/span><strong>\u0392\u03b1\u03b8\u03bc\u03bf\u03bb\u03bf\u03b3\u03ae\u03c3\u03c4\u03b5 \u03c0\u03bf\u03cd \u03b1\u03be\u03af\u03b6\u03b5\u03b9 \u03bf \u03b1\u03ba\u03c1\u03b9\u03b2\u03cc\u03c2 \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf\u03c2<\/strong>\n<p>\u03a7\u03c1\u03b7\u03c3\u03b9\u03bc\u03bf\u03c0\u03bf\u03b9\u03ae\u03c3\u03c4\u03b5 domain rules, thresholds \u03ba\u03b1\u03b9 anomaly signals \u03b3\u03b9\u03b1 \u03c0\u03c1\u03bf\u03c4\u03b5\u03c1\u03b1\u03b9\u03bf\u03c0\u03bf\u03af\u03b7\u03c3\u03b7, \u03c7\u03c9\u03c1\u03af\u03c2 \u03bd\u03b1 \u03c0\u03b1\u03c1\u03bf\u03c5\u03c3\u03b9\u03ac\u03b6\u03b5\u03c4\u03b5 \u03c4\u03bf risk score \u03c9\u03c2 \u03c4\u03b5\u03bb\u03b9\u03ba\u03ae \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7.<\/p>\n<\/li>\n<li><span class=\"td-step-kicker\">Evidence<\/span><strong>\u03a4\u03b1\u03b9\u03c1\u03b9\u03ac\u03be\u03c4\u03b5 \u03ba\u03ac\u03b8\u03b5 \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7 \u03bc\u03b5 \u03ba\u03b1\u03c4\u03ac\u03bb\u03bb\u03b7\u03bb\u03bf verifier<\/strong>\n<p>\u0395\u03c0\u03b9\u03bb\u03ad\u03be\u03c4\u03b5 deterministic rule, database constraint, unit test, policy engine, \u03b5\u03be\u03c9\u03c4\u03b5\u03c1\u03b9\u03ba\u03ae \u03b5\u03c0\u03b9\u03b2\u03b5\u03b2\u03b1\u03af\u03c9\u03c3\u03b7 \u03ae \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03bf review \u03b1\u03bd\u03ac\u03bb\u03bf\u03b3\u03b1 \u03bc\u03b5 \u03c4\u03bf\u03bd \u03b9\u03c3\u03c7\u03c5\u03c1\u03b9\u03c3\u03bc\u03cc. \u0388\u03bd\u03b1\u03c2 LLM judge \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 \u03ba\u03b1\u03b8\u03bf\u03bb\u03b9\u03ba\u03cc\u03c2 \u03b5\u03bb\u03b5\u03b3\u03ba\u03c4\u03ae\u03c2.<\/p>\n<\/li>\n<li><span class=\"td-step-kicker\">\u03a0\u03b9\u03c3\u03c4\u03cc\u03c4\u03b7\u03c4\u03b1<\/span><strong>\u0395\u03bb\u03ad\u03b3\u03be\u03c4\u03b5 \u03cc\u03c4\u03b9 \u03c4\u03bf \u03c4\u03b5\u03ba\u03bc\u03ae\u03c1\u03b9\u03bf \u03b1\u03c6\u03bf\u03c1\u03ac \u03c4\u03bf\u03bd \u03b1\u03c1\u03c7\u03b9\u03ba\u03cc \u03b9\u03c3\u03c7\u03c5\u03c1\u03b9\u03c3\u03bc\u03cc<\/strong>\n<p>\u03a3\u03c5\u03b3\u03ba\u03c1\u03af\u03bd\u03b5\u03c4\u03b5 \u03bf\u03bd\u03c4\u03cc\u03c4\u03b7\u03c4\u03b5\u03c2, \u03c0\u03c1\u03bf\u03cb\u03c0\u03bf\u03b8\u03ad\u03c3\u03b5\u03b9\u03c2, \u03ba\u03b1\u03c4\u03b5\u03cd\u03b8\u03c5\u03bd\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03c3\u03c5\u03bc\u03c0\u03ad\u03c1\u03b1\u03c3\u03bc\u03b1 \u03c0\u03c1\u03b9\u03bd \u03b4\u03b5\u03c7\u03b8\u03b5\u03af\u03c4\u03b5 \u03ad\u03bd\u03b1 pass. \u0391\u03bb\u03bb\u03b1\u03b3\u03ae wording \u03ae schema \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03ad\u03c7\u03b5\u03b9 \u03b1\u03bb\u03bb\u03ac\u03be\u03b5\u03b9 \u03c4\u03bf \u03af\u03b4\u03b9\u03bf \u03c4\u03bf \u03b5\u03c1\u03ce\u03c4\u03b7\u03bc\u03b1.<\/p>\n<\/li>\n<li><span class=\"td-step-kicker\">\u0391\u03b2\u03b5\u03b2\u03b1\u03b9\u03cc\u03c4\u03b7\u03c4\u03b1<\/span><strong>\u0394\u03b9\u03b1\u03c4\u03b7\u03c1\u03ae\u03c3\u03c4\u03b5 \u03be\u03b5\u03c7\u03c9\u03c1\u03b9\u03c3\u03c4\u03cc \u03c4\u03bf inconclusive<\/strong>\n<p>Timeout, \u03ad\u03bb\u03bb\u03b5\u03b9\u03c8\u03b7 \u03b4\u03b5\u03b4\u03bf\u03bc\u03ad\u03bd\u03c9\u03bd \u03ae \u03b1\u03b4\u03c5\u03bd\u03b1\u03bc\u03af\u03b1 \u03b5\u03c0\u03b1\u03bb\u03ae\u03b8\u03b5\u03c5\u03c3\u03b7\u03c2 \u03b4\u03b5\u03bd \u03c3\u03b7\u03bc\u03b1\u03af\u03bd\u03bf\u03c5\u03bd \u03bf\u03cd\u03c4\u03b5 \u03c3\u03c9\u03c3\u03c4\u03cc \u03bf\u03cd\u03c4\u03b5 \u03bb\u03ac\u03b8\u03bf\u03c2. \u03a3\u03c5\u03bd\u03b4\u03ad\u03c3\u03c4\u03b5 \u03c4\u03b1 \u03bc\u03b5 human handoff \u03ba\u03b1\u03b9 \u03ba\u03b1\u03c4\u03b1\u03b3\u03b5\u03b3\u03c1\u03b1\u03bc\u03bc\u03ad\u03bd\u03b7 \u03b1\u03b9\u03c4\u03b9\u03bf\u03bb\u03cc\u03b3\u03b7\u03c3\u03b7.<\/p>\n<\/li>\n<li><span class=\"td-step-kicker\">\u039c\u03ac\u03b8\u03b7\u03c3\u03b7<\/span><strong>\u039c\u03b5\u03c4\u03c1\u03ae\u03c3\u03c4\u03b5 \u03c0\u03bf\u03cd \u03b1\u03c0\u03bf\u03c4\u03c5\u03b3\u03c7\u03ac\u03bd\u03b5\u03b9 \u03bf \u03b5\u03bd\u03c4\u03bf\u03c0\u03b9\u03c3\u03bc\u03cc\u03c2 \u03c4\u03bf\u03c5 \u03c0\u03c1\u03ce\u03c4\u03bf\u03c5 \u03bb\u03ac\u03b8\u03bf\u03c5\u03c2<\/strong>\n<p>\u03a0\u03b1\u03c1\u03b1\u03ba\u03bf\u03bb\u03bf\u03c5\u03b8\u03ae\u03c3\u03c4\u03b5 false passes, false blocks, \u03bb\u03ac\u03b8\u03bf\u03c2 localization, \u03c7\u03c1\u03cc\u03bd\u03bf review \u03ba\u03b1\u03b9 \u03ba\u03cc\u03c3\u03c4\u03bf\u03c2 \u03b1\u03bd\u03ac \u03b5\u03bb\u03b5\u03b3\u03bc\u03ad\u03bd\u03b7 \u03c5\u03c0\u03cc\u03b8\u03b5\u03c3\u03b7. \u0395\u03bd\u03b7\u03bc\u03b5\u03c1\u03ce\u03c3\u03c4\u03b5 \u03c4\u03bf test set \u03cc\u03c4\u03b1\u03bd \u03b5\u03bc\u03c6\u03b1\u03bd\u03af\u03b6\u03bf\u03bd\u03c4\u03b1\u03b9 \u03bd\u03ad\u03b1 failure modes.<\/p>\n<\/li>\n<\/ol>\n<\/div>\n<h2 id=\"feedback-entopismos-protou-lathous\">\u0391\u03c0\u03cc \u03c4\u03b1 labels \u03c3\u03c4\u03b7 \u03c7\u03c1\u03ae\u03c3\u03b9\u03bc\u03b7, \u03b4\u03b9\u03bf\u03c1\u03b8\u03ce\u03c3\u03b9\u03bc\u03b7 \u03b1\u03bd\u03b1\u03c4\u03c1\u03bf\u03c6\u03bf\u03b4\u03cc\u03c4\u03b7\u03c3\u03b7<\/h2>\n<p>\u0397 \u03bc\u03ad\u03b8\u03bf\u03b4\u03bf\u03c2 \u03ad\u03c7\u03b5\u03b9 \u03b4\u03c5\u03bd\u03b7\u03c4\u03b9\u03ba\u03ae \u03b1\u03be\u03af\u03b1 \u03b3\u03b9\u03b1 AI proof assistants, \u03b5\u03ba\u03c0\u03b1\u03b9\u03b4\u03b5\u03c5\u03c4\u03b9\u03ba\u03ae \u03b1\u03bd\u03b1\u03c4\u03c1\u03bf\u03c6\u03bf\u03b4\u03cc\u03c4\u03b7\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03c0\u03bf\u03b9\u03bf\u03c4\u03b9\u03ba\u03cc \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf \u03c0\u03b1\u03c1\u03b1\u03b3\u03cc\u03bc\u03b5\u03bd\u03c9\u03bd \u03b1\u03c0\u03bf\u03b4\u03b5\u03af\u03be\u03b5\u03c9\u03bd, \u03b5\u03c0\u03b5\u03b9\u03b4\u03ae \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b5\u03af \u03bd\u03b1 \u03b4\u03b5\u03af\u03be\u03b5\u03b9 \u03c0\u03bf\u03cd \u03ad\u03b3\u03b9\u03bd\u03b5 \u03b7 \u03c0\u03c1\u03ce\u03c4\u03b7 \u03bf\u03c5\u03c3\u03b9\u03b1\u03c3\u03c4\u03b9\u03ba\u03ae \u03b1\u03c3\u03c4\u03bf\u03c7\u03af\u03b1. \u03a3\u03c4\u03b1 \u03c5\u03c0\u03bf\u03bb\u03b5\u03b9\u03c0\u03cc\u03bc\u03b5\u03bd\u03b1 \u03c3\u03c6\u03ac\u03bb\u03bc\u03b1\u03c4\u03b1 \u03c4\u03bf\u03c5 FaithSieve, \u03c4\u03bf \u03bc\u03b5\u03b3\u03b1\u03bb\u03cd\u03c4\u03b5\u03c1\u03bf \u03bc\u03ad\u03c1\u03bf\u03c2 \u03b1\u03c6\u03bf\u03c1\u03bf\u03cd\u03c3\u03b5 \u03bb\u03b1\u03bd\u03b8\u03b1\u03c3\u03bc\u03ad\u03bd\u03b7 \u03c4\u03bf\u03c0\u03bf\u03b8\u03ad\u03c4\u03b7\u03c3\u03b7 \u03c4\u03bf\u03c5 \u03c0\u03c1\u03ce\u03c4\u03bf\u03c5 \u03bb\u03ac\u03b8\u03bf\u03c5\u03c2 \u03ba\u03b1\u03b9 \u03cc\u03c7\u03b9 \u03b1\u03c0\u03bb\u03ae \u03c3\u03cd\u03b3\u03c7\u03c5\u03c3\u03b7 \u03c3\u03c9\u03c3\u03c4\u03bf\u03cd\/\u03bb\u03b1\u03bd\u03b8\u03b1\u03c3\u03bc\u03ad\u03bd\u03bf\u03c5: 43 \u03b1\u03c0\u03cc \u03c4\u03b1 65 exact errors \u03c3\u03c4\u03bf Olympiad \u03ba\u03b1\u03b9 16 \u03b1\u03c0\u03cc \u03c4\u03b1 31 \u03c3\u03c4\u03bf University \u03b1\u03bd\u03ae\u03ba\u03b1\u03bd \u03c3\u03b5 \u03b1\u03c5\u03c4\u03ae \u03c4\u03b7\u03bd \u03ba\u03b1\u03c4\u03b7\u03b3\u03bf\u03c1\u03af\u03b1.<\/p>\n<p>\u0391\u03c5\u03c4\u03cc \u03c0\u03c1\u03bf\u03c3\u03b3\u03b5\u03b9\u03ce\u03bd\u03b5\u03b9 \u03c4\u03bf\u03bd \u03b5\u03bd\u03b8\u03bf\u03c5\u03c3\u03b9\u03b1\u03c3\u03bc\u03cc. \u0391\u03ba\u03cc\u03bc\u03b7 \u03ba\u03b1\u03b9 \u03bc\u03b5 \u03c4\u03c5\u03c0\u03b9\u03ba\u03ac \u03c4\u03b5\u03ba\u03bc\u03ae\u03c1\u03b9\u03b1, \u03b7 \u03b1\u03ba\u03c1\u03b9\u03b2\u03ae\u03c2 \u03c7\u03b1\u03c1\u03c4\u03bf\u03b3\u03c1\u03ac\u03c6\u03b7\u03c3\u03b7 \u03b1\u03c0\u03cc \u03c4\u03bf\u03c0\u03b9\u03ba\u03ad\u03c2 \u03bc\u03b5\u03c4\u03b1\u03b2\u03ac\u03c3\u03b5\u03b9\u03c2 \u03c0\u03af\u03c3\u03c9 \u03c3\u03c4\u03b1 \u03b2\u03ae\u03bc\u03b1\u03c4\u03b1 \u03c4\u03b7\u03c2 \u03c6\u03c5\u03c3\u03b9\u03ba\u03ae\u03c2 \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7\u03c2 \u03c0\u03b1\u03c1\u03b1\u03bc\u03ad\u03bd\u03b5\u03b9 \u03b4\u03cd\u03c3\u03ba\u03bf\u03bb\u03b7. \u0397 \u03c5\u03c0\u03b5\u03cd\u03b8\u03c5\u03bd\u03b7 \u03c7\u03c1\u03ae\u03c3\u03b7 \u03b1\u03c0\u03b1\u03b9\u03c4\u03b5\u03af \u03bd\u03b1 \u03b5\u03bc\u03c6\u03b1\u03bd\u03af\u03b6\u03bf\u03bd\u03c4\u03b1\u03b9 \u03c7\u03c9\u03c1\u03b9\u03c3\u03c4\u03ac \u03b7 \u03c3\u03b7\u03bc\u03b1\u03c3\u03b9\u03bf\u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03c0\u03b9\u03c3\u03c4\u03cc\u03c4\u03b7\u03c4\u03b1, \u03b7 \u03ba\u03b1\u03c4\u03ac\u03c3\u03c4\u03b1\u03c3\u03b7 \u03c4\u03c5\u03c0\u03b9\u03ba\u03ae\u03c2 \u03b5\u03c0\u03b1\u03bb\u03ae\u03b8\u03b5\u03c5\u03c3\u03b7\u03c2 \u03ba\u03b1\u03b9 \u03b7 \u03c4\u03b5\u03bb\u03b9\u03ba\u03ae \u03c0\u03c1\u03cc\u03b2\u03bb\u03b5\u03c8\u03b7. \u03a4\u03bf <em>inconclusive<\/em> \u03b4\u03b5\u03bd \u03c3\u03b7\u03bc\u03b1\u03af\u03bd\u03b5\u03b9 \u03bb\u03ac\u03b8\u03bf\u03c2 \u03ba\u03b1\u03b9 \u03ad\u03bd\u03b1 \u03b5\u03c0\u03b9\u03c4\u03c5\u03c7\u03b7\u03bc\u03ad\u03bd\u03bf Lean proof \u03c0\u03b9\u03c3\u03c4\u03bf\u03c0\u03bf\u03b9\u03b5\u03af \u03bc\u03cc\u03bd\u03bf \u03c4\u03bf \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03bf \u03b6\u03b5\u03cd\u03b3\u03bf\u03c2 \u03c6\u03c5\u03c3\u03b9\u03ba\u03ae\u03c2 \u03ba\u03b1\u03b9 \u03c4\u03c5\u03c0\u03b9\u03ba\u03ae\u03c2 \u03c0\u03c1\u03cc\u03c4\u03b1\u03c3\u03b7\u03c2.<\/p>\n<p>\u0397 \u03c0\u03bf\u03b9\u03bf\u03c4\u03b9\u03ba\u03ae \u03b1\u03bd\u03b1\u03c4\u03c1\u03bf\u03c6\u03bf\u03b4\u03cc\u03c4\u03b7\u03c3\u03b7 \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 \u03b4\u03b9\u03bf\u03c1\u03b8\u03ce\u03c3\u03b9\u03bc\u03b7: \u03bd\u03b1 \u03b4\u03b5\u03af\u03c7\u03bd\u03b5\u03b9 \u03c0\u03bf\u03b9\u03b1 \u03bc\u03b5\u03c4\u03ac\u03b2\u03b1\u03c3\u03b7 \u03b1\u03bc\u03c6\u03b9\u03c3\u03b2\u03b7\u03c4\u03b5\u03af\u03c4\u03b1\u03b9, \u03c0\u03bf\u03b9\u03b1 \u03c0\u03c1\u03bf\u03cb\u03c0\u03cc\u03b8\u03b5\u03c3\u03b7 \u03bb\u03b5\u03af\u03c0\u03b5\u03b9, \u03c0\u03bf\u03b9\u03bf evidence \u03c7\u03c1\u03b7\u03c3\u03b9\u03bc\u03bf\u03c0\u03bf\u03b9\u03ae\u03b8\u03b7\u03ba\u03b5 \u03ba\u03b1\u03b9 \u03c4\u03b9 \u03b8\u03b1 \u03c7\u03c1\u03b5\u03b9\u03b1\u03b6\u03cc\u03c4\u03b1\u03bd \u03b3\u03b9\u03b1 \u03bd\u03b1 \u03b1\u03bb\u03bb\u03ac\u03be\u03b5\u03b9 \u03b7 \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7. \u0388\u03c4\u03c3\u03b9 \u03c4\u03bf audit \u03b4\u03b5\u03bd \u03ba\u03b1\u03c4\u03b1\u03bb\u03ae\u03b3\u03b5\u03b9 \u03c3\u03b5 \u03ad\u03bd\u03b1 \u03b1\u03b4\u03b9\u03b1\u03c6\u03b1\u03bd\u03ad\u03c2 score, \u03b1\u03bb\u03bb\u03ac \u03c3\u03b5 \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03b7 \u03b5\u03c1\u03b3\u03b1\u03c3\u03af\u03b1 \u03b3\u03b9\u03b1 \u03c4\u03bf\u03bd \u03ac\u03bd\u03b8\u03c1\u03c9\u03c0\u03bf \u03ae \u03c4\u03bf \u03c3\u03cd\u03c3\u03c4\u03b7\u03bc\u03b1 \u03c0\u03bf\u03c5 \u03b8\u03b1 \u03b5\u03c0\u03b1\u03bd\u03b5\u03be\u03b5\u03c4\u03ac\u03c3\u03b5\u03b9 \u03c4\u03bf \u03b2\u03ae\u03bc\u03b1.<\/p>\n<h2 id=\"symperasma\">\u03a3\u03c5\u03bc\u03c0\u03ad\u03c1\u03b1\u03c3\u03bc\u03b1: \u03c4\u03bf \u03c0\u03c1\u03ce\u03c4\u03bf \u03bb\u03ac\u03b8\u03bf\u03c2 \u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03c0\u03b9\u03c3\u03c4\u03cc \u03c4\u03b5\u03ba\u03bc\u03ae\u03c1\u03b9\u03bf<\/h2>\n<p>\u03a4\u03bf FaithSieve \u03bc\u03b5\u03c4\u03b1\u03ba\u03b9\u03bd\u03b5\u03af \u03c4\u03b7\u03bd \u03b1\u03be\u03b9\u03bf\u03bb\u03cc\u03b3\u03b7\u03c3\u03b7 \u03b1\u03c0\u03cc \u03c4\u03bf \u00ab\u03c1\u03ce\u03c4\u03b7\u03c3\u03b5 \u03ad\u03bd\u03b1 \u03b9\u03c3\u03c7\u03c5\u03c1\u03cc\u03c4\u03b5\u03c1\u03bf \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf\u00bb \u03c0\u03c1\u03bf\u03c2 \u03c4\u03bf \u00ab\u03bf\u03c1\u03b3\u03ac\u03bd\u03c9\u03c3\u03b5 \u03c4\u03bf \u03c0\u03c1\u03cc\u03b2\u03bb\u03b7\u03bc\u03b1 \u03c3\u03b5 \u03b5\u03bb\u03ad\u03b3\u03be\u03b9\u03bc\u03b5\u03c2 \u03c5\u03c0\u03bf\u03c7\u03c1\u03b5\u03ce\u03c3\u03b5\u03b9\u03c2 \u03ba\u03b1\u03b9 \u03b1\u03c0\u03b1\u03af\u03c4\u03b7\u03c3\u03b5 \u03c0\u03b9\u03c3\u03c4\u03cc \u03c4\u03b5\u03ba\u03bc\u03ae\u03c1\u03b9\u03bf\u00bb. \u03a3\u03c4\u03b1 \u03b4\u03cd\u03bf expert-verified benchmarks \u03b2\u03b5\u03bb\u03c4\u03af\u03c9\u03c3\u03b5 \u03c4\u03cc\u03c3\u03bf \u03c4\u03b7\u03bd \u03c4\u03b1\u03be\u03b9\u03bd\u03cc\u03bc\u03b7\u03c3\u03b7 \u03cc\u03c3\u03bf \u03ba\u03b1\u03b9 \u03c4\u03bf\u03bd \u03b1\u03ba\u03c1\u03b9\u03b2\u03ae \u03b5\u03bd\u03c4\u03bf\u03c0\u03b9\u03c3\u03bc\u03cc \u03c4\u03bf\u03c5 \u03c0\u03c1\u03ce\u03c4\u03bf\u03c5 \u03c3\u03c6\u03ac\u03bb\u03bc\u03b1\u03c4\u03bf\u03c2, \u03bc\u03b5 \u03c3\u03b7\u03bc\u03b1\u03bd\u03c4\u03b9\u03ba\u03cc \u03cc\u03bc\u03c9\u03c2 \u03ba\u03cc\u03c3\u03c4\u03bf\u03c2 \u03ba\u03b1\u03b9 \u03c3\u03b1\u03c6\u03ae \u03cc\u03c1\u03b9\u03b1 \u03c0\u03b5\u03b4\u03af\u03bf\u03c5.<\/p>\n<p>\u0393\u03b9\u03b1 \u03c4\u03bf\u03c5\u03c2 \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03bf\u03c5\u03c2 \u03c0\u03bf\u03c5 \u03c3\u03c7\u03b5\u03b4\u03b9\u03ac\u03b6\u03bf\u03c5\u03bd AI \u03c0\u03c1\u03bf\u03ca\u03cc\u03bd\u03c4\u03b1, \u03c4\u03bf \u03b4\u03b9\u03b1\u03c7\u03c1\u03bf\u03bd\u03b9\u03ba\u03cc \u03bc\u03ae\u03bd\u03c5\u03bc\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 \u03b7 \u03b9\u03c7\u03bd\u03b7\u03bb\u03b1\u03c3\u03b9\u03bc\u03cc\u03c4\u03b7\u03c4\u03b1. \u038c\u03c4\u03b1\u03bd \u03b7 \u03b1\u03c0\u03ac\u03bd\u03c4\u03b7\u03c3\u03b7 \u03ad\u03c7\u03b5\u03b9 \u03c3\u03c5\u03bd\u03ad\u03c0\u03b5\u03b9\u03b5\u03c2, \u03b7 \u03c0\u03bf\u03b9\u03cc\u03c4\u03b7\u03c4\u03b1 \u03b4\u03b5\u03bd \u03ba\u03c1\u03af\u03bd\u03b5\u03c4\u03b1\u03b9 \u03bc\u03cc\u03bd\u03bf \u03b1\u03c0\u03cc \u03c4\u03b7\u03bd \u03b1\u03c5\u03c4\u03bf\u03c0\u03b5\u03c0\u03bf\u03af\u03b8\u03b7\u03c3\u03b7 \u03ae \u03c4\u03bf \u03c4\u03b5\u03bb\u03b9\u03ba\u03cc label. \u039a\u03c1\u03af\u03bd\u03b5\u03c4\u03b1\u03b9 \u03b1\u03c0\u03cc \u03c4\u03bf \u03b1\u03bd \u03ba\u03ac\u03b8\u03b5 \u03ba\u03c1\u03af\u03c3\u03b9\u03bc\u03bf \u03b2\u03ae\u03bc\u03b1 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03c3\u03c5\u03bd\u03b4\u03b5\u03b8\u03b5\u03af \u03bc\u03b5 \u03c4\u03bf \u03c3\u03c9\u03c3\u03c4\u03cc \u03c0\u03bb\u03b1\u03af\u03c3\u03b9\u03bf, \u03c4\u03bf \u03ba\u03b1\u03c4\u03ac\u03bb\u03bb\u03b7\u03bb\u03bf \u03b1\u03c0\u03bf\u03b4\u03b5\u03b9\u03ba\u03c4\u03b9\u03ba\u03cc \u03bc\u03ad\u03c3\u03bf \u03ba\u03b1\u03b9 \u03bc\u03b9\u03b1 \u03b5\u03b9\u03bb\u03b9\u03ba\u03c1\u03b9\u03bd\u03ae \u03b4\u03ae\u03bb\u03c9\u03c3\u03b7 \u03b1\u03b2\u03b5\u03b2\u03b1\u03b9\u03cc\u03c4\u03b7\u03c4\u03b1\u03c2.<\/p>\n<section class=\"td-service-cta\">\n<div class=\"td-service-cta-content\">\n<p class=\"td-service-cta-eyebrow\">\u0391\u03c5\u03c4\u03bf\u03bc\u03b1\u03c4\u03b9\u03c3\u03bc\u03bf\u03af \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03ae\u03c3\u03b5\u03c9\u03bd &amp; AI<\/p>\n<p class=\"td-service-cta-title\"><strong>\u03a3\u03c7\u03b5\u03b4\u03b9\u03ac\u03c3\u03c4\u03b5 AI workflows \u03c0\u03bf\u03c5 \u03b4\u03b5\u03af\u03c7\u03bd\u03bf\u03c5\u03bd \u03c0\u03bf\u03cd \u03ba\u03b1\u03b9 \u03b3\u03b9\u03b1\u03c4\u03af \u03b1\u03c0\u03ad\u03c4\u03c5\u03c7\u03b5 \u03bc\u03b9\u03b1 \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7<\/strong><\/p>\n<p>\u0397 TWO DOTS \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03c7\u03b1\u03c1\u03c4\u03bf\u03b3\u03c1\u03b1\u03c6\u03ae\u03c3\u03b5\u03b9 state, risk checkpoints, deterministic verifiers, audit logs \u03ba\u03b1\u03b9 human handoff \u03b3\u03b9\u03b1 \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b7\u03c3\u03b9\u03b1\u03ba\u03bf\u03cd\u03c2 AI \u03b1\u03c5\u03c4\u03bf\u03bc\u03b1\u03c4\u03b9\u03c3\u03bc\u03bf\u03cd\u03c2, \u03ce\u03c3\u03c4\u03b5 \u03ad\u03bd\u03b1 pass \u03ae block \u03bd\u03b1 \u03c3\u03c5\u03bd\u03bf\u03b4\u03b5\u03cd\u03b5\u03c4\u03b1\u03b9 \u03b1\u03c0\u03cc \u03b5\u03bb\u03ad\u03b3\u03be\u03b9\u03bc\u03bf evidence.<\/p>\n<div class=\"td-service-cta-actions\"><a class=\"td-service-cta-button\" href=\"https:\/\/twodots.gr\/aftomatismoi-epicheiriseon-ai\/\">\u0394\u03b5\u03af\u03c4\u03b5 \u03c4\u03b9\u03c2 \u03bb\u03cd\u03c3\u03b5\u03b9\u03c2 \u03b1\u03c5\u03c4\u03bf\u03bc\u03b1\u03c4\u03b9\u03c3\u03bc\u03bf\u03cd &amp; AI<\/a><\/div>\n<\/div>\n<\/section>\n<section id=\"sychnes-erotiseis\" class=\"td-faq-section\">\n<div class=\"td-faq\">\n<p class=\"td-faq-heading\">H\u00e4ufig gestellte Fragen<\/p>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u03a4\u03b9 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c4\u03bf FaithSieve;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u0395\u03af\u03bd\u03b1\u03b9 \u03b5\u03c1\u03b5\u03c5\u03bd\u03b7\u03c4\u03b9\u03ba\u03cc \u03c0\u03bb\u03b1\u03af\u03c3\u03b9\u03bf \u03c0\u03bf\u03c5 \u03b4\u03b9\u03b1\u03c3\u03c0\u03ac \u03b1\u03c0\u03bf\u03b4\u03b5\u03af\u03be\u03b5\u03b9\u03c2 \u03c6\u03c5\u03c3\u03b9\u03ba\u03ae\u03c2 \u03b3\u03bb\u03ce\u03c3\u03c3\u03b1\u03c2 \u03c3\u03b5 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ad\u03c2 \u03bc\u03bf\u03bd\u03ac\u03b4\u03b5\u03c2, \u03b4\u03b7\u03bc\u03b9\u03bf\u03c5\u03c1\u03b3\u03b5\u03af \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03b5\u03c2 \u03c5\u03c0\u03bf\u03c7\u03c1\u03b5\u03ce\u03c3\u03b5\u03b9\u03c2 \u03ba\u03b1\u03b9 \u03c7\u03c1\u03b7\u03c3\u03b9\u03bc\u03bf\u03c0\u03bf\u03b9\u03b5\u03af SymPy, Lean \u03ba\u03b1\u03b9 \u03c3\u03b7\u03bc\u03b1\u03c3\u03b9\u03bf\u03bb\u03bf\u03b3\u03b9\u03ba\u03cc \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf \u03b3\u03b9\u03b1 \u03bd\u03b1 \u03b5\u03bd\u03c4\u03bf\u03c0\u03af\u03c3\u03b5\u03b9 \u03c4\u03bf \u03c0\u03c1\u03ce\u03c4\u03bf \u03bc\u03b7 \u03b1\u03be\u03b9\u03cc\u03c0\u03b9\u03c3\u03c4\u03bf \u03b2\u03ae\u03bc\u03b1.<\/p>\n<\/div>\n<\/details>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u0393\u03b9\u03b1\u03c4\u03af \u03b4\u03b5\u03bd \u03b1\u03c1\u03ba\u03b5\u03af \u03b7 \u03c3\u03c9\u03c3\u03c4\u03ae \u03c4\u03b5\u03bb\u03b9\u03ba\u03ae \u03b1\u03c0\u03ac\u03bd\u03c4\u03b7\u03c3\u03b7;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u0395\u03c0\u03b5\u03b9\u03b4\u03ae \u03bc\u03b9\u03b1 \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03c6\u03c4\u03ac\u03c3\u03b5\u03b9 \u03c3\u03c4\u03bf \u03c3\u03c9\u03c3\u03c4\u03cc \u03b1\u03c0\u03bf\u03c4\u03ad\u03bb\u03b5\u03c3\u03bc\u03b1 \u03bc\u03b5\u03c4\u03ac \u03b1\u03c0\u03cc \u03bb\u03bf\u03b3\u03b9\u03ba\u03cc \u03ac\u03bb\u03bc\u03b1, \u03bb\u03b1\u03bd\u03b8\u03b1\u03c3\u03bc\u03ad\u03bd\u03b7 \u03c5\u03c0\u03cc\u03b8\u03b5\u03c3\u03b7 \u03ae \u03bc\u03b7 \u03b4\u03b9\u03ba\u03b1\u03b9\u03bf\u03bb\u03bf\u03b3\u03b7\u03bc\u03ad\u03bd\u03b7 \u03bc\u03b5\u03c4\u03ac\u03b2\u03b1\u03c3\u03b7. \u0393\u03b9\u03b1 \u03b4\u03b9\u03bf\u03c1\u03b8\u03ce\u03c3\u03b9\u03bc\u03b7 \u03b1\u03bd\u03b1\u03c4\u03c1\u03bf\u03c6\u03bf\u03b4\u03cc\u03c4\u03b7\u03c3\u03b7 \u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03bd\u03b1 \u03b2\u03c1\u03b5\u03b8\u03b5\u03af \u03c4\u03bf \u03c0\u03c1\u03ce\u03c4\u03bf \u03c3\u03b7\u03bc\u03b5\u03af\u03bf \u03cc\u03c0\u03bf\u03c5 \u03c7\u03b1\u03bb\u03ac\u03b5\u03b9 \u03b7 \u03b4\u03b9\u03b1\u03b4\u03c1\u03bf\u03bc\u03ae.<\/p>\n<\/div>\n<\/details>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u03a4\u03b9 \u03b5\u03af\u03bd\u03b1\u03b9 \u03bf\u03b9 EdgeUnits;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u0395\u03af\u03bd\u03b1\u03b9 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ad\u03c2 \u03bc\u03b5\u03c4\u03b1\u03b2\u03ac\u03c3\u03b5\u03b9\u03c2 \u03b1\u03bd\u03ac\u03bc\u03b5\u03c3\u03b1 \u03c3\u03b5 \u03ba\u03b1\u03c4\u03b1\u03c3\u03c4\u03ac\u03c3\u03b5\u03b9\u03c2 \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7\u03c2. \u039a\u03b1\u03b8\u03b5\u03bc\u03af\u03b1 \u03b4\u03b9\u03b1\u03c4\u03b7\u03c1\u03b5\u03af \u03c4\u03bf \u03c0\u03c1\u03b9\u03bd \u03ba\u03b1\u03b9 \u03c4\u03bf \u03bc\u03b5\u03c4\u03ac, \u03c4\u03b9\u03c2 \u03b4\u03b9\u03b1\u03b8\u03ad\u03c3\u03b9\u03bc\u03b5\u03c2 \u03c5\u03c0\u03bf\u03b8\u03ad\u03c3\u03b5\u03b9\u03c2, \u03c4\u03bf\u03bd \u03c3\u03c4\u03cc\u03c7\u03bf, \u03c4\u03bf\u03bd \u03ba\u03bb\u03ac\u03b4\u03bf \u03ba\u03b1\u03b9 \u03c4\u03bf\u03bd \u03c4\u03cd\u03c0\u03bf \u03c4\u03b7\u03c2 \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae\u03c2 \u03b5\u03bd\u03ad\u03c1\u03b3\u03b5\u03b9\u03b1\u03c2.<\/p>\n<\/div>\n<\/details>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u03a0\u03bf\u03b9\u03b1 \u03b5\u03c0\u03af\u03b4\u03bf\u03c3\u03b7 \u03c0\u03ad\u03c4\u03c5\u03c7\u03b5 \u03c3\u03c4\u03b1 ProofLoc benchmarks;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u039c\u03b5 backbone GPT-5.4, \u03c0\u03ad\u03c4\u03c5\u03c7\u03b5 81,43% exact accuracy \u03c3\u03c4\u03bf ProofLoc-Olympiad \u03ba\u03b1\u03b9 84,50% \u03c3\u03c4\u03bf ProofLoc-University, \u03ad\u03bd\u03b1\u03bd\u03c4\u03b9 72,29% \u03ba\u03b1\u03b9 75,00% \u03c4\u03bf\u03c5 \u03b1\u03bd\u03c4\u03af\u03c3\u03c4\u03bf\u03b9\u03c7\u03bf\u03c5 direct judge.<\/p>\n<\/div>\n<\/details>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u0393\u03b9\u03b1\u03c4\u03af \u03b4\u03b5\u03bd \u03b1\u03c1\u03ba\u03b5\u03af \u03bd\u03b1 \u03c0\u03b5\u03c1\u03ac\u03c3\u03b5\u03b9 \u03bc\u03b9\u03b1 \u03b4\u03ae\u03bb\u03c9\u03c3\u03b7 \u03b1\u03c0\u03cc \u03c4\u03bf Lean;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u0395\u03c0\u03b5\u03b9\u03b4\u03ae \u03c4\u03bf Lean \u03c0\u03b9\u03c3\u03c4\u03bf\u03c0\u03bf\u03b9\u03b5\u03af \u03c4\u03b7 \u03b4\u03ae\u03bb\u03c9\u03c3\u03b7 \u03c0\u03bf\u03c5 \u03c4\u03bf\u03c5 \u03b4\u03cc\u03b8\u03b7\u03ba\u03b5. \u0391\u03bd \u03b7 \u03b1\u03c5\u03c4\u03cc\u03bc\u03b1\u03c4\u03b7 \u03c4\u03c5\u03c0\u03bf\u03c0\u03bf\u03af\u03b7\u03c3\u03b7 \u03ac\u03bb\u03bb\u03b1\u03be\u03b5 \u03c5\u03c0\u03cc\u03b8\u03b5\u03c3\u03b7, \u03b1\u03bd\u03c4\u03b9\u03ba\u03b5\u03af\u03bc\u03b5\u03bd\u03bf, \u03c0\u03bf\u03c3\u03bf\u03b4\u03b5\u03af\u03ba\u03c4\u03b7, \u03ba\u03b1\u03c4\u03b5\u03cd\u03b8\u03c5\u03bd\u03c3\u03b7 \u03ae \u03c3\u03c5\u03bc\u03c0\u03ad\u03c1\u03b1\u03c3\u03bc\u03b1, \u03b7 \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 \u03ad\u03b3\u03ba\u03c5\u03c1\u03b7 \u03b1\u03bb\u03bb\u03ac \u03ac\u03c3\u03c7\u03b5\u03c4\u03b7 \u03bc\u03b5 \u03c4\u03bf\u03bd \u03b1\u03c1\u03c7\u03b9\u03ba\u03cc \u03b9\u03c3\u03c7\u03c5\u03c1\u03b9\u03c3\u03bc\u03cc.<\/p>\n<\/div>\n<\/details>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u03a4\u03b9 \u03c3\u03b7\u03bc\u03b1\u03af\u03bd\u03bf\u03c5\u03bd passed, refuted \u03ba\u03b1\u03b9 inconclusive;<\/summary>\n<div class=\"td-faq-content\">\n<p><em>Passed<\/em> \u03c3\u03b7\u03bc\u03b1\u03af\u03bd\u03b5\u03b9 \u03cc\u03c4\u03b9 \u03b2\u03c1\u03ad\u03b8\u03b7\u03ba\u03b5 \u03ad\u03b3\u03ba\u03c5\u03c1\u03bf \u03c4\u03b5\u03ba\u03bc\u03ae\u03c1\u03b9\u03bf \u03b3\u03b9\u03b1 \u03bc\u03b9\u03b1 \u03c0\u03b9\u03c3\u03c4\u03ae \u03c4\u03bf\u03c0\u03b9\u03ba\u03ae \u03b4\u03ae\u03bb\u03c9\u03c3\u03b7, <em>refuted<\/em> \u03cc\u03c4\u03b9 \u03b5\u03c0\u03b1\u03bb\u03b7\u03b8\u03b5\u03cd\u03c4\u03b7\u03ba\u03b5 \u03b7 \u03ac\u03c1\u03bd\u03b7\u03c3\u03b7 \u03ae \u03b1\u03bd\u03c4\u03b9\u03c0\u03b1\u03c1\u03ac\u03b4\u03b5\u03b9\u03b3\u03bc\u03b1, \u03ba\u03b1\u03b9 <em>inconclusive<\/em> \u03cc\u03c4\u03b9 \u03c4\u03b1 \u03b4\u03b9\u03b1\u03b8\u03ad\u03c3\u03b9\u03bc\u03b1 \u03c3\u03c4\u03bf\u03b9\u03c7\u03b5\u03af\u03b1 \u03b4\u03b5\u03bd \u03b1\u03c1\u03ba\u03bf\u03cd\u03bd \u03b3\u03b9\u03b1 \u03b1\u03c3\u03c6\u03b1\u03bb\u03ae \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7.<\/p>\n<\/div>\n<\/details>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u0395\u03af\u03bd\u03b1\u03b9 \u03bf\u03b9\u03ba\u03bf\u03bd\u03bf\u03bc\u03b9\u03ba\u03ae \u03b7 \u03bc\u03ad\u03b8\u03bf\u03b4\u03bf\u03c2;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u038c\u03c7\u03b9. \u03a3\u03c4\u03b7 \u03b4\u03b7\u03bc\u03bf\u03c3\u03b9\u03b5\u03c5\u03bc\u03ad\u03bd\u03b7 \u03b4\u03bf\u03ba\u03b9\u03bc\u03ae \u03ba\u03cc\u03c3\u03c4\u03bf\u03c5\u03c2 50 \u03c0\u03c1\u03bf\u03b2\u03bb\u03b7\u03bc\u03ac\u03c4\u03c9\u03bd, \u03b7 \u03bc\u03ad\u03c3\u03b7 \u03ba\u03b1\u03c4\u03b1\u03bd\u03ac\u03bb\u03c9\u03c3\u03b7 tokens \u03ae\u03c4\u03b1\u03bd 137,22 \u03c6\u03bf\u03c1\u03ad\u03c2 \u03bc\u03b5\u03b3\u03b1\u03bb\u03cd\u03c4\u03b5\u03c1\u03b7 \u03b1\u03c0\u03cc Direct@1 \u03b3\u03b9\u03b1 GPT-5.4 \u03ba\u03b1\u03b9 152,11 \u03c6\u03bf\u03c1\u03ad\u03c2 \u03b3\u03b9\u03b1 Qwen3.5-9B.<\/p>\n<\/div>\n<\/details>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u03a0\u03bf\u03b9\u03bf \u03b5\u03af\u03bd\u03b1\u03b9 \u03c4\u03bf \u03c0\u03c1\u03b1\u03ba\u03c4\u03b9\u03ba\u03cc \u03bc\u03ac\u03b8\u03b7\u03bc\u03b1 \u03b3\u03b9\u03b1 \u03bc\u03b9\u03b1 \u03b5\u03c0\u03b9\u03c7\u03b5\u03af\u03c1\u03b7\u03c3\u03b7;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u039d\u03b1 \u03c3\u03c0\u03ac\u03b5\u03b9 \u03c4\u03b9\u03c2 \u03ba\u03c1\u03af\u03c3\u03b9\u03bc\u03b5\u03c2 AI \u03b1\u03c0\u03bf\u03c6\u03ac\u03c3\u03b5\u03b9\u03c2 \u03c3\u03b5 \u03b5\u03bb\u03ad\u03b3\u03be\u03b9\u03bc\u03b1 \u03b2\u03ae\u03bc\u03b1\u03c4\u03b1, \u03bd\u03b1 \u03c4\u03b1\u03b9\u03c1\u03b9\u03ac\u03b6\u03b5\u03b9 \u03ba\u03ac\u03b8\u03b5 \u03b2\u03ae\u03bc\u03b1 \u03bc\u03b5 \u03ba\u03b1\u03c4\u03ac\u03bb\u03bb\u03b7\u03bb\u03bf verifier, \u03bd\u03b1 \u03b5\u03bb\u03ad\u03b3\u03c7\u03b5\u03b9 \u03c4\u03b7\u03bd \u03c0\u03b9\u03c3\u03c4\u03cc\u03c4\u03b7\u03c4\u03b1 \u03c4\u03bf\u03c5 evidence \u03ba\u03b1\u03b9 \u03bd\u03b1 \u03b4\u03b9\u03b1\u03c4\u03b7\u03c1\u03b5\u03af \u03c1\u03b7\u03c4\u03ae \u03ad\u03be\u03bf\u03b4\u03bf inconclusive \u03bc\u03b5 \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03bf handoff.<\/p>\n<\/div>\n<\/details>\n<\/div>\n<\/section>\n<div class=\"td-source-list\">\n<p id=\"piges\" class=\"td-source-list-title\">Quellen<\/p>\n<ul>\n<li><a href=\"https:\/\/arxiv.org\/html\/2608.26310\" target=\"_blank\" rel=\"noopener\">Wang et al., FaithSieve: Fine-Grained Evaluation of Math Proofs with Faithful Formal Evidence, arXiv<\/a><\/li>\n<li><a href=\"https:\/\/lean-lang.org\/documentation\/\" target=\"_blank\" rel=\"noopener\">Lean, \u03b5\u03c0\u03af\u03c3\u03b7\u03bc\u03b7 \u03c4\u03b5\u03ba\u03bc\u03b7\u03c1\u03af\u03c9\u03c3\u03b7 \u03c4\u03bf\u03c5 theorem prover<\/a><\/li>\n<li><a href=\"https:\/\/leanprover-community.github.io\/mathlib4_docs\/\" target=\"_blank\" rel=\"noopener\">Mathlib, \u03b5\u03c0\u03af\u03c3\u03b7\u03bc\u03b7 \u03c4\u03b5\u03ba\u03bc\u03b7\u03c1\u03af\u03c9\u03c3\u03b7 \u03c4\u03b7\u03c2 \u03bc\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae\u03c2 \u03b2\u03b9\u03b2\u03bb\u03b9\u03bf\u03b8\u03ae\u03ba\u03b7\u03c2 Lean 4<\/a><\/li>\n<li><a href=\"https:\/\/nvlpubs.nist.gov\/nistpubs\/ai\/NIST.AI.600-1.pdf\" target=\"_blank\" rel=\"noopener\">NIST AI 600-1, Generative Artificial Intelligence Profile<\/a><\/li>\n<\/ul>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>\u03a4\u03bf FaithSieve \u03c3\u03c5\u03bd\u03b4\u03c5\u03ac\u03b6\u03b5\u03b9 EdgeUnits, Lean \u03ba\u03b1\u03b9 \u03c3\u03b7\u03bc\u03b1\u03c3\u03b9\u03bf\u03bb\u03bf\u03b3\u03b9\u03ba\u03cc \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf \u03b3\u03b9\u03b1 \u03bd\u03b1 \u03b5\u03bd\u03c4\u03bf\u03c0\u03af\u03b6\u03b5\u03b9 \u03c4\u03bf \u03c0\u03c1\u03ce\u03c4\u03bf \u03bb\u03ac\u03b8\u03bf\u03c2 \u03c3\u03b5 AI \u03bc\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ad\u03c2 \u03b1\u03c0\u03bf\u03b4\u03b5\u03af\u03be\u03b5\u03b9\u03c2, \u03bc\u03b5 \u03c3\u03b1\u03c6\u03ae \u03cc\u03c1\u03b9\u03b1 \u03ba\u03b1\u03b9 \u03c5\u03c8\u03b7\u03bb\u03cc \u03ba\u03cc\u03c3\u03c4\u03bf\u03c2.<\/p>","protected":false},"author":1,"featured_media":113676,"comment_status":"open","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"_gspb_post_css":"","footnotes":""},"categories":[199],"tags":[9260,21785,21784,21320,21786],"class_list":["post-105077","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-techniti-noimosyni","tag-ai-governance","tag-ai-verification","tag-faithsieve","tag-lean","tag-mathimatikes-apodeixeis"],"_links":{"self":[{"href":"https:\/\/twodots.gr\/de\/wp-json\/wp\/v2\/posts\/105077","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/twodots.gr\/de\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/twodots.gr\/de\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/twodots.gr\/de\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/twodots.gr\/de\/wp-json\/wp\/v2\/comments?post=105077"}],"version-history":[{"count":0,"href":"https:\/\/twodots.gr\/de\/wp-json\/wp\/v2\/posts\/105077\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/twodots.gr\/de\/wp-json\/wp\/v2\/media\/113676"}],"wp:attachment":[{"href":"https:\/\/twodots.gr\/de\/wp-json\/wp\/v2\/media?parent=105077"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/twodots.gr\/de\/wp-json\/wp\/v2\/categories?post=105077"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/twodots.gr\/de\/wp-json\/wp\/v2\/tags?post=105077"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}