Wissenschaft & Mathematik: aktuelle KI-Nachrichten

KI in Wissenschaft und Mathematik: Beweise, Entdeckungen und Fachartikel, verlinkt mit der Forschung selbst.

• 2. Nov. Deep-Learning-Modell liest Sterberisiko und Lebensverläufe aus gewöhnlichen Netzhautfotos, so eine Nature-Studie
• 2. Nov. KAISTs CluSTER verkürzt das Feintuning von LLMs um bis zu 69,6 % mit rund 31 % der Daten
• 1. Nov. Britische Mathematiker warnen bei der Royal Society, KI-Labore könnten Spitzenergebnisse der Mathematik hinter Bezahlschranken halten
• 1. Nov. UNIST-Methode trainiert kleine LLM-Agenten auf versteckte Rollen und hebt die Werwolf-Gewinnrate von 41,6 % auf 65,6 %
• 31. Okt. Balestriero und LeCun beweisen: JEPAs mit 'guten Ansichten' lernen bis auf eine Rotation dieselbe Repräsentation
• 31. Okt. Forscher schlägt „verallgemeinerte Belief States“ vor, um Repräsentationen von Sequenzmodellen zu dekodieren und zu steuern
• 31. Okt. World Laureates Forum in Shanghai eröffnet; Daubechies erhält WLF-Mathematikpreis, Lafforgue sagt, LLMs lösten manche offenen Probleme
• 31. Okt. Team der Peking-Universität portiert den DFT-Code ABACUS auf Huaweis Kunpeng 920 und meldet bis zu 10,7-fache Beschleunigung
• 30. Okt. Epoch AI: 17 % der Biologie-Preprints auf bioRxiv nennen LLM-Nutzung, fast so viele wie spezialisierte KI-Werkzeuge mit 19 %
• 30. Okt. OpenAI stellt Prism, seinen KI-LaTeX-Arbeitsbereich für Forschende, am 1. Januar 2027 ein
• 30. Okt. SETI Institute und Breakthrough Listen lassen KI-Agenten das Allen Telescope Array steuern und Daten in Echtzeit auswerten
• 30. Okt. Preprint vereint Pretraining, Fine-Tuning und RL in einem einzigen likelihoodbasierten Trainingsalgorithmus
• 30. Okt. Envisions Tianji-Modell, als Team Arcana angetreten, führt den AI Weather Quest des EZMW für die Tage 19 bis 25 an
• 30. Okt. KI-Auswertung von 98 Millionen Fledermausrufen ermöglicht Großbritanniens größte Fledermauserhebung in Wäldern
• 30. Okt. Zusammenarbeitende KI-Agenten wählen eine Frage, leiten ein Ergebnis her und testen es experimentell an Quantenspins in Diamant
• 30. Okt. Studie: Frontier-GPT-Modelle liefern Lösungskandidaten für rund 60 % von 200 zufällig gezogenen offenen Vermutungen
• 30. Okt. Auswertung der Ramanujan Challenge: Eine Einreichung bewies eine der veröffentlichten offenen zahlentheoretischen Vermutungen
• 30. Okt. Balestriero und LeCun beweisen, dass auf verschiedenen Modalitäten trainierte JEPAs bis auf eine Rotation dieselbe Repräsentation lernen
• 29. Okt. YC Labs lässt 50 GPT-6.1-Sol-Agenten drei Stunden in Minecraft laufen; sie errichten eine Rationierungsbürokratie
• 29. Okt. Preprint beweist, dass die Van-der-Waerden-Zahl w(2;3,21) gleich 416 ist, geprüft vom Lean-4-Kernel
• 29. Okt. The Biological Computing Co. bringt Mischief 1 heraus, ein Videomodell mit Adaptern, die aus Laborneuronen abgeleitet sind
• 28. Okt. Anthropic weitet sein Programm AI for Science auf 20 Stiftungen und Forschungseinrichtungen aus
• 27. Okt. Axiom: KI-Agenten formalisierten die Klassifikation endlicher einfacher Gruppen in Lean in 24 Tagen
• 27. Okt. Anthropic veröffentlicht ein Paper mit dem Anspruch eines subexponentiellen 3-SAT-Algorithmus samt Lean-4-Formalisierung
• 26. Okt. Forscher beginnen, die Behauptungen von OpenAI und Anthropic zu prüfen, KI habe die Exponentialzeit-Hypothese widerlegt
• 23. Okt. Physical Superintelligence veröffentlicht KI-gestützte Ergebnisse zu fünf offenen Quantenproblemen mit Lean-Beweisen
• 21. Okt. Rund 2.000 GPT-Rosalind-Agenten analysieren einen Ganzhirn-CRISPR-Atlas in 32 Minuten
• 19. Okt. NVIDIA und das Institute for Protein Design veröffentlichen RFD4-Proteina als offenes Proteindesign-Modell
• 19. Okt. Quantinuum meldet 99,9995 % logische Treue auf Helios, zehnfach bessere Fehlerkorrektur
• 16. Okt. Ableitungen bei Affen zeigen, dass das Gehirn etwa 15-mal pro Sekunde zwischen gesehenem und unterdrücktem Bild wechselt
• 15. Okt. Google zeigt Magic-State-Kultivierung auf Willow und senkt logische Fehler etwa um das 40-Fache
• 11. Okt. DeepMinds AlphaProof Nexus löst 9 Erdős-Probleme, zwei seit über 50 Jahren offen, mit Lean-Beweisen
• 10. Okt. OpenAI veröffentlicht 722 Mathe-Manuskripte eines unveröffentlichten internen Modells
• 6. Okt. Alman und Vassilevska Williams legen echt subquadratischen 3SUM- und subkubischen APSP-Algorithmus vor