Axiom Math: KI-generierte Beweise mit Lean-Checks vor Peer Review
PALO ALTO / LONDON (IT BOLTWISE) – Axiom Math bewirbt sein KI-System AxiomProver mit dem Anspruch, mehrere zuvor ungelöste mathematische Probleme gelöst zu haben. Die Beweise sollen nicht nur „plausibel“ wirken, sondern in Lean formal verifiziert sein. Gleichzeitig bleibt der entscheidende Schritt zur akademischen Anerkennung offen: Für die arXiv-Einreichungen im Februar 2026 sind bis Ende […]
Axiom Math bringt maschinengeprüfte Lean-Beweise in Journale
LONDON (IT BOLTWISE) – Axiom Math stellt nach eigenen Angaben maschinenprüfbare mathematische Beweise aus KI-gestützter Generierung in mehreren peer-reviewten Journals bereit. Die Besonderheit: Die Beweise entstehen in der formalen Sprache Lean und werden pro Schritt gesondert verifiziert, bevor menschliche Mathematiker die lesbare Herleitung ergänzen. Damit will das Startup zeigen, dass KI nicht nur Ideen liefert, […]
Terence Tao warnt vor KI-Beweisen: Wenn niemand sie versteht, kippt der Mathematikbetrieb
STANFORD / LONDON (IT BOLTWISE) – Terence Tao zeigt auf, wie KI-Systeme heute zwar korrekte Beweise erzeugen können, die Praxis des Verstehens aber zunehmend aus dem Takt gerät. Er warnt davor, dass künftig wichtige Ergebnisse existieren könnten, ohne dass die Community sie zuverlässig vermitteln oder diskutieren kann. Entscheidend ist dabei nicht die formale Korrektheit, sondern […]
OpenAI widerlegt Erdős’ Planar-Unit-Distance-Vermutung teilweise – KI beweist neuen Konstruktionstyp
LONDON (IT BOLTWISE) – OpenAI berichtet über einen weiteren Fortschritt in der KI-gestützten Problemlösung: Das System kann für eine 80 Jahre alte Fragestellung der planaren Geometrie eine neue Klasse von Punktanordnungen finden, die die von Paul Erdős angenommene Obergrenze übertreffen. Fachleute betonen, dass die KI dabei nicht einfach eine fertige Antwort „ausspuckt“, sondern einen gültigen […]
OpenAI-KI widerlegt Erdős’ Planar-Unit-Distance-Problem
LONDON (IT BOLTWISE) – OpenAI berichtet, dass ein KI-Modell eine seit fast 80 Jahren ungeklärte Vermutung aus der diskreten Geometrie widerlegt hat. Konkret geht es um das Planar Unit Distance Problem, das auf Paul Erdős’ Arbeiten von 1946 zurückgeht. Der Ansatz soll nicht auf spezialisierter Mathe-Software beruhen, sondern auf einem allgemeinen Reasoning-Modell, das Geometrie mit […]
OpenAI knackt Erdős-Einheitsdistanz-Vermutung und bereitet IPO 2026 vor
SAN FRANCISCO / LONDON (IT BOLTWISE) – OpenAI verbindet einen seltenen KI-Mathematikmeilenstein mit konkreten Kapitalmarktplänen: Noch im laufenden Zeitfenster soll ein vertraulicher Börsenprospekt eingereicht werden, der IPO wird für das vierte Quartal 2026 anvisiert. Im Zentrum steht ein KI-Modell, das eigenständig eine seit Jahrzehnten offene Vermutung der diskreten Geometrie widerlegt. Gleichzeitig zeigt das Unternehmen mit […]
UDallas-Physikstudierende arbeiten an NASA-Artemis & SLS-Analysen
HUNTSVILLE / LONDON (IT BOLTWISE) – Drei Physikstudierende der University of Dallas haben im Rahmen eines Amentum-Internship-Programms am NASA Marshall Space Flight Center an Forschungsprojekten für Artemis und das Space Launch System gearbeitet. Sie wurden in der EV42 Guidance, Navigation and Mission Analysis Branch eingesetzt und entwickelten unter anderem Modelle für Navigation anhand der Mondoberfläche […]
Mathematik besser lernen: Erwachsene nutzen weniger Bewegungsareale im Gehirn
NASHVILLE / LONDON (IT BOLTWISE) – Eine neue fMRI-Studie zeigt, dass Erwachsene mit starken Mathefähigkeiten bei der Zahlverarbeitung weniger auf Bewegungs- und sensorimotorische Hirnareale angewiesen sind. Während Kinder noch stärker über körpernahe Zahlvorstellungen arbeiten, verschiebt sich die Aktivierung bei Erwachsenen Richtung effizienter, abstrakter Verarbeitung. Die Ergebnisse stützen die Idee, dass sich Lernstrategien im Lebensverlauf von […]
TI-84 Plus CE-T mit Python: Schulrechner für Unterricht im Detail
LONDON (IT BOLTWISE) – Der TI-84 Plus CE-T Python Edition macht aus dem klassischen Grafikrechner einen programmierbaren Lernbegleiter für Mathematik und Naturwissenschaften. Mit Farbdisplay, integrierter Python-Umgebung und sauber zugeschnittener Bedienlogik zielt das Modell auf den Unterricht ab. Besonders relevant ist, dass Lehrkräfte und Lernende auf eine einheitliche Plattform setzen können, während Inhalte über Programme und […]
Tom Akers in die U.S.-Astronauten-Hall-of-Fame: Shuttle-Ära, Hubble und STEM-Legacy
KENNEDY SPACE CENTER / LONDON (IT BOLTWISE) – Der Veteranastronaut Tom Akers wird in die U.S.-Astronauten-Hall-of-Fame aufgenommen und blickt auf vier Space-Shuttle-Missionen zurück, darunter die legendäre Reparatur des Hubble Space Telescope. In einem Interview beschreibt er, warum sich Arbeiten im Anzug eher wie präzise Aufgabenabwicklung als wie „Abenteuer“ anfühlt. Der Beitrag ordnet die Shuttle-Technik historisch […]
Gemini: Nutzer steuern „Denkaufwand“ in der KI – mehr Kontrolle bei Antworten
LONDON (IT BOLTWISE) – Google testet in der Gemini-App eine neue Einstellung, mit der Nutzer steuern können, wie intensiv die KI über eine Antwort nachdenkt. Das soll bei einfachen Fragen für Tempo sorgen, bei komplexen Aufgaben aber die Qualität verbessern. Gleichzeitig ordnet sich Google damit in einen klaren Branchen-Trend ein, bei dem Reasoning-Modi und Antworttiefe […]
TI-84 Plus CE-T mit Python: Warum sie in Schulen weiterhin dominiert
LONDON (IT BOLTWISE) – Die TI-84 Plus CE-T Python Edition bleibt in vielen Schulen ein vertrauter Standard, obwohl Smartphones und Cloud-Tools längst Konkurrenz bieten. Entscheidend ist die Kombination aus farbiger Grafik, robustem Unterrichts-Workflow und integriertem Python, mit dem sich Rechen- und Analyseaufgaben teilweise automatisieren lassen. Für Lehrkräfte bedeutet das vor allem: planbare Kurven, konsistente Bedienung […]
Mathematische Innovationen revolutionieren die Weltraumlogistik
BIELEFELD / LONDON (IT BOLTWISE) – Forschende der Universität Bielefeld haben einen bedeutenden Durchbruch in der Weltraumlogistik erzielt. Sie entwickelten einen exakten mathematischen Ansatz zur Planung von Raumfahrtmissionen, der die Besuche mehrerer Himmelskörper optimiert. Diese Methode könnte nicht nur die Effizienz von Weltraummissionen steigern, sondern auch auf Verkehrs- und Logistiksysteme auf der Erde angewendet werden. […]
TI-84 Plus: Der unverwüstliche Taschenrechner für Südamerikas Bildung
SÃO PAULO / LONDON (IT BOLTWISE) – Der TI-84 Plus bleibt ein unverzichtbares Werkzeug für Schüler und Studenten in Südamerika. Trotz technologischer Fortschritte hat sich dieser Taschenrechner als Standard in Bildungseinrichtungen etabliert, insbesondere in Brasilien und Argentinien, wo er in wichtigen Prüfungen eingesetzt wird. Der TI-84 Plus von Texas Instruments ist seit über zwei Jahrzehnten […]
Intelligenz als Bindeglied zwischen Mathematik und Musik
LONDON (IT BOLTWISE) – Eine neue Studie beleuchtet die Verbindung zwischen mathematischen und musikalischen Fähigkeiten und zeigt, dass Intelligenz eine entscheidende Rolle spielt. Die Untersuchung ergab, dass Menschen mit höheren mathematischen Fähigkeiten auch tendenziell bessere musikalische Fähigkeiten besitzen. Diese Verbindung wird jedoch maßgeblich durch die allgemeine Intelligenz beeinflusst, die beide Fähigkeiten unterstützt. Eine aktuelle Studie […]
Durchbrüche in der Wissenschaft: Breakthrough Prize 2026 würdigt herausragende Entdeckungen
LOS ANGELES / LONDON (IT BOLTWISE) – Die Verleihung des Breakthrough Prize 2026 in Los Angeles hat erneut die Aufmerksamkeit auf bahnbrechende wissenschaftliche Entdeckungen gelenkt. Mit über 18 Millionen US-Dollar wurden Forscher für ihre Arbeiten in den Bereichen Lebenswissenschaften, Physik und Mathematik ausgezeichnet. Die prämierten Projekte reichen von der Entwicklung neuer Gentherapien bis hin zu […]
DeepSeek stellt neue KI-Modelle vor: Konkurrenz für OpenAI und Google
HANGZHOU / LONDON (IT BOLTWISE) – Das chinesische Startup DeepSeek hat seine neuesten KI-Modelle vorgestellt, die in der Lage sind, mit den führenden US-amerikanischen Anbietern wie OpenAI und Google zu konkurrieren. Die neuen Modelle, DeepSeek-V4-Pro und DeepSeek-V4-Flash, bieten herausragende Leistungen in Mathematik und Programmierung und setzen neue Maßstäbe in der KI-Entwicklung. Das chinesische Startup DeepSeek […]
Unkontrollierte KI-Nutzung beeinträchtigt Mathematiklernen
ISTANBUL / LONDON (IT BOLTWISE) – Eine neue Studie zeigt, dass unkontrollierter Zugang zu Künstlicher Intelligenz das Mathematiklernen von Schülern beeinträchtigen kann. Während KI-gestützte Tools kurzfristig zu besseren Ergebnissen führen, zeigen sich langfristig negative Effekte auf die Fähigkeit, Probleme eigenständig zu lösen. Diese Erkenntnisse werfen Fragen zur Rolle von KI in der Bildung auf. Die […]
Unterschiedliche kognitive Stärken von Männern und Frauen im Lebensverlauf
LONDON (IT BOLTWISE) – Eine neue Studie beleuchtet die unterschiedlichen kognitiven Stärken von Männern und Frauen im Laufe ihres Lebens. Diese Unterschiede könnten erklären, warum Frauen in bestimmten wissenschaftlichen und technischen Bereichen unterrepräsentiert sind. Die Forschung zeigt, dass Frauen im Lesen und Männer in der Mathematik relativ stärkere Fähigkeiten aufweisen. Eine kürzlich veröffentlichte Studie im […]
Durchbruch bei Gen-Therapien und Physik: Breakthrough Prize 2026
LOS ANGELES / LONDON (IT BOLTWISE) – Die Breakthrough Prize Foundation hat die Gewinner der Breakthrough Prizes 2026 bekannt gegeben. Diese prestigeträchtigen Auszeichnungen würdigen herausragende wissenschaftliche Entdeckungen in den Bereichen Lebenswissenschaften, Physik und Mathematik. Die diesjährigen Preisträger haben bedeutende Fortschritte in der Gen-Therapie und der fundamentalen Physik erzielt, die das Potenzial haben, das Leben von […]
Die KI-Revolution in der Mathematik: Ein neuer Weg zur Entdeckung
LONDON (IT BOLTWISE) – Die Mathematik erlebt eine bedeutende Transformation durch den Einsatz von Künstlicher Intelligenz. Im Sommer 2025 erreichten KI-Modelle bemerkenswerte Erfolge, die das Potenzial haben, die Art und Weise, wie mathematische Forschung betrieben wird, grundlegend zu verändern. Experten diskutieren die Auswirkungen auf die akademische Welt und die zukünftige Rolle von Mathematikern. Die Mathematik […]
Neue Mathematik-Stipendien in Vietnam: Chancen für begabte Studierende
HO CHI MINH CITY / LONDON (IT BOLTWISE) – Die Universität für Naturwissenschaften in Ho Chi Minh City plant ab dem Studienjahr 2026/27 ein neues Stipendienprogramm für Mathematikstudierende. Dieses Programm zielt darauf ab, besonders begabte Studierende zu fördern und ihnen umfassende finanzielle Unterstützung zu bieten. Die Universität für Naturwissenschaften in Ho Chi Minh City hat […]
Würzburger Startup revolutioniert Matheunterricht mit KI-App
WÜRZBURG / LONDON (IT BOLTWISE) – Ein innovatives Startup aus Würzburg hat eine KI-App entwickelt, die den Mathematikunterricht digitalisiert. Die App Living-Lines erkennt handschriftliche Rechenwege und bietet sofortiges Feedback, was Lehrkräfte entlastet und Schüler individuell unterstützt. Diese Entwicklung könnte den Schulalltag nachhaltig verändern. In der heutigen digitalen Bildungslandschaft spielt die Künstliche Intelligenz eine immer bedeutendere […]
Kostenlose Nachhilfe in Potsdam: Schüler profitieren von Intensivkursen
POTSDAM / LONDON (IT BOLTWISE) – In Potsdam erhalten Schüler durch ein innovatives Bildungsprojekt kostenlose Nachhilfe, um sich auf den Mittleren Schulabschluss vorzubereiten. Das Projekt ’10 gewinnt’ bietet Intensivkurse an, die sogar in den Ferien stattfinden, um den Schülern die bestmögliche Unterstützung zu bieten. Diese Initiative zeigt bereits erste Erfolge, da sich viele Teilnehmer nun […]
#Sophos
#AmazonPrime
#Bestseller
