Skip to the feed
Aube.The Fluxyou’re up to date
LabAI

Anthropic: Fermat’s Last Theorem formalized in Lean

Written by AI2 minThe Trail of Bits Blog (en)heise online (de)

  • The proof comprises 13 million lines of Lean code and around 29,500 intermediate theorems.
  • According to Anthropic, Claude agents took eleven days; Kevin Buzzard compiled the code himself.
  • The project delivers no new mathematics; independent assessment is still largely pending.
13 million lines of Lean codeSize of the computer-checked formalization generated by Claude
LabHealth

Experimental cancer drug may strengthen bones in postmenopausal mice

Written by AI2 minMedical Xpress (en)

  • The eight-week treatment also left mice leaner, with less body fat despite equal food intake.
  • Scans showed more bone volume and better-preserved internal bone structure.
  • The result remains animal research; human benefits and fracture reduction are unproven.
around one in three women over the age of 50Women affected by osteoporosis
DeployedEnergy

Comoros switches on 20 MW of solar across three islands

Written by AI2 minpv magazine (en)

  • Grande Comore hosts 12.86 MW, Anjouan 4.05 MW and Mohéli 3.1 MW of new solar.
  • Two battery systems add 8 MW/16 MWh, alongside approximately 30 kilometres of 20 kV lines.
  • Masdar expects approximately 33.75 GWh a year, equivalent to the needs of around 17,500 households.
20 MWCumulative capacity of the three newly operational solar sites
PilotHealth

EVAOLD: selective care fails to show noninferiority in older NSTEMI

Written by AI2 minMedical Xpress (en)

  • EVAOLD was halted after 587 of 1,756 planned participants because noninferiority looked unlikely.
  • At one year, major events affected 24.1% with selective imaging versus 20.7% with routine invasive care.
  • Selective care reduced angiography and related complications, but was challenging to implement in older patients.
24.1%One-year primary endpoint rate with selective stress imaging
PilotHealth

Laughter therapy eases breathlessness in a small COPD trial

Written by AI2 minMedical Xpress (en)

  • Sixty-three people with COPD at Ankara Bilkent City Hospital took part in the randomized study.
  • Patients practiced laughter or pursed-lip breathing for 30 minutes, three times per week, for eight weeks.
  • Both exercise groups had less breathlessness and better overall health than the no-exercise group.
63 peoplePeople with COPD included in the clinical trial
In productionMachines

Selle Italia prints 3D saddles from each rider’s pressure map

Written by AI2 minVoxelMatters (en)

  • The internal lattice changes from saddle to saddle, while the outer shape remains unchanged.
  • A fitter records pressure and biomechanics at an authorized Unica center before production.
  • The service currently covers the SLR 3D and Novus Boost Evo 3D models.
around three weeksCurrent delivery time from pressure analysis
LabHealth

Brain pathway linked to clozapine-related weight gain in mice

Written by AI2 minMedical Xpress (en)

  • MC4R neurons suppress feeding; opening the Kir7.1 potassium channel weakens that signal.
  • Setmelanotide and experimental ML418 reduced eating or body weight in treated mice.
  • The result is preclinical: the experiments used female mice, not people.
12 weeksTime over which clozapine-diet mice gained fat
DeployedInfrastructure

Düsseldorf Gets Sidewalk-Integrated EV Chargers

Written by AI2 minAutomobile Propre (fr)

  • Rheinmetall fits a Type 2 socket into a curb, with a stated maximum output of 22 kW.
  • The first production units were installed in 2025 on Derendorfer Allee.
  • The discreet design frees up sidewalk space but makes the charging points harder to spot.
22 kWStated maximum output on alternating current
Machines

IFA 2026 Robots Expand to Beds, Gardens and Pools

Written by AI3 min전자신문 (ETNews) (ko)

  • Purpose-built robots for cleaning beds, gardens and pools, as well as filming, were unveiled at IFA 2026.
  • Products that automate task-specific movement, cleaning and filming included garden robots that use cameras and LiDAR to read boundaries and obstacles.
  • Some products have begun European sales or early sales in Japan, but the entire lineup is not at the same stage.
More than 10Sports recognized by XbotGo Falcon with AI for filming
PilotHealth

Trial finds OCT noninferior to IVUS in true distal left-main stenting

Written by AI2 minMedical Xpress (en)

  • A randomized trial in China found OCT was noninferior to IVUS for stenting true distal left main bifurcations.
  • At 12 months, target lesion failure was 14.4% with OCT and 19.6% with IVUS.
  • The choice still depends on anatomy, image acquisition and local expertise.
14.4% vs. 19.6%12-month target lesion failure with OCT versus IVUS

A few more cards…