Update app.py
Browse files
app.py
CHANGED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
# ------------------------------------------------------------
|
| 2 |
-
# AGI + Safe Math + 100% Accurate Math Solver
|
| 3 |
-
#
|
| 4 |
# ------------------------------------------------------------
|
| 5 |
|
| 6 |
import gradio as gr
|
|
@@ -11,14 +11,18 @@ import logging
|
|
| 11 |
from collections import deque
|
| 12 |
from transformers import GPT2Tokenizer, GPT2LMHeadModel
|
| 13 |
import sympy as sp
|
| 14 |
-
from sympy import symbols, Eq, solve, diff, integrate
|
| 15 |
-
from z3 import Solver, Int, sat
|
| 16 |
import traceback
|
| 17 |
|
| 18 |
# ---------- 1. Logging ----------
|
| 19 |
-
logging.basicConfig(
|
|
|
|
|
|
|
|
|
|
|
|
|
| 20 |
|
| 21 |
-
# ---------- 2. Load GPT-2 ----------
|
| 22 |
model_name = "gpt2"
|
| 23 |
print("جاري تحميل GPT-2... (مرة واحدة فقط)")
|
| 24 |
tokenizer = GPT2Tokenizer.from_pretrained(model_name)
|
|
@@ -51,7 +55,7 @@ MATH_PATTERN = re.compile(r"[0-9+\-*/().^=]|sin|cos|tan|sqrt|log|exp|abs|تكا
|
|
| 51 |
def is_math_expression(text: str) -> bool:
|
| 52 |
return bool(MATH_PATTERN.search(text))
|
| 53 |
|
| 54 |
-
# ---------- 7. Safe calculator ----------
|
| 55 |
def safe_eval(expr: str):
|
| 56 |
expr = expr.strip().replace("^", "**").replace(" ", "")
|
| 57 |
allowed = set("0123456789.+-*/()**")
|
|
@@ -71,11 +75,14 @@ def contains_bad_word(text: str) -> bool:
|
|
| 71 |
lowered = text.lower()
|
| 72 |
return any(word in lowered for word in BAD_WORDS)
|
| 73 |
|
| 74 |
-
# ---------- 9. Advanced Math Solver (
|
| 75 |
def advanced_math_solver(question: str):
|
|
|
|
| 76 |
question = question.strip()
|
| 77 |
result = {"answer": None, "steps": [], "type": "unknown", "success": False}
|
|
|
|
| 78 |
try:
|
|
|
|
| 79 |
if any(op in question for op in ["=", "حل", "solve"]):
|
| 80 |
if "x" in question or "y" in question:
|
| 81 |
eq_part = re.sub(r"[^=0-9xXyY\+\-\*/\^\(\)]", "", question)
|
|
@@ -94,6 +101,7 @@ def advanced_math_solver(question: str):
|
|
| 94 |
result["success"] = True
|
| 95 |
return result
|
| 96 |
|
|
|
|
| 97 |
elif any(kw in question for kw in ["اشتق", "مشتقة", "d/dx"]):
|
| 98 |
expr_match = re.search(r"اشتق\s+(.+)", question, re.I)
|
| 99 |
if expr_match:
|
|
@@ -101,11 +109,15 @@ def advanced_math_solver(question: str):
|
|
| 101 |
x = symbols('x')
|
| 102 |
deriv = diff(expr, x)
|
| 103 |
result["answer"] = deriv
|
| 104 |
-
result["steps"] = [
|
|
|
|
|
|
|
|
|
|
| 105 |
result["type"] = "calculus"
|
| 106 |
result["success"] = True
|
| 107 |
return result
|
| 108 |
|
|
|
|
| 109 |
elif any(kw in question for kw in ["تكامل", "∫", "integral"]):
|
| 110 |
expr_match = re.search(r"تكامل\s+(.+)", question, re.I)
|
| 111 |
if expr_match:
|
|
@@ -113,11 +125,15 @@ def advanced_math_solver(question: str):
|
|
| 113 |
x = symbols('x')
|
| 114 |
integ = integrate(expr, x)
|
| 115 |
result["answer"] = integ
|
| 116 |
-
result["steps"] = [
|
|
|
|
|
|
|
|
|
|
| 117 |
result["type"] = "calculus"
|
| 118 |
result["success"] = True
|
| 119 |
return result
|
| 120 |
|
|
|
|
| 121 |
elif any(kw in question for kw in ["إذا", "فإن", "و", "أو"]):
|
| 122 |
s = Solver()
|
| 123 |
a, b = Int('a'), Int('b')
|
|
@@ -133,6 +149,7 @@ def advanced_math_solver(question: str):
|
|
| 133 |
result["type"] = "logic"
|
| 134 |
return result
|
| 135 |
|
|
|
|
| 136 |
else:
|
| 137 |
calc = safe_eval(question)
|
| 138 |
if calc is not None:
|
|
@@ -145,6 +162,7 @@ def advanced_math_solver(question: str):
|
|
| 145 |
except Exception as e:
|
| 146 |
logging.error(f"Math solver error: {traceback.format_exc()}")
|
| 147 |
result["steps"].append(f"خطأ داخلي: {str(e)}")
|
|
|
|
| 148 |
return result
|
| 149 |
|
| 150 |
# ---------- 10. GPT-2 generation ----------
|
|
@@ -159,7 +177,7 @@ def gpt2_reply(user_text: str) -> str:
|
|
| 159 |
with torch.no_grad():
|
| 160 |
outputs = model.generate(
|
| 161 |
inputs,
|
| 162 |
-
max_length=inputs.shape[1] +
|
| 163 |
pad_token_id=tokenizer.eos_token_id,
|
| 164 |
do_sample=True,
|
| 165 |
temperature=0.7,
|
|
@@ -170,55 +188,109 @@ def gpt2_reply(user_text: str) -> str:
|
|
| 170 |
reply = reply.split("AGI:")[-1].strip()
|
| 171 |
return reply
|
| 172 |
|
| 173 |
-
# ---------- 11. Terminal-style
|
| 174 |
-
def
|
|
|
|
|
|
|
| 175 |
if not user_input.strip():
|
| 176 |
-
return history
|
| 177 |
|
| 178 |
-
#
|
| 179 |
history.append([f"<span style='color:#00ff00'>أنت:</span> {user_input}", None])
|
| 180 |
|
| 181 |
-
#
|
|
|
|
|
|
|
| 182 |
if contains_bad_word(user_input):
|
| 183 |
-
reply = "آسف، لا أقبل اللغة السيئة."
|
|
|
|
| 184 |
elif is_math_expression(user_input):
|
|
|
|
| 185 |
math_result = advanced_math_solver(user_input)
|
| 186 |
if math_result["success"]:
|
| 187 |
-
reply = f"
|
| 188 |
if math_result["steps"]:
|
| 189 |
-
reply += "
|
|
|
|
|
|
|
|
|
|
|
|
|
| 190 |
context.append((user_input, str(math_result["answer"])))
|
| 191 |
else:
|
| 192 |
-
reply = "لم أتمكن من حلها رمزيًا، سأستخدم الذكاء العام...\n"
|
| 193 |
else:
|
| 194 |
reply = gpt2_reply(user_input)
|
|
|
|
| 195 |
context.append((user_input, reply))
|
| 196 |
|
| 197 |
-
#
|
| 198 |
history.append([None, f"<span style='color:#00ffff'>AGI:</span> {reply}"])
|
| 199 |
|
| 200 |
-
return history, ""
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 201 |
|
| 202 |
-
|
| 203 |
-
with
|
| 204 |
-
.container {background: black; color: #00ff00; font-family: 'Courier New', monospace;}
|
| 205 |
-
.output {white-space: pre-wrap;}
|
| 206 |
-
""", title="AGI Terminal") as demo:
|
| 207 |
gr.HTML("""
|
| 208 |
-
<div style="text-align:center;background:#000;color:#
|
| 209 |
-
<
|
|
|
|
| 210 |
</div>
|
| 211 |
""")
|
| 212 |
|
| 213 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 214 |
|
| 215 |
-
|
| 216 |
-
label="",
|
| 217 |
-
placeholder="اكتب
|
| 218 |
lines=1
|
| 219 |
)
|
| 220 |
|
| 221 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 222 |
|
| 223 |
demo.launch(
|
| 224 |
share=True,
|
|
|
|
| 1 |
# ------------------------------------------------------------
|
| 2 |
+
# AGI + Safe Math + Awareness + 100% Accurate Math Solver (Best-Practice)
|
| 3 |
+
# Hugging Face Spaces Version – Fixed CSS Error
|
| 4 |
# ------------------------------------------------------------
|
| 5 |
|
| 6 |
import gradio as gr
|
|
|
|
| 11 |
from collections import deque
|
| 12 |
from transformers import GPT2Tokenizer, GPT2LMHeadModel
|
| 13 |
import sympy as sp
|
| 14 |
+
from sympy import symbols, Eq, solve, diff, integrate, simplify, sqrt, sin, cos, tan, log, exp
|
| 15 |
+
from z3 import Solver, Int, Real, sat
|
| 16 |
import traceback
|
| 17 |
|
| 18 |
# ---------- 1. Logging ----------
|
| 19 |
+
logging.basicConfig(
|
| 20 |
+
level=logging.INFO,
|
| 21 |
+
format="%(asctime)s | %(levelname)s | %(message)s",
|
| 22 |
+
encoding="utf-8"
|
| 23 |
+
)
|
| 24 |
|
| 25 |
+
# ---------- 2. Load GPT-2 (once) ----------
|
| 26 |
model_name = "gpt2"
|
| 27 |
print("جاري تحميل GPT-2... (مرة واحدة فقط)")
|
| 28 |
tokenizer = GPT2Tokenizer.from_pretrained(model_name)
|
|
|
|
| 55 |
def is_math_expression(text: str) -> bool:
|
| 56 |
return bool(MATH_PATTERN.search(text))
|
| 57 |
|
| 58 |
+
# ---------- 7. Safe calculator (basic) ----------
|
| 59 |
def safe_eval(expr: str):
|
| 60 |
expr = expr.strip().replace("^", "**").replace(" ", "")
|
| 61 |
allowed = set("0123456789.+-*/()**")
|
|
|
|
| 75 |
lowered = text.lower()
|
| 76 |
return any(word in lowered for word in BAD_WORDS)
|
| 77 |
|
| 78 |
+
# ---------- 9. Advanced Math Solver (100% Accurate, No Training) ----------
|
| 79 |
def advanced_math_solver(question: str):
|
| 80 |
+
"""حل أي مشكلة رياضية بدقة 100% باستخدام SymPy + Z3"""
|
| 81 |
question = question.strip()
|
| 82 |
result = {"answer": None, "steps": [], "type": "unknown", "success": False}
|
| 83 |
+
|
| 84 |
try:
|
| 85 |
+
# --- 1. جبر: حل المعادلات ---
|
| 86 |
if any(op in question for op in ["=", "حل", "solve"]):
|
| 87 |
if "x" in question or "y" in question:
|
| 88 |
eq_part = re.sub(r"[^=0-9xXyY\+\-\*/\^\(\)]", "", question)
|
|
|
|
| 101 |
result["success"] = True
|
| 102 |
return result
|
| 103 |
|
| 104 |
+
# --- 2. تفاضل ---
|
| 105 |
elif any(kw in question for kw in ["اشتق", "مشتقة", "d/dx"]):
|
| 106 |
expr_match = re.search(r"اشتق\s+(.+)", question, re.I)
|
| 107 |
if expr_match:
|
|
|
|
| 109 |
x = symbols('x')
|
| 110 |
deriv = diff(expr, x)
|
| 111 |
result["answer"] = deriv
|
| 112 |
+
result["steps"] = [
|
| 113 |
+
f"الدالة: f(x) = {expr}",
|
| 114 |
+
f"المشتقة: f'(x) = {deriv}"
|
| 115 |
+
]
|
| 116 |
result["type"] = "calculus"
|
| 117 |
result["success"] = True
|
| 118 |
return result
|
| 119 |
|
| 120 |
+
# --- 3. تكامل ---
|
| 121 |
elif any(kw in question for kw in ["تكامل", "∫", "integral"]):
|
| 122 |
expr_match = re.search(r"تكامل\s+(.+)", question, re.I)
|
| 123 |
if expr_match:
|
|
|
|
| 125 |
x = symbols('x')
|
| 126 |
integ = integrate(expr, x)
|
| 127 |
result["answer"] = integ
|
| 128 |
+
result["steps"] = [
|
| 129 |
+
f"الدالة: {expr}",
|
| 130 |
+
f"التكامل: ∫{expr} dx = {integ} + C"
|
| 131 |
+
]
|
| 132 |
result["type"] = "calculus"
|
| 133 |
result["success"] = True
|
| 134 |
return result
|
| 135 |
|
| 136 |
+
# --- 4. استدلال منطقي (Z3) ---
|
| 137 |
elif any(kw in question for kw in ["إذا", "فإن", "و", "أو"]):
|
| 138 |
s = Solver()
|
| 139 |
a, b = Int('a'), Int('b')
|
|
|
|
| 149 |
result["type"] = "logic"
|
| 150 |
return result
|
| 151 |
|
| 152 |
+
# --- 5. حسابات بسيطة (fallback) ---
|
| 153 |
else:
|
| 154 |
calc = safe_eval(question)
|
| 155 |
if calc is not None:
|
|
|
|
| 162 |
except Exception as e:
|
| 163 |
logging.error(f"Math solver error: {traceback.format_exc()}")
|
| 164 |
result["steps"].append(f"خطأ داخلي: {str(e)}")
|
| 165 |
+
|
| 166 |
return result
|
| 167 |
|
| 168 |
# ---------- 10. GPT-2 generation ----------
|
|
|
|
| 177 |
with torch.no_grad():
|
| 178 |
outputs = model.generate(
|
| 179 |
inputs,
|
| 180 |
+
max_length=inputs.shape[1] + 100,
|
| 181 |
pad_token_id=tokenizer.eos_token_id,
|
| 182 |
do_sample=True,
|
| 183 |
temperature=0.7,
|
|
|
|
| 188 |
reply = reply.split("AGI:")[-1].strip()
|
| 189 |
return reply
|
| 190 |
|
| 191 |
+
# ---------- 11. Main Logic (Terminal-style for Web) ----------
|
| 192 |
+
def process_input(user_input, history):
|
| 193 |
+
global context
|
| 194 |
+
|
| 195 |
if not user_input.strip():
|
| 196 |
+
return history, ""
|
| 197 |
|
| 198 |
+
# Add user input to history
|
| 199 |
history.append([f"<span style='color:#00ff00'>أنت:</span> {user_input}", None])
|
| 200 |
|
| 201 |
+
# Your original logic (no changes)
|
| 202 |
+
logging.info(f"USER: {user_input}")
|
| 203 |
+
|
| 204 |
if contains_bad_word(user_input):
|
| 205 |
+
reply = "AGI: آسف، لا أقبل اللغة السيئة.\n"
|
| 206 |
+
logging.warning("Bad word detected")
|
| 207 |
elif is_math_expression(user_input):
|
| 208 |
+
print("AGI: جاري حل المسألة بدقة 100%...")
|
| 209 |
math_result = advanced_math_solver(user_input)
|
| 210 |
if math_result["success"]:
|
| 211 |
+
reply = f"AGI: الإجابة: {math_result['answer']}\n"
|
| 212 |
if math_result["steps"]:
|
| 213 |
+
reply += "الخطوات:\n"
|
| 214 |
+
for step in math_result["steps"]:
|
| 215 |
+
reply += f" • {step}\n"
|
| 216 |
+
print()
|
| 217 |
+
logging.info(f"MATH SUCCESS: {math_result['answer']} | Type: {math_result['type']}")
|
| 218 |
context.append((user_input, str(math_result["answer"])))
|
| 219 |
else:
|
| 220 |
+
reply = "AGI: لم أتمكن من حلها رمزيًا، سأستخدم الذكاء العام...\n"
|
| 221 |
else:
|
| 222 |
reply = gpt2_reply(user_input)
|
| 223 |
+
logging.info(f"AGI REPLY: {reply}")
|
| 224 |
context.append((user_input, reply))
|
| 225 |
|
| 226 |
+
# Add reply to history
|
| 227 |
history.append([None, f"<span style='color:#00ffff'>AGI:</span> {reply}"])
|
| 228 |
|
| 229 |
+
return history, ""
|
| 230 |
+
|
| 231 |
+
# ---------- Gradio UI (Fixed: No CSS in Blocks, Inline Styles Only) ----------
|
| 232 |
+
print("AGI + 100% Accurate Math Solver (Best-Practice) جاهز!")
|
| 233 |
+
print("أمثلة:")
|
| 234 |
+
print(" حل x^3 - 6x^2 + 11x - 6 = 0")
|
| 235 |
+
print(" اشتق x^2 + sin(x)")
|
| 236 |
+
print(" تكامل x^2 + 2x")
|
| 237 |
+
print(" إذا كان a أكبر من b و a + b = 10، فما قيم a و b؟")
|
| 238 |
+
print(" 5 + 3 * 2")
|
| 239 |
+
print("اكتب 'exit' للخروج.\n")
|
| 240 |
|
| 241 |
+
with gr.Blocks(title="AGI Math Solver Terminal") as demo:
|
| 242 |
+
# Header with inline style (no external CSS)
|
|
|
|
|
|
|
|
|
|
| 243 |
gr.HTML("""
|
| 244 |
+
<div style="text-align:center; padding:20px; background-color:#000; color:#00ff00; border-radius:15px; margin-bottom:20px; font-family:monospace;">
|
| 245 |
+
<h1>AGI + 100% Accurate Math Solver – Terminal Mode</h1>
|
| 246 |
+
<p>اكتب سؤالك أو مسألة رياضية واضغط Enter</p>
|
| 247 |
</div>
|
| 248 |
""")
|
| 249 |
|
| 250 |
+
# Terminal-like output (use Textbox for scrolling history)
|
| 251 |
+
output = gr.Textbox(
|
| 252 |
+
label="المحادثة (Terminal)",
|
| 253 |
+
value="AGI: AGI + 100% Accurate Math Solver جاهز!\nأمثلة:\n • حل x^3 - 6x^2 + 11x - 6 = 0\n • اشتق x^2 + sin(x)\n • تكامل x^2 + 2x\n • 5 + 3 * 2\nاكتب 'exit' للخروج.\n\n",
|
| 254 |
+
lines=15,
|
| 255 |
+
readonly=True,
|
| 256 |
+
interactive=False
|
| 257 |
+
)
|
| 258 |
|
| 259 |
+
msg = gr.Textbox(
|
| 260 |
+
label="أنت: ",
|
| 261 |
+
placeholder="اكتب هنا ثم اضغط Enter...",
|
| 262 |
lines=1
|
| 263 |
)
|
| 264 |
|
| 265 |
+
# Process input and update output
|
| 266 |
+
def terminal_process(message, output_text):
|
| 267 |
+
if message.lower() in ["exit", "quit", "خروج"]:
|
| 268 |
+
reply = "تم الإغلاق. شكرًا!"
|
| 269 |
+
output_text += f"\nأنت: {message}\nAGI: {reply}\n"
|
| 270 |
+
return output_text, ""
|
| 271 |
+
else:
|
| 272 |
+
# Your original logic
|
| 273 |
+
if contains_bad_word(message):
|
| 274 |
+
reply = "AGI: آسف، لا أقبل اللغة السيئة.\n"
|
| 275 |
+
elif is_math_expression(message):
|
| 276 |
+
math_result = advanced_math_solver(message)
|
| 277 |
+
if math_result["success"]:
|
| 278 |
+
reply = f"AGI: الإجابة: {math_result['answer']}\n"
|
| 279 |
+
if math_result["steps"]:
|
| 280 |
+
reply += "الخطوات:\n"
|
| 281 |
+
for step in math_result["steps"]:
|
| 282 |
+
reply += f" • {step}\n"
|
| 283 |
+
context.append((message, str(math_result["answer"])))
|
| 284 |
+
else:
|
| 285 |
+
reply = "AGI: لم أتمكن من حلها رمزيًا، سأستخدم الذكاء العام...\n"
|
| 286 |
+
else:
|
| 287 |
+
reply = gpt2_reply(message)
|
| 288 |
+
context.append((message, reply))
|
| 289 |
+
|
| 290 |
+
output_text += f"\nأنت: {message}\nAGI: {reply}"
|
| 291 |
+
return output_text, ""
|
| 292 |
+
|
| 293 |
+
msg.submit(terminal_process, [msg, output], [output, msg])
|
| 294 |
|
| 295 |
demo.launch(
|
| 296 |
share=True,
|