DeepMinds AlphaProof Nexus löst 9 Erdős-Probleme, zwei seit über 50 Jahren offen, mit Lean-Beweisen
Ergebnisse zu 353 Erdős-Problemen und 492 OEIS-Vermutungen sind mit maschinell geprüften Beweisen auf GitHub.
- Nasdaq fällt um 2,9 %, Intel erlebt den schlechtesten Tag seit den 1970er-Jahren, Chipwerte sacken ab
- Intel-Aktie fällt um 29 %, schlechtester Tag seit den 1970ern; der Anteil der US-Regierung verliert rund 12 Mrd. US-Dollar
- S&P senkt Metas Ausblick wegen KI-Investitionen und negativem freiem Cashflow auf negativ
- Mistral veröffentlicht offene Gewichte von Mistral Large 4, seinem Modell mit 1 Billion Parametern
- Googles Suncatcher-Satellit liefert die erste KI-Antwort einer Rechenzentrums-TPU im Orbit
- Apple bringt Apple Intelligence mit iOS 27.3 nach China und nutzt Alibabas Qwen in Siri und den Schreibwerkzeugen
- Anthropic benennt Claude Max 20x in Ultra um und streicht das 5-Stunden-Limit für verifizierte Ultra-Konten
- Google, Microsoft, OpenAI und Anthropic unterstützen ein gemeinsames robots.txt-Signal gegen KI-Training