Users browsing this forum: 4 Guest(s)

Mark this forum read ARTICLES
Thread / Author			Replies	Views	Last Post [asc]
		Specification Engineering mklabgr, 08-15-2026, 04:39 PM	0	167	08-15-2026, 04:39 PM Last Post: mklabgr
		How to build an AI agent mklabgr, 08-15-2026, 03:30 PM	0	167	08-15-2026, 03:30 PM Last Post: mklabgr
		ProofAtlas mklabgr, 08-15-2026, 03:20 PM	0	198	08-15-2026, 03:20 PM Last Post: mklabgr
		The Neurosurgery Resident Who Proved Crouzeix’s Conjecture mklabgr, 08-12-2026, 12:12 PM	0	226	08-12-2026, 12:12 PM Last Post: mklabgr
		What sort of maths are LLMs good at? mklabgr, 08-12-2026, 11:14 AM	0	197	08-12-2026, 11:14 AM Last Post: mklabgr
		Writing mathematics in the age of AI mklabgr, 08-11-2026, 02:18 PM	0	213	08-11-2026, 02:18 PM Last Post: mklabgr
		Artifical intelligence and inherent mathematical difficulty mklabgr, 08-11-2026, 11:21 AM	0	245	08-11-2026, 11:21 AM Last Post: mklabgr
		Language Models: A Guide for the Perplexed mklabgr, 08-11-2026, 11:13 AM	0	249	08-11-2026, 11:13 AM Last Post: mklabgr
		Embracing AI and Formalization mklabgr, 08-11-2026, 06:56 AM	0	220	08-11-2026, 06:56 AM Last Post: mklabgr
		Claude's mathematical capabilities mklabgr, 08-11-2026, 06:44 AM	0	241	08-11-2026, 06:44 AM Last Post: mklabgr
		Automated Mathematics and the Reconfiguration of Proof mklabgr, 08-11-2026, 06:35 AM	0	193	08-11-2026, 06:35 AM Last Post: mklabgr
		Some thoughts on automation and mathematical research mklabgr, 08-11-2026, 06:30 AM	0	227	08-11-2026, 06:30 AM Last Post: mklabgr
		AI ‘cyber nuclear war’ mklabgr, 08-10-2026, 12:42 PM	0	194	08-10-2026, 12:42 PM Last Post: mklabgr
		AI for Science 2025 mklabgr, 08-10-2026, 12:28 PM	0	179	08-10-2026, 12:28 PM Last Post: mklabgr
		AI for science needs reasoning mklabgr, 08-10-2026, 12:18 PM	0	184	08-10-2026, 12:18 PM Last Post: mklabgr
		Components of A Coding Agent mklabgr, 08-10-2026, 12:10 PM	0	185	08-10-2026, 12:10 PM Last Post: mklabgr
		ChatGPT Jokes About ChatGPT mklabgr, 08-10-2026, 11:59 AM	0	189	08-10-2026, 11:59 AM Last Post: mklabgr
		Why is Anthropic destroying books? mklabgr, 08-10-2026, 11:24 AM	0	220	08-10-2026, 11:24 AM Last Post: mklabgr
		Can AI Follow In Einstein's Footsteps? mklabgr, 08-10-2026, 04:13 AM	0	210	08-10-2026, 04:13 AM Last Post: mklabgr
		Mathematician refuses to use AI mklabgr, 08-09-2026, 10:09 AM	0	251	08-09-2026, 10:09 AM Last Post: mklabgr
Sort by: Subject Sort by: Last Post Sort by: Author Sort by: Creation Time Sort by: Replies Sort by: Views Order: Ascending Order: Descending From: Today From: 5 Days Ago From: 10 Days Ago From: 20 Days Ago From: 50 Days Ago From: 75 Days Ago From: 100 Days Ago From: The Last Year From: The Beginning