Users browsing this forum: 39 Guest(s)

Mark this forum read ARTICLES
Thread / Author			Replies	Views	Last Post [asc]
		The crisis of AI-generated mathematics [Weinreich] mklabgr, 08-20-2026, 08:17 PM	0	134	08-20-2026, 08:17 PM Last Post: mklabgr
		A question about AI and proof [mklab.gr] mklabgr, 08-20-2026, 07:56 PM	0	137	08-20-2026, 07:56 PM Last Post: mklabgr
		Exploring Consciousness in LLMs mklabgr, 08-20-2026, 01:49 PM	0	167	08-20-2026, 01:49 PM Last Post: mklabgr
		Mathematics in the age of AI [Tao] mklabgr, 08-20-2026, 11:56 AM	0	176	08-20-2026, 11:56 AM Last Post: mklabgr
		No Country for Mediocre Mathematicians mklabgr, 08-19-2026, 05:02 PM	0	133	08-19-2026, 05:02 PM Last Post: mklabgr
		AI Isn’t Outthinking Mathematicians. mklabgr, 08-16-2026, 07:05 PM	0	140	08-16-2026, 07:05 PM Last Post: mklabgr
		Mathematicians despair at AI’s stunning breakthroughs mklabgr, 08-16-2026, 01:25 PM	0	160	08-16-2026, 01:25 PM Last Post: mklabgr
		Secondhand booksellers suspect AI firms mklabgr, 08-15-2026, 06:53 PM	0	134	08-15-2026, 06:53 PM Last Post: mklabgr
		Your AI Agent Isn’t a Static Artifact mklabgr, 08-15-2026, 04:53 PM	0	113	08-15-2026, 04:53 PM Last Post: mklabgr
		Specification Engineering mklabgr, 08-15-2026, 04:39 PM	0	123	08-15-2026, 04:39 PM Last Post: mklabgr
		How to build an AI agent mklabgr, 08-15-2026, 03:30 PM	0	124	08-15-2026, 03:30 PM Last Post: mklabgr
		ProofAtlas mklabgr, 08-15-2026, 03:20 PM	0	150	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	177	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	160	08-12-2026, 11:14 AM Last Post: mklabgr
		Writing mathematics in the age of AI mklabgr, 08-11-2026, 02:18 PM	0	167	08-11-2026, 02:18 PM Last Post: mklabgr
		Artifical intelligence and inherent mathematical difficulty mklabgr, 08-11-2026, 11:21 AM	0	188	08-11-2026, 11:21 AM Last Post: mklabgr
		Language Models: A Guide for the Perplexed mklabgr, 08-11-2026, 11:13 AM	0	211	08-11-2026, 11:13 AM Last Post: mklabgr
		Embracing AI and Formalization mklabgr, 08-11-2026, 06:56 AM	0	181	08-11-2026, 06:56 AM Last Post: mklabgr
		Claude's mathematical capabilities mklabgr, 08-11-2026, 06:44 AM	0	185	08-11-2026, 06:44 AM Last Post: mklabgr
		Automated Mathematics and the Reconfiguration of Proof mklabgr, 08-11-2026, 06:35 AM	0	159	08-11-2026, 06:35 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