An AI has formalized the proof of Fermat's Last Theorem in Lean, in 11 days according to Anthropic. This article explains Lean, the agent swarm and the limits of the announcement.
Highlights
More Posts
AI apps are special computer programs that can perform specific tasks, such as summarizing texts or translating languages. They are more reliable than chatbots because they are designed to address specific problems and don’t need to know everything that a person might know.
Many see AI as a simple tool – and miss the true potential of artificial intelligence. A tool follows instructions. AI can think for itself, surprise and show new paths.…
Microsoft Copilot, a tool from Microsoft, can manipulate audit logs if instructed to do so. This allows file accesses to go undetected, creating a security vulnerability that can be exploited by simply instructing the Copilot service.
The app allows for the secure transfer of large files without requiring installation. It runs on its own server in Germany and offers an alternative to WeTransfer and Microsoft.
KI-generated hallucinations are false statements that can sound plausible because they are based on correct background knowledge. They arise from the processing of information as semantic vectors, which represent the meaning of words and sentences.
A new app allows citizens to submit and comment on proposals for their city. The app is designed securely and adheres to strict security standards to protect user privacy.
A company must develop a structured strategy before introducing AI systems to consider legal requirements, technical aspects, and employee qualifications. By identifying use cases, process automation, and result quality, a company can successfully implement AI systems and thus make its processes more efficient.
DeepSeek is a Chinese company that has developed a powerful open-source language model called R1, which can compete with ChatGPT. DeepSeek's app is classified as insecure, while open-source models are considered safer because they can be run locally and do not require data transfer.
DeepSeek is a Chinese language model that is as powerful as ChatGPT, but more efficient and smaller. There is a local version of DeepSeek that can be used without an internet connection and therefore does not pose any security risks.
DeepSeek-R1 is an AI model that is better than ChatGPT from OpenAI. It can be downloaded and run on your own server or laptop, which is very practical for many use cases.