Hacker News new | ask | show | jobs
by yishanchuan 489 days ago
Sure,but just in mathematical reasoning. If future works contain mathematical logic reasoning, it will perfect.