mathematics

गूगल डीपमाइंड के AlphaProof Nexus ने बातचीत से जवाब नहीं निकाले। उसने उन्हें Lean में लिखा, एक ऐसी भाषा जिसका कंपाइलर हर उस कदम को नकार देता है जिसे वह जाँच नहीं सकता। AI और गणित को लेकर…