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
Artificial intelligence (AI) could already partially automate the Handelsblatt Morning Briefing today by collecting and compiling relevant news from business, politics, and finance. An agent system with AI code could help create the content for the Morning Briefing without a journalist like Christian Rickens having to put in a lot of effort.
From February 2025, German companies must use AI systems like ChatGPT or Copilot if they comply with certain regulations and prohibitions of the EU AI Act (AI Act). This includes proof of AI competence and a risk assessment of the AI used.
The year 2025 will be a time of rapid development of AI models, which will become increasingly powerful and versatile. These developments will lead to new challenges in the field of cybersecurity and force society to grapple with what could lead to societal divisions.
Artificial intelligence (AI) is based on statistics and is therefore often eerie. But our entire existence is also based on statistical regularities, such as German grammar, which is based on probabilities.
An AI strategy is a plan to make business processes more efficient or enable them anew with artificial intelligence (AI). Companies and authorities should develop such a strategy to achieve their goals and ensure complete data security.
KI systems must be transparent so that their results are understandable. This is especially important when personal data is used, as this must be correct.
A new language model called NullModel achieved the highest score on the AlpacaEval benchmark, but it always provides the same answer to all questions. This raises questions about whether the benchmark is a reliable indicator of the quality of AI language models and whether it is relevant for specific use cases such as German.
Better search for knowledge and information with an AI search that understands semantics. It uses an optimized artificial intelligence and offers the highest data security.
After 18 years, a newly developed AI system solved the mystery of the magic hexagon of order 9. The solution consists of 51 equations and 217 variables, which guarantee a balanced distribution of numbers in each of the hexagon fields.
The EU is having difficulty regulating AI systems in a proper legal manner. The main reasons for this are that high-performance language models simply lack the large amounts of data required to be compliant with legal regulations.