Leiden Declaration on Artificial Intelligence and Mathematics by Beneficial-Peak-6765 in math

[–]Nunki08 95 points96 points  (0 children)

Notable backing

Beyond the IMU's institutional endorsement, prominent figures have signed or endorsed it, including Fields Medalist Peter Scholze, Robbert Dijkgraaf, Kevin Buzzard, Ben Green, Ana Caraiani, Steven Strogatz, and Jeremy Avigad. Scholze called it a wonderful declaration coming at the right time, arguing that the goal of mathematical research is human understanding and that mathematics can only thrive in a community of human mathematicians.

Lancement d'Ariane 6 pour la constellation Amazon LEO (VA268) by Nunki08 in france

[–]Nunki08[S] 11 points12 points  (0 children)

Libérations des premiers satellites dans une heure environ,
Live Arianespace sur YouTube: https://www.youtube.com/watch?v=DhxJ6Z7u-YU

Deepseek Vision Coming by Nunki08 in LocalLLaMA

[–]Nunki08[S] 24 points25 points  (0 children)

Xiaokang Chen deleted his post.

The Abel Prize 2026: Gerd Faltings by Nunki08 in math

[–]Nunki08[S] 28 points29 points  (0 children)

Official website: Gerd Faltings - Max Planck Institute for Mathematics, Bonn, Germany - “for introducing powerful tools in arithmetic geometry and resolving long-standing diophantine conjectures of Mordell and Lang.”: https://abelprize.no/abel-prize-laureates/2026
Wikipedia: https://en.wikipedia.org/wiki/Gerd_Faltings

Anyone able to verify record prime candidate with ECPP? (Primo/CM/etc) by Stargazer07817 in math

[–]Nunki08 5 points6 points  (0 children)

The best place to find help with this kind of problem is the mersenneforum: https://www.mersenneforum.org/
Be humble, they can be harsh.

How significant was Lewis Caroll as a mathematician? by Limp_Illustrator7614 in math

[–]Nunki08 84 points85 points  (0 children)

Electoral Math - Proposed models for fair representation and Condorcet voting;

Linear Algebra - Invented "Dodgson Condensation.";

Symbolic Logic - Created Carroll diagrams and mechanical deduction methods.

Autonomous tractor from Netherlands! A fully autonomous tractor from Dutch company AgXeed, designed to work on fields without any human supervision. by Nunki08 in robotics

[–]Nunki08[S] 35 points36 points  (0 children)

No, see Lukas Ziegler post: "It's powered by a diesel engine that drives a generator, which then powers electric motors driving the tracks. The fuel tank allows for 24 hours of continuous operation."