सत्यापन
The Lumenary का लक्ष्य साधारण AI-निर्मित सामग्री से अधिक भरोसेमंद होना है। यह पृष्ठ ठीक-ठीक बताता है कि क्या जाँचा गया है, किससे जाँचा गया है, और क्या नहीं जाँचा गया।
औपचारिक उपपत्तियाँ (Lean)
88 घोषणाएँ leanprover/lean4:v4.35.0 से कंपाइल हुईं; 0 sorry पर निर्भर हैं। 3 लाइब्रेरी की प्रमेय लागू करती हैं, 59 यहाँ सिद्ध की गई हैं, 26 परिभाषाएँ हैं।
2026-10-28 06:13 को बनाई गई
औपचारिक प्रयोगशाला →संगणनात्मक प्रयोग (Python)
12 में से 12 प्रयोग चले और अपने परीक्षणों में सफल रहे। pytest: 571 सफल, 0 विफल।
Python 3.10.12 · sympy 1.13.3 · mpmath 1.3.0 · numpy 2.2.5 · pytest 8.3.5 · 2026-10-28 06:13 को बनाई गई
सामग्री का सत्यापन
105 स्वचालित जाँचें सफल रहीं, 0 विफल रहीं (स्कीमा, पूर्वापेक्षा ग्राफ़, रजिस्ट्रियाँ, अनुवाद, उत्तरों का विश्लेषण)।
ब्राउज़र में शुरू से अंत तक जाँच (छह भाषाएँ, अभ्यास, ग्राफ़, Python सैंडबॉक्स): 15 सफल, 0 विफल।
2026-10-28 06:16 को बनाई गई
मानवीय समीक्षा
| प्रयोग | साक्ष्य | स्थिति |
|---|---|---|
| Cantor's diagonal trick on a finite list | सटीक संगणना | सफल |
| Clock arithmetic: which residues have inverses? | संपूर्ण परिमित जाँच, सटीक संगणना | सफल |
| Sorting and counting a market basket | सटीक संगणना, संपूर्ण परिमित जाँच | सफल |
| Composing functions: associative, but order matters | संपूर्ण परिमित जाँच, प्रत्युदाहरण | सफल |
| Counting functions, injections and surjections | संपूर्ण परिमित जाँच, सटीक संगणना | सफल |
| Forty primes in a row, then a counterexample | प्रायोगिक साक्ष्य, प्रत्युदाहरण | सफल |
| Exact versus numerical: 0.1 + 0.2 and the square root of 2 | संख्यात्मक सन्निकटन, सटीक संगणना, प्रतीकात्मक संगणना | सफल |
| Hunting for inverses in the integers and the rationals | प्रायोगिक साक्ष्य, सटीक संगणना | सफल |
| Does a random walk come home? Statistical evidence | सांख्यिकीय साक्ष्य, सटीक संगणना | सफल |
| Remainder families: residue classes that add up | संपूर्ण परिमित जाँच, प्रत्युदाहरण | सफल |
| Checking set identities exhaustively | संपूर्ण परिमित जाँच, प्रत्युदाहरण | सफल |
| Negative times negative: grid, symbols and proof | प्रायोगिक साक्ष्य, प्रतीकात्मक संगणना | सफल |
ज्ञात सीमाएँ
- अभी केवल पाँच पाठ और सात विस्मय पथ मौजूद हैं; बाकी सभी विषय नियोजित हैं।
- Lean उपपत्तियाँ केवल मूल Lean 4 का उपयोग करती हैं; Mathlib का एकीकरण नियोजित है।
- Pyodide (ब्राउज़र) रनटाइम और CPython परीक्षण रनटाइम Python के अलग-अलग संस्करण हैं; प्रयोगों को जाँचा गया कि वे एक जैसा आउटपुट छापते हैं, पर यह जाँच अभी स्वचालित नहीं है।
- अभी तक सुगम्यता (accessibility) का कोई ऑडिट नहीं हुआ है।
- भाषा और देश रजिस्ट्रियों में समीक्षा के लिए चिह्नित प्रविष्टियाँ हैं।
वे क्षेत्र जिनकी मानवीय समीक्षा आवश्यक है
- हर पाठ, पथ, अभ्यास-प्रश्न और हल (गणितीय शुद्धता)
- आयु-उपयुक्तता और शिक्षाशास्त्र, विशेषकर पूर्व-प्राथमिक–कक्षा 2 और कक्षा 3–5 की सामग्री
- ऐतिहासिक दावे और श्रेय
- मशीन द्वारा तैयार सभी अनुवाद और शब्दावली-कोश
- “समीक्षा आवश्यक” चिह्नित रजिस्ट्री प्रविष्टियाँ
- पाठ्यक्रम-मानचित्र में विषयों का स्थान और पूर्वापेक्षा-संबंध