AI can make mathematical writing cheaper to produce without making research cheaper to finish. Who pays for verification, and who gets to issue the admission tickets?

Platforms are filling old gaps, and development cycles are shrinking from days to hours. We can keep accelerating, but our wishes, our judgment, and the world's answers won't automatically keep pace.

Calculation, proof, conjecture, and the creation of mathematical worlds: as AI accelerates solutions and changes how people enter research, where will new questions—and their creators—come from?

Giving models ways to observe, experiment, and communicate changes what they can do. The next question is whether they can recognize missing evidence, decide how to obtain it, and know when to change course.

Transfers text, images, and files across a trusted network through a NAS hub.

A browser tool for designing train, road vehicle, and aircraft papercraft, customising liveries, and exporting unfolded A4 sheets.