MathHelm เปิดตัวฟอรัมสำหรับนักคณิตศาสตร์เพื่อหารือเกี่ยวกับบทความที่สร้างโดย AI

MathHelm ได้เปิดตัวในฐานะฟอรัมที่นักคณิตศาสตร์ด้านวิจัยสามารถอ่าน แบ่งปัน และหารือเกี่ยวกับบทความใหม่ รวมถึงบทความที่สร้างโดย AI ใครก็ตามสามารถอ่านเว็บไซต์ได้ แต่การโพสต์จำกัดเฉพาะสมาชิกที่เข้าร่วมด้วยอีเมลสถาบันที่ผ่านการยืนยัน สมาชิกสามารถถามคำถาม แนบไฟล์ PDF และเอกสารอ้างอิง และเขียนคณิตศาสตร์ใน LaTeX กิจกรรมล่าสุดบนฟอรัมรวมถึงการทำให้เป็นทางการด้วย Lean ของทฤษฎีบท 1.2 จากบทความ local smoothing ของ OpenAI

สร้างจากรายงาน · อัปเดต 10 ชม. ที่แล้ว

ยังมีการเฝ้าดูต่อเนื่องไม่พอจะวาดแนวโน้ม